| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2020-04-09 | [posix-runtime] Add test for full path consistency for symbolic files | Timotej Kapus | |
| 2020-04-08 | test: add a new test for readStringAtAddress | Marek Chalupa | |
| Read strings from different parts of objects. | |||
| 2020-03-22 | [posix-runtime] Simple GET/SET_LK model | Timotej Kapus | |
| 2020-03-19 | Additional test for dealing with vector instructions | Cristian Cadar | |
| 2020-03-02 | fix lit.cfg: numerical comparison of LLVM version numbers | Julian Büning | |
| 2020-03-02 | test/lit.cfg: add LLVM 10.0 | Julian Büning | |
| 2020-01-18 | Fix handling of debug information for functions | Martin Nowack | |
| Tracking function locations separately correctly without prefixing it with a directory. | |||
| 2020-01-13 | Assume assembly.ll is local to the run.istats file | Martin Nowack | |
| Assuming a `klee-out-*` directory is moved to a different path location, subsequent analysis of the run.istats with KCachegrind focusing on assembly is impossible as the `assembly.ll` cannot be found. The reason is that the absolute path of the object file (assembly.ll) is hard-coded as part of the generated run.istats. To fix this, assume that the file is local to the `run.istats`. | |||
| 2020-01-10 | Fix update_list_order.c | Martin Nowack | |
| 2019-12-12 | [optimize-array] Fix value transformation | Timotej Kapus | |
| Value transformation operates on word instead of byte arrays. That means the Read indicies need to be adjusted to reflect that. Previously IndexCleanerVisitor tried to remove the multiplications in the index to covert byte indicies to word indicies. However as the two added test cases show this is not sufficent. Therefore we remove the IndexCleanerVisistor and just divide the index with word size which should always be correct. | |||
| 2019-12-12 | [optimize-array] Fix hole index in buildMixedSelectExpr | Timotej Kapus | |
| buildMixedSelectExpr was using the byte index for holes in the select condition instead of the word based one. This only occured if there was more than 1 hole. | |||
| 2019-12-12 | [optimize-array] Fix update list read order | Timotej Kapus | |
| ArrayExprOptimizer read the UpdateList in the wrong order, which meant that it used least recent update instead of the most recent one. This patch fixes this as well as adds a test to illustrate the issue. | |||
| 2019-11-15 | Implement @llvm.is.constant() intrinsic handling and add a test for it. | Gleb Popov | |
| 2019-11-07 | Handle llvm.objectsize explicitly | Martin Nowack | |
| llvm.objectsize is used in several optimisation during compile time. Lowering these intrinsics took a conservative approach returning always the value for unknown. Instead, lower to the object's real size, if possible. Otherwise, a conservative value is used. Since LLVM 4.0, the function `llvm::lowerObjectSizeCall()` does exactly this. Use this function or preserve the old behaviour for older LLVM versions. | |||
| 2019-11-07 | Added test for 3-argument main. | Cristian Cadar | |
| 2019-11-05 | Most libc++ tests require uclibc; add missing REQUIRES statements or remove ↵ | Cristian Cadar | |
| dependency. | |||
| 2019-11-05 | Mark all constant global memory objects as constant | Martin Nowack | |
| Fixes #264. We first aggregate all constant memory objects initialise them and initialise their counter parts in the concrete memory. After that, we mark memory objects as constant such that they can't be modified (i.e. this includes marking them symbolic). | |||
| 2019-11-05 | [test] Fix missing includes | Martin Nowack | |
| Fix multiple missing includes | |||
| 2019-10-31 | Executor: fix missing default case in switch instruction | Frank Busse | |
| 2019-10-31 | enable testing for LLVM 9.0 | Julian Büning | |
| 2019-10-31 | LLVM 9.0: fourth parameter for @llvm.objectsize() | Julian Büning | |
| 2019-10-31 | klee-libc: add bcmp | Julian Büning | |
| 2019-10-07 | test/Expr/Evaluate2.kquery: add link to issue | Julian Büning | |
| 2019-10-07 | fix: make llvm 7.1 known | Julian Büning | |
| 2019-10-07 | test/Feature/SolverTimeout.c: re-enable for Z3 | Julian Büning | |
| 2019-10-07 | test/lit.cfg: test if current version is known | Julian Büning | |
| 2019-10-07 | test/lit.cfg: use lit_config instead of lit | Julian Büning | |
| Since LLVM version 3.6.0 or lit version 0.5.0, `lit_config` is the name of the global object, not `lit`. | |||
| 2019-10-07 | Do not use klee_range() in regression/2014-09-13-debug-info.c test, as it is | Gleb Popov | |
| incompatible with klee_prefer_cex. Fixes https://github.com/klee/klee/issues/1161 While there, remove dependence on `sort` utility, which might help porting KLEE Windows eventually. | |||
| 2019-09-20 | Move intrinsics tests to the proper directory | Mateusz Naściszewski | |
| 2019-09-20 | Add tests for saturating arithmetic | Mateusz Naściszewski | |
| 2019-09-05 | test/CMakeLists.txt: error handling for download | Julian Büning | |
| 2019-09-05 | test/CMakeLists.txt: use official llvm monorepo for download | Julian Büning | |
| 2019-08-14 | Update basic block iterator after deleting instruction; add test case | Martin Nowack | |
| 2019-08-14 | Rewrote the checks in GenRandomBout.c to remove dependency on bash and use ↵ | Cristian Cadar | |
| FileCheck instead (FreeBSD tests on Travis CI fail otherwise) | |||
| 2019-08-14 | Moved Gen*Bout.c tests outside the test/Runtime/POSIX directory, as they ↵ | Cristian Cadar | |
| don't need POSIX support to run. | |||
| 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 | |
 |
index : ~cnx/klee | |
| KLEE fork for patch differentiation testing |
| about summary refs log tree commit diff homepage |