| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2019-08-14 | Replace sprintf with snprintf throughout codebase | Cristian Cadar | |
| 2019-08-14 | Create all files in the replay directory and chdir to this directory before ↵ | Cristian Cadar | |
| executing the program. | |||
| 2019-08-14 | Updated error messages in Gen*Bout.c | Cristian Cadar | |
| 2019-08-14 | Cleaned up messages emitted by klee-replay, and prefixed them all with ↵ | Cristian Cadar | |
| "KLEE-REPLAY:" to distinguish them from those printed by the replayed program | |||
| 2019-08-01 | tests: fix Gen(Random)Bout.c: cd - command not found | Frank Busse | |
| 2019-07-30 | Use #include "klee/..." (instead of #include <klee/...>) consistently. | Cristian Cadar | |
| 2019-07-30 | fix two test issues | Felix Rath | |
| * Add 'uclibc'-feature for testing if it is enabled * -> allow tests to depend on uclibc-availability * ENABLE_UCLIBC was redundant, use SUPPORT_KLEE_UCLIBC instead * Cleaned up 'libcxx'-feature availability detection | |||
| 2019-07-30 | Add missing dependencies for `check` target | Martin Nowack | |
| Build `gen-bout` and `gen-random-bout` before running tests | |||
| 2019-07-29 | Fixed incorrect requires directive | Cristian Cadar | |
| 2019-05-30 | fix tests for macOS | Julian Büning | |
| 2019-05-30 | implement FunctionAliasPass | Julian Büning | |
| 2019-05-30 | remove klee_alias_function() | Julian Büning | |
| this function can be used to modify the control flow of the program on different paths, enabling self-modifying code. | |||
| 2019-05-28 | Implement handling of the llvm.fabs intrinsic | Felix Rath | |
| 2019-05-06 | Add 'freebsd' feature in lit.cfg and use it to XFAIL LargeReturnTypes.cpp test. | Gleb Popov | |
| 2019-04-04 | klee-stats: add - to to-csv/grafana options | Frank Busse | |
| 2019-04-04 | Add klee-stats test, fix microseconds bug | Timotej Kapus | |
| 2019-04-04 | Change the .stats format into sqlite3 | Timotej Kapus | |
| Improves querying of the .stats file, reduces its size, speeds up reads and writes and has better defined fail behaviour. | |||
| 2019-04-02 | Teach ConcreteTest.py to use `gmake` instead of `make` on FreeBSD | Gleb Popov | |
| 2019-03-31 | Made test/Runtime/POSIX/GenBout.c run in an isolated directory | Andrew Santosa | |
| 2019-03-31 | Various updates to gen-random-bout.cpp | Andrew Santosa | |
| * Added handling of --sym-arg * Resolved the crash when minimum and maximum number of arguments for --sym-args are equal * Replaced "range" with "n_args" produced by --sym-args * Added model_version variable (constrained to 1), to prevent klee complaining about insufficient input * Allow a single dash to prefix an option * Arrange the elements in the correct order: command-line arguments, files, stdin, stdout * Added test/Runtime/POSIX/GenRandomBout.c test, with a substitution for %gen-random-bout in test/lit.cfg | |||
| 2019-03-21 | remove tests for LLVM <= 3.7 | Julian Büning | |
| 2019-03-21 | drop support for LLVM <= 3.7 | Julian Büning | |
| 2019-03-20 | tests: add STPDumpDebugQueries.c | Frank Busse | |
| 2019-03-19 | Add Read consistency test case, spelling | Timotej Kapus | |
| 2019-03-18 | Disable optimisation for functions that contain KLEE calls | Martin Nowack | |
| Compilers are allowed to hoist function calls and do GVE. This is currently done even without `--optimization` enabled. This is unfortunate in the context of KLEE function calls that might depend on specific code position without direct control flow dependencies. In such cases, function calls can be hoisted. To circumvent this, disallow to optimise functions that contain such calls by default. This might reduce optimisation for some functions containing such function calls but still allows it for all others. This patch adds an additional pass, that detects all functions starting with a prefix `klee_` and disable optimisations for functions containing such calls. This is enabled by default but can be disabled by `--klee-call-optimisation=false`. | |||
| 2019-03-18 | make test/Feature/srem.c more explicit | Julian Büning | |
| 2019-03-17 | Fix libc++ testcases | Martin Nowack | |
| * remove wrapper script invocation and script * add build instruction to test cases * added additional checks * add check to avoid execution of tests if KLEE is not compiled with libc++ | |||
| 2019-03-17 | Added libcxx flag | Lukas Wölfer | |
| 2019-03-15 | Renamed --seed-out to --seed-file and --seed-out-dir to --seed-dir, and ↵ | Cristian Cadar | |
| placed them in the seeding category. Moved options and option categories in Executor.cpp to the klee namespace. | |||
| 2019-03-13 | Renamed --no-output to --write-no-tests and placed it in the test case ↵ | Cristian Cadar | |
| category (with --write-cov, --write-cvcs etc.) | |||
| 2019-03-12 | Exclude testcases not compatible with MSan | Martin Nowack | |
| 2019-03-12 | Add support to compile KLEE with MemorySanitizer (MSan) | Martin Nowack | |
| 2019-03-12 | Fixed comments to objectsize.ll and objectsize.leq49.ll | Cristian Cadar | |
| 2019-03-12 | Removed unneeded and confusing disable-opt option, reformatted Optimize() ↵ | Cristian Cadar | |
| function and updated some .ll tests to use --optimize=false instead of --disable-opt | |||
| 2019-03-07 | tests: rename xxclang to clangxx | Frank Busse | |
| 2019-03-07 | Renamed %llvmgcc and %llvmgxx to %clang and %clangxx respectively. | Cristian Cadar | |
| 2019-03-05 | add regression test for LLVM PR39177 | Julian Büning | |
| 2019-03-05 | fix Executor::initializeGlobals for aliases pointing to another alias | Julian Büning | |
| 2018-12-19 | regression/2014-09-13-debug-info.c: use 'int: ' instead of 'data:' | Frank Busse | |
| 2018-12-19 | Various fixes for ktest-tool | Frank Busse | |
| * switch to Python 3 * add file encoding * some PEP8 reformatting * fix TOCTOU for open * replace trimZeros() with rstrip * remove unused pos/args variables * remove --write-ints (print by default) * remove progname section (unused) * added/modified output rows - "data:" now shows the Python representation (for use in scripts) - "hex :" shows the hex representation - "text:" shows ASCII, all out-of-range/non-printable characters are replaced by a dot - "int :"/"uint:" print (unsigned) 8/16/32/64 bit integers * reduce width for object counter to needed minimum instead of 4 * refactor printing into function | |||
| 2018-12-19 | Added checks option category, moved --optimize to starting category, renamed ↵ | Cristian Cadar | |
| original --run-in option to --running-dir | |||
| 2018-12-19 | Renamed --stop-after-n-instructions to --max-instructions, as suggested by @251 | Cristian Cadar | |
| 2018-11-23 | Implemented memalign with alignment | Lukas Wölfer | |
| 2018-11-06 | fix: actually set -O0 in test/concrete/CMakeLists.txt | Julian Büning | |
| `-O0` has to be used in conjunction with, not instead of `-Xclang -disable-O0-optnone` | |||
| 2018-11-05 | Fixed crash on zero size arrays | Lukas Wölfer | |
| 2018-11-05 | Check for stack overflow in a tested program | Martin Nowack | |
| Check if a state reaches the maximum number of stack frames allowed. To be performant, the number of stack frames are checked. In comparison, native execution checks the size of the stack. Still, this is good enough to find possible stack overflows. The limit can be changed with `-max-stack-frames`. The current default is 8192 frames. | |||
| 2018-11-02 | Added test for the case where external calls are encountered but disallowed | Cristian Cadar | |
| 2018-11-02 | Replaced --no-externals and --allow-external-sym-calls with ↵ | Cristian Cadar | |
| --external-calls, updated tests accordingly, and improved documentation on external calls | |||
| 2018-11-02 | The test DeterministicSwitch.c does not need to allow external symbolic calls | Cristian Cadar | |
| 2018-10-29 | add %OOopt to recently added tests and Concrete | Julian Büning | |
 |
index : ~cnx/klee | |
| KLEE fork for patch differentiation testing |
| about summary refs log tree commit diff homepage |