about summary refs log tree commit diff homepage
path: root/tools
AgeCommit message (Expand)Author
2024-02-08Explicitly enable opaque pointer support for LLVM 15Martin Nowack
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
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 s...Cristian Cadar
2023-05-26Refactored and fixed the code dealing with the entry point.Cristian Cadar
2023-04-21Replaced "-data" and "-stat" by "_data" and "_stat" in the ktest-(rand)gen to...Cristian Cadar
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
2023-03-22klee-stats: improve error message for missing tabulate packageFrank Busse
2023-03-17Fix uninitialised memory access while reading last path entryMartin Nowack
2023-03-17Fix building of runtime library and klee-replayMartin Nowack
2023-03-17[MemSan] Mark memory objects modified by syscalls as initialisedMartin Nowack
2023-03-17[cmake] Use LLVM's CMake functionality onlyMartin Nowack
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
2022-01-05Do not use stat64 directly in gen-random-boutCristian Cadar
2021-12-20llvm13: llvm::cl::GeneralCategory is no longer a globalLukas Zaoral
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-05-09 03:27:40 +0000