about summary refs log tree commit diff homepage
path: root/tools
AgeCommit message (Collapse)Author
2024-02-08Explicitly enable opaque pointer support for LLVM 15Martin Nowack
This automatically lifts old-style pointers to opaque pointers. More recent versions use opaque pointers automatically and do not need an explicit enabling.
2024-01-12Renamed PTree to ExecutionTree (and similar)Cristian Cadar
2024-01-12Rename files from PTree to ExecutionTree (and similar)Cristian Cadar
2024-01-12new: persistent ptree (-write-ptree) and klee-ptreeFrank 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-21Add code to only keep in the --help menu the KLEE/Kleaver option categoriesCristian Cadar
2023-06-26Consistently use ".ktest" when referring to .ktest files in the help menuCristian Cadar
2023-06-11fix ktest-randgen: use after freeJulian Büning
2023-06-06ktest-gen: remove unused functionFrank Busse
2023-05-26Some 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-26Refactored 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-21Replaced "-data" and "-stat" by "_data" and "_stat" in the ktest-(rand)gen ↵Cristian Cadar
tools for consistency with recent changes.
2023-04-21use unique_ptr all throughout the solver chainDaniel Schemmel
2023-04-06Support disabling compiler warnings; Use with external headersMartin Nowack
2023-03-26fix unused variables warningDaniel Schemmel
2023-03-23Remove model_version from the POSIX runtime, as we have never used it.Cristian Cadar
2023-03-23stats: add termination class statsFrank Busse
2023-03-23stats: add branch type statsFrank Busse
2023-03-23stats: rename States -> ActiveStates, add StatesFrank Busse
2023-03-23stats: add AllocationsFrank Busse
2023-03-23stats: rename numQueries/Queries -> SolverQueries, add QueriesFrank Busse
2023-03-23stats: add ExternalCallsFrank Busse
2023-03-23stats: add QCacheHits/MissesFrank Busse
2023-03-23stats: add InhibitedForksFrank Busse
2023-03-22Change `llvm_map_components_to_libnames` to `llvm_config` CMake functionMartin Nowack
With recent LLVM versions, this should allow to link against dynamic LLVM libraries.
2023-03-22klee-stats: improve error message for missing tabulate packageFrank Busse
2023-03-17Fix uninitialised memory access while reading last path entryMartin 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-17Fix building of runtime library and klee-replayMartin 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 initialisedMartin Nowack
2023-03-17[cmake] Use LLVM's CMake functionality onlyMartin 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-17create klee-last as a relative linkDaniel Schemmel
2023-02-17Fix integer overflowDaniel Schemmel
2022-12-09Fixed some leaks in klee-replayCristian Cadar
2022-09-14Support UBSan-enabled binariesPavel Yatcheniy
2022-07-04Inline asm external callMikhail
2022-06-30remove LLVM < 9Frank Busse
2022-06-27Fix error with empty EntryPointSaveliy Grigoryev
2022-05-06Renamed gen-random-bout to ktest-randgenCristian Cadar
2022-05-06Updated klee-zesti to use ktest-gen instead of gen-boutCristian Cadar
2022-05-06Renamed gen-bout to ktest-genCristian Cadar
2022-05-05cl flags: document default values, remove dead option: --replay-keep-symbolicFrank Busse
2022-04-28Make Uclibc support a runtime option, not a compile-time one.Gleb Popov
2022-03-17remove obsolete KLEE_LLVM legacy definesJulian Büning
2022-03-17remove LLVM < 6 from sourcesFrank Busse
2022-01-07klee-stats: fix --print-moreFrank Busse
2022-01-07klee-stats: add --print-columnsFrank Busse
2022-01-07klee-stats: do not print summary line for csv/readable-csvFrank Busse
2022-01-07klee-stats: fix BCov calculation for zero br instructionsFrank Busse
2022-01-07klee-stats: rename/reorder/document columnsFrank Busse
* rename columns for consistency * reorder columns and group by "categories" * add missing documentation * fix existing documentation * show MaxMem as float
2022-01-05Do not use stat64 directly in gen-random-boutCristian Cadar
2021-12-20llvm13: llvm::cl::GeneralCategory is no longer a globalLukas Zaoral
Therefore, llvm::cl::getGeneralCategory() should be used instead. See: https://reviews.llvm.org/D105959
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-05-20 04:32:43 +0000