| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2018-07-28 | add declarations to escapingFunctions | Julian Büning | |
| 2018-07-23 | ModuleUtil: improve and test valueIsOnlyCalled | Julian Büning | |
| * handle BlockAddress (which is not a valid function pointer) * there is no instruction with opcode 0 * add test for functionality | |||
| 2018-07-12 | llvm38: test, change some tests | Jiri Slaby | |
| alias in LLVM 3.8 has a new format, it adds an AliaseeTy parameter. So handle this in the tests. [v2] add comments about what was changed and why Signed-off-by: Jiri Slaby <jirislaby@gmail.com> | |||
| 2018-07-11 | Removed support for klee_make_symbolic with 2 arguments. This has been ↵ | Cristian Cadar | |
| deprecated for many years now and causes problems during replay. Changed and simplified affected test case. | |||
| 2018-07-10 | test: remove undefined behaviour | Jiri Slaby | |
| Shifting negative values is implementation-defined. Shifting by equal number of the bits as is the size of the type is undefined. So fix both of these. This fixes #911. Signed-off-by: Jiri Slaby <jirislaby@gmail.com> | |||
| 2018-07-04 | Fix incorrect invocation of klee | Martin Nowack | |
| 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 | |
 |
index : ~cnx/klee | |
| KLEE fork for patch differentiation testing |
| about summary refs log tree commit diff homepage |