| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2018-07-04 | Support sanitizer suppression files with lit-based testing | Martin Nowack | |
| 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. | |||
| 2018-07-02 | Removed obsolete script | Cristian Cadar | |
| 2018-07-02 | test/lit.cfg: remove obsolete hack from (LLVM < 3.0 is no longer supported) | Julian Büning | |
| 2018-06-29 | fix out of range access in KleeHandler::getKTestFilesInDir | Frank Busse | |
| 2018-06-29 | Make ConstantExpr hashing function faster and modify affected test | Timotej Kapus | |
| 2018-06-13 | klee_int: allow NULL as name | Frank Busse | |
| 2018-05-24 | test: add versions of some tests for LLVM 3.7 | Richard Trembecký | |
| Clone some tests to have their 3.7 version. 'call's, 'load's and 'getelementptr's match the new specification in them. @andreamattavelli: Fixed test cases: BitCastAlias test cases included modification to alias specifications that require LLVM 3.8 [v2] added comments what was changed and why [v3] the new tests are without suffix, the old ones have ".leq36". Signed-off-by: Jiri Slaby <jirislaby@gmail.com> | |||
| 2018-05-23 | test: add parenthesis around & operands | Jiri Slaby | |
| Some compilers are picky, so avoid the warning by additional parentheses: test/VectorInstructions/integer_ops_unsigned_symbolic.c:85:22: warning: & has lower precedence than <; < will be evaluated first [-Wparentheses] Signed-off-by: Jiri Slaby <jirislaby@gmail.com> | |||
| 2018-05-18 | tests: use names in klee_make_symbolic | Frank Busse | |
| 2018-05-17 | Add support for concretizing symbolic objects passed to external functions | Timotej Kapus | |
| 2018-05-17 | Improve error messages for ReadStringAtAddress | Timotej Kapus | |
| 2018-05-15 | Improved code quality | Lukas Wölfer | |
| 2018-05-15 | Implemented incomplete merging | Lukas Wölfer | |
| 2018-05-09 | Fix test case to check for correct call string | Martin Nowack | |
| 2018-05-09 | Improve handling of constant array in Z3 | Timotej Kapus | |
| 2018-05-07 | Fixed test case to exercise modification to utimes() | Cristian Cadar | |
| 2018-05-07 | Fixed utimes() behavior for symbolic files when the second argument is NULL | yxliang01 | |
| 2018-05-06 | Moved regression test to proper location. Fixes #705 | Cristian Cadar | |
| 2018-05-05 | Fix handling of errno if external functions are invoked | Martin Nowack | |
| If an external function in KLEE is invoked, it might update errno. Previously, the errno specific variable in a state was only updated if it was part of the executed instructions. That opened up a timeframe that increased the likelihood of errno being overwritten by another method call. This patch fixes two issues: * the errno of the KLEE process state is updated before the external function call allowing to detect changes to it later on * after the external call, the memory object of errno is directly updated with its new value, reducing the likelihood to be overwritten by another call Additional features: * Add support for `errno()` for Darwin as well. * Simplified errno handling in POSIX layer | |||
| 2018-05-01 | Ensured program reliably has 3 paths to be explored, and removed unnecessary ↵ | Cristian Cadar | |
| options. Make klee_abort() call abort() in replay, and removed trivial test which cannot be easily integrated into the test suite. | |||
| 2018-05-01 | Implement klee_prefer_cex() and klee_abort() in Runtest and added ↵ | lyxia | |
| corresponding tests | |||
| 2018-05-01 | add blockaddress and indirectbr instructions | Frank Busse | |
| 2018-04-09 | doDumpStates: incorrectly increments stats | Frank Busse | |
| doDumpStates calls stepInstruction and therefore indirectly increases time and instruction statistics for all dangling (dumped) states. This patch removes the call, but now the timing stats for the last executed state are lost, as StatsTracker::stepInstruction isn't called anymore. | |||
| 2018-03-23 | fix test/Feature/BFSSearcherAndDFSSearcherInterleaved.c to use explicit ↵ | Julian Büning | |
| enumeration of possible strings instead of CHECK-SAME (does not work as intended with LLVM >= 3.7) | |||
| 2018-02-18 | Add missing endian information to avoid selecction of big endian systems | Martin Nowack | |
| 2018-02-18 | Test complex constant data vectors as well | Martin Nowack | |
| 2018-02-18 | Add testcase for constant array handling | Martin Nowack | |
| 2018-02-18 | Add test case for constant vector init | Martin Nowack | |
| 2017-12-11 | fix regression test: use `%klee` instead of `klee` | Felix Rath | |
| 2017-12-11 | fix merging tests: use `%klee` instead of `klee` | Felix Rath | |
| Fixes #800 | |||
| 2017-11-30 | Implemented bounded merging functionality | Lukas Wölfer | |
| 2017-11-26 | Replace confusing message in lit.site.cfg.in about the file being autogenerated | Cristian Cadar | |
| 2017-11-24 | klee_make_symbolic: add test cases for API | Frank Busse | |
| 2017-10-15 | Fixed assert in BFSSearcher that does not hold as part of interleaved searcher | Julian Büning | |
| 2017-10-06 | Removed the word 'unsigned' from integer overflow error messages | Andrew Santosa | |
| 2017-10-04 | Remove Autoconf/Makefile build system and adjust the TravisCI | Dan Liew | |
| configuration, TravisCI scripts and Dockerfile build appropriately. There are a bunch of clean ups this enables but this commit doesn't attempt them. We can do that in future commits. | |||
| 2017-08-10 | Added a basic test for klee-replay | Cristian Cadar | |
| 2017-08-09 | Merge pull request #742 from ccadar/fold | Cristian Cadar | |
| Added checks for div/mod by zero and overshifts in constant expressio… | |||
| 2017-08-07 | Added checks for div/mod by zero and overshifts in constant expressions. ↵ | Cristian Cadar | |
| Such div/mod by zero expressions would previously crash KLEE. Added two test cases, one for div/mod by zero, the other for overshift. This fixes the bug reported in #268. | |||
| 2017-08-04 | Removed merging searchers | Lukas Wölfer | |
| 2017-07-29 | Added an optional KInstruction* argument to evalConstant and ↵ | Cristian Cadar | |
| evalConstantExpr which allows us to print the location associated with the constant in any error messages. Added a test case for the unsupported features for taking the address of a label, which exercises the patch. | |||
| 2017-07-25 | Added regression test for bug reported by @kren1 in #262 | Cristian Cadar | |
| 2017-07-25 | Cleanup tests for last LLVM 2.9 references | Andrea Mattavelli | |
| 2017-07-25 | Re-enable parts of `FloatingPointOps.ll`. The message about failures | Dan Liew | |
| doesn't seem relevant anymore given that LLVM 3.4 is the minimum version KLEE supports. Also do minor clean up. This was spotted by @andreamattavelli. | |||
| 2017-07-24 | Moved klee_choose from klee-libc to KLEE intrinsics. | Cristian Cadar | |
| 2017-07-24 | more portable shebangs | Jörg Thalheim | |
| This is useful on systems like NixOS, where python3 is not in /usr/bin/python3 as well as for people using alternative ways to install python such as virtualenv/pyenv. Some scripts where already using '/usr/bin/env'. With this pull request it gets more consistent. For background information see also: https://github.com/systemd/systemd/pull/5816 | |||
| 2017-07-23 | Updated test cases to reflect removal of LLVM 2.9 | Martin Nowack | |
| 2017-07-19 | Implement basic support for vectorized instructions. | Dan Liew | |
| We use LLVM's Scalarizer pass to remove most vectorized code so that the Executor only needs to support the InsertElement and ExtractElement instructions. This pass was not available in LLVM 3.4 so to support that LLVM version the pass has been back ported. To check that the Executor is not receiving vector operand types that it can't handle assertions have been added. There are a few limitations to this implementation. * The InsertElement and ExtractElement index cannot be symbolic. * There is no support for LLVM < 3.4. | |||
| 2017-06-08 | Merge pull request #667 from andreamattavelli/fix_macos_vararg | Cristian Cadar | |
| Removing flaky test Vararg.c from Darwin build until we find a proper… | |||
 |
index : ~cnx/klee | |
| KLEE fork for patch differentiation testing |
| about summary refs log tree commit diff homepage |