Commits · 4.2.1 · paradise / mirror / DIVINE · GitLab

SCHEDULED DOWNTIME: GitLab's virtual host must be rebooted to apply security updates. The reboot will occur on Monday, 2024-05-06, between 03:45 and 4:00 AM.

Feb 02, 2019
- releng: Update for 4.2.1 · 905f81cf
  Release Bot authored Feb 02, 2019
  
  4.2.1
  
  905f81cf
Jan 29, 2019
- smt: Drop the -bv suffix on builder filenames. · 80519278
  Petr Rockai authored Jan 29, 2019
  
  80519278
Jan 26, 2019
- tools: Do not throw away existing object files when compiling with divcc. · 2bed4241
  Zuzana Baranová authored Jan 26, 2019
  
  2bed4241
Dec 05, 2018
- smt: Split smt builder to multiple files depending on the backend solver. · 18e8e0ef
  Henrich Lauko authored Dec 05, 2018
  
  18e8e0ef
- smt: Segregate common smt builder parts. · 29a466c9
  Henrich Lauko authored Dec 05, 2018
  
  29a466c9
Jan 28, 2019
- doc: Update NEWS for 4.1.7-4.1.18 with the exception of 4.1.10. · 7da7c57d
  Petr Rockai authored Jan 28, 2019
  
  7da7c57d
Jan 22, 2019
- doc: Update NEWS with the changes in 4.1.6. · 14020fc2
  Petr Rockai authored Jan 22, 2019
  
  14020fc2
- releng: Refuse to make a new release if nothing has changed. · ee8993c4
  Petr Rockai authored Jan 22, 2019
  
  ee8993c4
Jan 17, 2019
- rst: Enable mstring reference counting. · ed0abcf2
  Henrich Lauko authored Jan 17, 2019
  
  ed0abcf2
Jan 21, 2019
- rst: Remove an extraneous closing brace in common.h. · 6966bae3
  Petr Rockai authored Jan 21, 2019
  
  6966bae3
Jan 17, 2019
- rst: Enable forwarding of string through mstring constructor. · 254f4de6
  Henrich Lauko authored Jan 17, 2019
  
  254f4de6
Jan 11, 2019
- rst: Implement taint querying functions. · 257fe5e1
  Henrich Lauko authored Jan 11, 2019
  
  257fe5e1
Jan 14, 2019
- test: Move missed symbolic tests to correct folder. · 8fa2e712
  Henrich Lauko authored Jan 14, 2019
  
  8fa2e712
Jan 18, 2019
- test: Update mstring tests with buffered strings. · 7bb9f9cd
  Henrich Lauko authored Jan 18, 2019
  
  7bb9f9cd
Dec 17, 2018
- lart: Do not lift concrete argument of taint if it is not in the domain. · 754a82cf
  Henrich Lauko authored Dec 17, 2018
  
  754a82cf
Dec 14, 2018
- test: Add test of mstring strcat. · a49ac5c1
  Henrich Lauko authored Dec 14, 2018
  
  a49ac5c1
- rst: Implement strcat in mstring domain. · e3aa80e5
  Henrich Lauko authored Dec 14, 2018
  
  e3aa80e5
Jan 17, 2019
- rst: Denote mstring pointers as marked. · bd918524
  Henrich Lauko authored Jan 17, 2019
  
  bd918524
Jan 19, 2019
- doc: Update NEWS for 4.1.18 and 4.1.19. · a1a34082
  Petr Rockai authored Jan 19, 2019
  
  a1a34082
Jan 18, 2019
- doc: Cover 4.1.20 and 4.1.21 in NEWS. · 29de6792
  Petr Rockai authored Jan 18, 2019
  
  29de6792
- doc: Add changes in 4.1.4 and 4.1.5 to NEWS. · ad6962ef
  Petr Rockai authored Jan 18, 2019
  
  ad6962ef
- CC: Honour 'link essentials' for all libraries. · 5e0d7d24
  Petr Rockai authored Jan 18, 2019
  
  5e0d7d24
Jan 17, 2019
- test: Check that syscalls are weak and __libc_ versions are used internally. · baa2e11a
  Zuzana Baranová authored Jan 17, 2019
  
  baa2e11a
Jan 16, 2019
- libc: Update all internal system calls in fs.cpp to their __libc_ counterparts. · 1859c8df
  Zuzana Baranová authored Jan 15, 2019
  
  1859c8df
- libc: Switch to __libc_{read,write,lseek,close} in _PDCLIB_fileops.c. · 0028a6b3
  Zuzana Baranová authored Jan 15, 2019
  
  0028a6b3
- libc: Use __libc_ variants of kill() and sigaction() in glue.c. · 12d660f3
  Zuzana Baranová authored Jan 15, 2019
  
  12d660f3
- libc: Update to the __libc_{link,unlink} version in _PDCLIB_rename.c. · a31b6677
  Zuzana Baranová authored Jan 15, 2019
  
  a31b6677
- libc: Update to the __libc_{stat,rmdir,unlink} version in remove.c. · 1b59f863
  Zuzana Baranová authored Jan 15, 2019
  
  1b59f863
- libc: Switch to __libc_{fstat,read,close} in internal libc calls. · cba79293
  Zuzana Baranová authored Jan 15, 2019
  
  cba79293
- libc: Use the __libc_ version of getpid() in fork.cpp. · 676f61fb
  Zuzana Baranová authored Jan 15, 2019
  
  676f61fb
- libc: Use the __libc_ version of wait4() in sys/wait.c. · 1a75e650
  Zuzana Baranová authored Jan 15, 2019
  
  1a75e650
- dios: Add a prototype of weak sigaction() for linux & update its definition. · eacf0f8d
  Zuzana Baranová authored Jan 15, 2019
  
  eacf0f8d
Jan 15, 2019
- dios: #define the toplevel namespace as TOP, to use syscall.def in C files. · 58da924d
  Zuzana Baranová authored Jan 15, 2019
  
  58da924d
- dios: Generate prototypes of __libc_ prefixed system calls from SYSCALL(). · a440250a
  Zuzana Baranová authored Jan 15, 2019
  
  a440250a
Jan 16, 2019
- releng: Update for 4.2.0 · 09f32c50
  Release Bot authored Jan 16, 2019
  
  4.2.0
  
  09f32c50
Jan 15, 2019
- UI: Add support for --autotrace allocs(,calls) to the commandline parser. · 62c23af4
  Petr Rockai authored Jan 15, 2019
  
  62c23af4
- MC: Split off builder::Context into its own header (as mc::Context). · 98c7da92
  Petr Rockai authored Jan 15, 2019
  
  98c7da92
- MC: Add support for the 'allocs' mode of autotrace. · c962a80f
  Petr Rockai authored Jan 15, 2019
  
  c962a80f
- MC: Inform the user when exec stops due to an error or an infeasible path. · 1efda0de
  Petr Rockai authored Jan 15, 2019
  
  1efda0de
- MC: Split off Hasher into its own header file. · c94fdd59
  Petr Rockai authored Jan 14, 2019
  
  c94fdd59