| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2024-01-12 | Renamed PTree to ExecutionTree (and similar) | Cristian Cadar | |
| 2024-01-12 | Rename files from PTree to ExecutionTree (and similar) | Cristian Cadar | |
| 2024-01-12 | new: persistent ptree (-write-ptree) and klee-ptree | Frank Busse | |
| Introduce three different kinds of process trees: 1. Noop: does nothing (e.g. no allocations for DFS) 2. InMemory: same behaviour as before (e.g. RandomPathSearcher) 3. Persistent: similar to InMemory but writes nodes to ptree.db and tracks information such as branch type, termination type or source location (asm) in nodes. Enabled with -write-ptree ptree.db files can be analysed/plotted with the new "klee-ptree" tool. | |||
| 2023-07-21 | Add code to only keep in the --help menu the KLEE/Kleaver option categories | Cristian Cadar | |
| 2023-06-26 | Consistently use ".ktest" when referring to .ktest files in the help menu | Cristian Cadar | |
| 2023-06-11 | fix ktest-randgen: use after free | Julian Büning | |
| 2023-06-06 | ktest-gen: remove unused function | Frank Busse | |
| 2023-05-26 | Some basic refactoring and pass through comments. In particular, it brings ↵ | Cristian Cadar | |
| some related code together (deadline with EntryPoint and ReplayPathFile respectively) which was unnecessarily separated. | |||
| 2023-05-26 | Refactored and fixed the code dealing with the entry point. | Cristian Cadar | |
| main() should not be processed if the entry point is a different function. This also fixes an abnormal termination when --entry-point and --libc=uclibc are used together (#1572) | |||
| 2023-04-21 | Replaced "-data" and "-stat" by "_data" and "_stat" in the ktest-(rand)gen ↵ | Cristian Cadar | |
| tools for consistency with recent changes. | |||
| 2023-04-21 | use unique_ptr all throughout the solver chain | Daniel Schemmel | |
| 2023-04-06 | Support disabling compiler warnings; Use with external headers | Martin Nowack | |
| 2023-03-26 | fix unused variables warning | Daniel Schemmel | |
| 2023-03-23 | Remove model_version from the POSIX runtime, as we have never used it. | Cristian Cadar | |
| 2023-03-23 | stats: add termination class stats | Frank Busse | |
| 2023-03-23 | stats: add branch type stats | Frank Busse | |
| 2023-03-23 | stats: rename States -> ActiveStates, add States | Frank Busse | |
| 2023-03-23 | stats: add Allocations | Frank Busse | |
| 2023-03-23 | stats: rename numQueries/Queries -> SolverQueries, add Queries | Frank Busse | |
| 2023-03-23 | stats: add ExternalCalls | Frank Busse | |
| 2023-03-23 | stats: add QCacheHits/Misses | Frank Busse | |
| 2023-03-23 | stats: add InhibitedForks | Frank Busse | |
| 2023-03-22 | Change `llvm_map_components_to_libnames` to `llvm_config` CMake function | Martin Nowack | |
| With recent LLVM versions, this should allow to link against dynamic LLVM libraries. | |||
| 2023-03-22 | klee-stats: improve error message for missing tabulate package | Frank Busse | |
| 2023-03-17 | Fix uninitialised memory access while reading last path entry | Martin Nowack | |
| `>>` can fail and sets internal error information in the istream. Check the state of istream before pushing the value onto the buffer. | |||
| 2023-03-17 | Fix building of runtime library and klee-replay | Martin Nowack | |
| Former build system provided additional flags for building bitcode while they were not required, e.g. under BSD or MacOS. | |||
| 2023-03-17 | [MemSan] Mark memory objects modified by syscalls as initialised | Martin Nowack | |
| 2023-03-17 | [cmake] Use LLVM's CMake functionality only | Martin Nowack | |
| LLVM became more complex, use LLVM's CMake functionality directly instead of replicating this behaviour in KLEE's build system. Use the correct build flags provided by LLVM itself. This is influenced by the way LLVM is built in the first place. Remove older CMake support (< 3.0). | |||
| 2023-02-17 | create klee-last as a relative link | Daniel Schemmel | |
| 2023-02-17 | Fix integer overflow | Daniel Schemmel | |
| 2022-12-09 | Fixed some leaks in klee-replay | Cristian Cadar | |
| 2022-09-14 | Support UBSan-enabled binaries | Pavel Yatcheniy | |
| 2022-07-04 | Inline asm external call | Mikhail | |
| 2022-06-30 | remove LLVM < 9 | Frank Busse | |
| 2022-06-27 | Fix error with empty EntryPoint | Saveliy Grigoryev | |
| 2022-05-06 | Renamed gen-random-bout to ktest-randgen | Cristian Cadar | |
| 2022-05-06 | Updated klee-zesti to use ktest-gen instead of gen-bout | Cristian Cadar | |
| 2022-05-06 | Renamed gen-bout to ktest-gen | Cristian Cadar | |
| 2022-05-05 | cl flags: document default values, remove dead option: --replay-keep-symbolic | Frank Busse | |
| 2022-04-28 | Make Uclibc support a runtime option, not a compile-time one. | Gleb Popov | |
| 2022-03-17 | remove obsolete KLEE_LLVM legacy defines | Julian Büning | |
| 2022-03-17 | remove LLVM < 6 from sources | Frank Busse | |
| 2022-01-07 | klee-stats: fix --print-more | Frank Busse | |
| 2022-01-07 | klee-stats: add --print-columns | Frank Busse | |
| 2022-01-07 | klee-stats: do not print summary line for csv/readable-csv | Frank Busse | |
| 2022-01-07 | klee-stats: fix BCov calculation for zero br instructions | Frank Busse | |
| 2022-01-07 | klee-stats: rename/reorder/document columns | Frank Busse | |
| * rename columns for consistency * reorder columns and group by "categories" * add missing documentation * fix existing documentation * show MaxMem as float | |||
| 2022-01-05 | Do not use stat64 directly in gen-random-bout | Cristian Cadar | |
| 2021-12-20 | llvm13: llvm::cl::GeneralCategory is no longer a global | Lukas Zaoral | |
| Therefore, llvm::cl::getGeneralCategory() should be used instead. See: https://reviews.llvm.org/D105959 | |||
| 2021-11-02 | ktest-tool: --extract: warn if object can't be found | Frank Busse | |
 |
index : ~cnx/klee | |
| KLEE fork for patch differentiation testing |
| about summary refs log tree commit diff homepage |