about summary refs log tree commit diff homepage
path: root/tools
AgeCommit message (Expand)Author
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
2021-11-02ktest-tool: --extract: warn if object can't be foundFrank Busse
2021-11-02klee-stats: order remaining columns alphabeticallyFrank Busse
2021-10-27tools/klee: Warn if module and host target triples differLukas Zaoral
2021-05-04differentiate between partial and completed paths in summary and fix paths st...Frank Busse
2021-04-29Fix erroneous klee-stats legend for --print-allJordy Ruiz
2021-04-18klee-replay: Fix -Wformat-truncation warningLukas Zaoral
2021-02-16add klee_messages for C++ exception handling supportJulian Büning
2021-02-16add ifdefs for C++ exception handlingJulian Büning
2021-02-16renaming 'libcxx' -> 'libc++'Julian Büning
2020-12-04llvm11: Use getCalledOperand instead of getCalledValueLukas Zaoral
2020-12-04llvm11: Make conversions from StringRef to std::string explicitLukas Zaoral
2020-11-11klee-stats: add (readable) csv format (--table-format=readable-csv/csv)Frank Busse
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-09-21 09:27:19 +0000