| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2022-04-04 | Release notes for KLEE 2.3 v2.3 2.3.x | Cristian Cadar | |
| 2022-04-04 | Setting version to 2.3 | Cristian Cadar | |
| 2022-04-01 | Remove unnecessary call to deprecated function sqlite3_enable_shared_cache | Cristian Cadar | |
| 2022-04-01 | Update dependencies in Docker files. | Cristian Cadar | |
| 2022-03-30 | Refactor cmake installation into own component | Martin Nowack | |
| 2022-03-30 | Update GitHub Actions build.yaml | Martin Nowack | |
| * Set SANITIZER_LLVM_VERSION for sanitizers * Remove unnecessary SANITIZER_BUILD * Set LLVM 6 to LLVM_VERSION 6.0 to follow old schema | |||
| 2022-03-30 | Add LLVM 9 and LLVM 11 patches to build with newer Linux kernel versions | Martin Nowack | |
| 2022-03-30 | Build libcxx in parallel if possible | Martin Nowack | |
| 2022-03-30 | Use newer sqlite version using the build script | Martin Nowack | |
| 2022-03-30 | Minor clean-up | Martin Nowack | |
| 2022-03-30 | Clearly separate between LLVM, a bitcode compiler, and sanitizer compiler | Martin Nowack | |
| All three can be different but also provided by the same package. By separating the different use-cases, it allows to set them independently. | |||
| 2022-03-30 | Kitware's cmake is not available for non-LTS Ubuntu versions | Martin Nowack | |
| Don't try to install it for non-LTS Ubuntu versions | |||
| 2022-03-30 | Avoid installing Python 2 | Martin Nowack | |
| 2022-03-30 | Remove support for old Ubuntu | Martin Nowack | |
| 2022-03-30 | Add support to `sudo` if necessary | Martin Nowack | |
| Instead if executing system-relevant changes directly, use `sudo` on Ubuntu-based machines. Simplifies the installation procedure. | |||
| 2022-03-22 | Add Doxygen to one CI target | Cristian Cadar | |
| 2022-03-22 | Removed/updated obsolete Doxygen configuration options | Cristian Cadar | |
| 2022-03-22 | Install doxygen and graphviz (dot) to generate Doxygen documentation when ↵ | Cristian Cadar | |
| ENABLE_DOXYGEN=ON | |||
| 2022-03-22 | Disabled Doxygen by default | Cristian Cadar | |
| 2022-03-22 | Require cmake 3.9+ | Cristian Cadar | |
| 2022-03-21 | Fixed a wrong type when computing memory usage on macOS | Cristian Cadar | |
| 2022-03-17 | remove obsolete KLEE_LLVM legacy defines | Julian Büning | |
| 2022-03-17 | LLVM < 6 leftovers | Julian Büning | |
| 2022-03-17 | ADT/Ref.h: remove header | Frank Busse | |
| 2022-03-17 | remove LLVM < 6 from build/test scripts | Frank Busse | |
| 2022-03-17 | remove LLVM < 6 from sources | Frank Busse | |
| 2022-03-17 | Updated test MemoryLimit.c to use FileCheck, and formatted the file | Cristian Cadar | |
| 2022-03-17 | Document that GetTotalMallocUsage returns the usage in bytes | Cristian Cadar | |
| 2022-03-17 | Fixed GetTotalMallocUsage on macOS to look at all zones. (The test ↵ | Cristian Cadar | |
| MemoryLimit.h fails on macOS 12.1 without this fix.) | |||
| 2022-03-11 | FD_Fail: use /dev/zero instead of /etc/mtab | Morgan Jones | |
| /etc/mtab doesn't exist in the Nix build sandbox since /etc doesn't exist. However, /dev/zero is more common on UNIX systems and does. | |||
| 2022-03-09 | Core/Executor: Fix unaligned write of fp80 arguments | Lukáš Zaoral | |
| ... in Executor::callExternalFunction. Fixes the following error reported in Feature/VarArg{Alignment,LongDouble}.c tests: lib/Expr/Expr.cpp:366:5: runtime error: store to misaligned address 0x7ffc011d3528 for type 'long double', which requires 16 byte alignment | |||
| 2022-03-09 | Core/ExecutionState: Fix uninitialized reads in unit tests | Lukáš Zaoral | |
| ... by initialising all members of fundamental types of the ExecutionState class. Fixes the following error in SearcherTest.{Two,}RandomPath unit tests: lib/Core/ExecutionState.cpp:114:22: runtime error: load of value 254, which is not a valid value for type 'bool' | |||
| 2022-03-09 | CI: add `-fno-sanitize-recover=undefined` to UBSAN flags | Lukáš Zaoral | |
| By default, UBSAN does not fail when it reports an error. Thus, the UBSAN CI was green even though there were some errors reported. | |||
| 2022-03-09 | tests: make UBSAN print stack traces | Lukáš Zaoral | |
| 2022-03-09 | CI: drop `-fsanitize=integer` from UBSAN flags | Lukáš Zaoral | |
| When combined with `-fsanitize=undefined`, this flag only enables extra checks for unsigned integer overflow and (possibly bug-prone) implicit conversions between integer types. It was generating way too much noise (both for KLEE and its dependencies) and the reported problems do not lead to an undefined behaviour according to the C++ standard. | |||
| 2022-03-09 | CI: Update GTest to 1.11.0 | Lukáš Zaoral | |
| 2022-03-09 | CI: Update Z3 to 4.8.14 | Lukáš Zaoral | |
| 2022-03-09 | build: fix missing target for grep | Frank Busse | |
| 2022-03-09 | fix CMake: gtest from llvm includes gtest_main | Julian Büning | |
| 2022-01-07 | tests: add Feature/KleeStatsNoBr.c | Frank Busse | |
| 2022-01-07 | tests: adapt Feature/KleeStatsColumns.test to klee-stats changes | Frank Busse | |
| 2022-01-07 | tests: extend Feature/KleeStats.c | 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-07 | stats: remove reachableUncovered (unused) | Frank Busse | |
| 2022-01-06 | Comment the code dealing with un/flushed bytes, and resolve old naming issue ↵ | Cristian Cadar | |
| by renaming flushMask to unflushedMask | |||
| 2022-01-06 | Remove old Travis CI support | Martin Nowack | |
| We don't use it anymore. No need to burn additional cycles. | |||
 |
index : ~cnx/klee | |
| KLEE fork for patch differentiation testing |
| about summary refs log tree commit diff homepage |