| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2023-02-06 | Disable memcpy_chk_err.c on FreeBSD, where a call to __memcpy_chk is not ↵ | Cristian Cadar | |
| generated | |||
| 2023-02-06 | Add an extra check to test/Runtime/FreeStanding/memcpy_chk_err.c ensuring ↵ | Cristian Cadar | |
| that a call to __memcpy_chk is emitted | |||
| 2020-11-09 | Added test checking that a simple overflow is caught via -D_FORTIFY_SOURCE | Cristian Cadar | |
| 2020-11-09 | Test checking that __memchk_chk is handled correctly with the freestanding ↵ | Cristian Cadar | |
| library. | |||
| 2019-10-31 | klee-libc: add bcmp | Julian Büning | |
| 2019-03-07 | Renamed %llvmgcc and %llvmgxx to %clang and %clangxx respectively. | Cristian Cadar | |
| 2018-10-29 | add %OOopt to recently added tests and Concrete | Julian Büning | |
| 2018-07-04 | Reorder linking and optimizations | Martin Nowack | |
| Link intrinsic library before executing optimizations. This makes sure that any optimization run by KLEE on the module is executed for the intrinsic library as well. Support .ll files as input for KLEE as well. | |||
 |
index : ~cnx/klee | |
| KLEE fork for patch differentiation testing |
| about summary refs log tree commit diff homepage |