| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2018-09-20 | Removed unused --sym-files 0 0 argument from FD_Fail test and rewrote the ↵ | Cristian Cadar | |
| test to use FileCheck instead of grep | |||
| 2018-09-20 | Updated IoCtl test to use --sym-stdin instead of --sym-files 0 x to make ↵ | Cristian Cadar | |
| stdin symbolic and removed unused arguments to main. | |||
| 2018-09-20 | Updated DirSeek test to use --sym-stdin instead of --sym-files 0 x to make ↵ | Cristian Cadar | |
| stdin symbolic. | |||
| 2018-09-10 | Add testcase to run POSIX environment and main without arguments | Martin Nowack | |
| 2018-09-10 | Add POSIX runtime as dependency for the test case | Martin Nowack | |
| 2018-09-10 | Unify the error message if that function has not been found. | Martin Nowack | |
| 2018-09-06 | Use FileCheck and LINE instead of grep if possible | Martin Nowack | |
| As we do not support LLVM 2.9 anymore, we can use FileCheck LINE instead of hard coding line numbers. | |||
| 2018-09-06 | runtime: fix memory error in canonicalize_file_name | Frank Busse | |
| Fixes #46 and reverts #47. As stated in #46, the solution works for musl, glibc etc. However, the code in stub.c is executed by uclibc and uclibc doesn't allocate the target buffer in realpath. The memory error occured while running df for 10min with DFS. | |||
| 2018-09-06 | Avoid Vararg non-deterministic allocation | Martin Nowack | |
| Vararg test can fail if KLEE is able to resolve the intended out-of-bound memory address to a memory object. To avoid this, allocate memory explicitly deterministic with sufficient space between the allocations. Enables support for Mac OSX again | |||
| 2018-08-03 | Fixed runtest library to handle the case of a NULL "name" argument in ↵ | Cristian Cadar | |
| klee_make_symbolic. Changed a test case to check this feature. | |||
| 2018-08-03 | [clang-format]Allow longer codelines in test/ | Martin Nowack | |
| Code files in `test/` might contain comment lines that are longer as they contain `// RUN` commands. clang-formatting breaks the tests. Stop clang-formatting from doing that. | |||
| 2018-08-01 | test: remove geq-llvm-3.4 | Julian Büning | |
| 2018-07-28 | remove last comma from -debug-print-escaping-functions | Julian Büning | |
| 2018-07-28 | test/Feature/EscapingFunctionsAlias.c: clarify alias(ee) casting | Julian Büning | |
| 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 | |
 |
index : ~cnx/klee | |
| KLEE fork for patch differentiation testing |
| about summary refs log tree commit diff homepage |