| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2018-10-26 | Added gen-bout tool to generate ktest file (file.bout) using specified ↵ | Andrew Santosa | |
| concrete arguments and files. * Sample use cases: * Using an interesting input as a seed, such as a crashing input. * Analyzing the path condition of a crashing input. * Also added the test: test/Runtime/POSIX/GenBout.c | |||
| 2018-10-26 | llvm5: test, add -disable-O0-optnone to -O0 | Jiri Slaby | |
| Otherwise optimizations done in klee won't have any effect. Signed-off-by: Jiri Slaby <jirislaby@gmail.com> | |||
| 2018-10-26 | llvm5: test, change objectsize | Jiri Slaby | |
| @llvm.objectsize has now three aguments, so fix the tests accordingly. Signed-off-by: Jiri Slaby <jirislaby@gmail.com> | |||
| 2018-10-24 | Add testcase for shift check | Martin Nowack | |
| Validate non-optimised and optimised variant of added checks. | |||
| 2018-10-24 | Add test case for div checker | Martin Nowack | |
| Check that only important div instructions are annotated. Check the optimized case as well: the call to the validating function might not be part of the code anymore but already inlined - make sure the instruction still has the metadata attached. | |||
| 2018-10-24 | Added lowering pass | Rafael Zaehl | |
| 2018-10-23 | Added support for KLEE value-based array optimization | Andrea Mattavelli | |
| 2018-10-23 | Added support for KLEE index-based array optimization | Andrea Mattavelli | |
| 2018-10-17 | tests: disable CompressedExprLogging on zlib-less systems | Frank Busse | |
| 2018-10-10 | fix handling of failing external calls | Frank Busse | |
| Currently KLEE only handles the first segfault in external calls as it doesn't unblock SIGSEGV afterwards. This patch unblocks the signal and enables handling of multiple failing calls. | |||
| 2018-10-10 | cmake/lit: add asan/non-asan, ubsan/non-ubsan flags | Frank Busse | |
| 2018-10-08 | add support for klee-replay on OSX | Frank Busse | |
| * also adds klee-replay as dependency for systemtests | |||
| 2018-09-30 | Fix a crash when the last running state is terminated during merging | Lukas Wölfer | |
| 2018-09-29 | Changed code to create up to 100 properly-numbered symbolic arguments, and ↵ | Cristian Cadar | |
| add a corresponding check. | |||
| 2018-09-29 | Add checks for correct usage of the POSIX model, together with an associated ↵ | Cristian Cadar | |
| test. | |||
| 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 | |
 |
index : ~cnx/klee | |
| KLEE fork for patch differentiation testing |
| about summary refs log tree commit diff homepage |