| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2023-03-22 | Explicitly check if 32bit support is enabled for testing | Martin Nowack | |
| Ignore test in the first place, if no 32bit is enabled. | |||
| 2023-03-20 | ConstantArrayExprVisitor: Fix detection of multiple array indices | Lukáš Zaoral | |
| Previously, the code did two consecutive checks. First one succeeded only if the given index was not already seen and the second one did an analogous check but for arrays. However, if the given index usage was already detected for some array, its usage for another array that already had some other index detected would be silently skipped and the `incompatible` flag would not be set. Therefore, if the code contained e.g. the following conditional jump on two arrays with two symbolic indices, the multi-index access would remain undetected: if ((array1[k] + array2[x] + array2[k]) == 0) Resulting in the following output: KLEE: WARNING: OPT_I: infeasible branch! KLEE: WARNING: OPT_I: successful | |||
| 2023-03-20 | ConstantArrayExprVisitor: Deduplicate `visitConcat` and `visitRead` | Lukáš Zaoral | |
| 2023-03-20 | llvm14: port test/Feature/VarArgByVal.c to LLVM 14 | Lukáš Zaoral | |
| LLVM 14 has introduced the noundef function argument attribute. | |||
| 2023-03-20 | llvm14: PointerType::getElementType() was deprecated | Lukáš Zaoral | |
| ... for LLVM 14 in [1] and has already been removed from the LLVM 15 branch in [2]. Some changes are only temporary to silence the warning though, as Type::getPointerElementType() is planned to be removed as well. [3] [1] https://reviews.llvm.org/D117885/new/ [2] https://github.com/llvm/llvm-project/commit/d593cf7 [3] https://llvm.org/docs/OpaquePointers.html#migration-instructions | |||
| 2023-03-20 | llvm14: TargetRegistry.h was moved from Support to MC | Lukáš Zaoral | |
| 2023-03-20 | llvm14: Add LLVM 14 job to GitHub Actions | Lukáš Zaoral | |
| 2023-03-20 | llvm14: Add LLVM 14 to lit.cfg | Lukáš Zaoral | |
| 2023-03-17 | Update KDAlloc unittests | Martin Nowack | |
| 2023-03-17 | Update CI components | Martin Nowack | |
| * Use Ubuntu 22.04 instead of 18.04 * Use LLVM 11 instead of 9 * Use TCMalloc 2.9.1 * Use Z3 4.8.15 * Use Sqlite3 3400100 Clean-up comments and structure to satisfy yaml linter | |||
| 2023-03-17 | Fix script to build all the containers we require for GitHub actions | Martin Nowack | |
| 2023-03-17 | Update Docker build components | Martin Nowack | |
| * Use Ubuntu 22.04 * Use newer TCMalloc 2.9.1 * use Z3 4.8.15 * Use SQLite 3400100 | |||
| 2023-03-17 | Use newer LLVM_DIR config option to build FreeBSD | Martin Nowack | |
| 2023-03-17 | Don't fail `KleeStats.c` test if it takes 1s or longer | Martin Nowack | |
| 2023-03-17 | Disable `const_array_opt1` for ubsan as well | Martin Nowack | |
| 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 | Add support to disable memsan instrumentation; update UB/Asan suppression | Martin Nowack | |
| 2023-03-17 | Update build scripts | Martin Nowack | |
| * Support for Ubuntu 22.04 * Remove support for Python2 * Better separation between sanitizer builds and non-sanitizer builds * Fix build of metaSMT on newer Ubuntu versions * Use ninja to build LLVM * Simplifying building arbitrary LLVM configurations, e.g. different LLVM sanitizer builds (MemSan, UBSan, ASan) * Use MemSan with origin tracking * Build sqlite3 container correctly * Add support to provide sqlite3 version number | |||
| 2023-03-17 | [MemSan] Mark memory objects modified by syscalls as initialised | Martin Nowack | |
| 2023-03-17 | Fix compiler warning with newer compilers | Martin Nowack | |
| 2023-03-17 | Use bitcode library paths via config generation instead of `-D` flags | 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-03-16 | Fixed a bug in KLEE libc's implementation of strcmp: according to the C ↵ | Cristian Cadar | |
| standard, characters should be compared as unsigned chars. | |||
| 2023-03-16 | Add some system tests for KDAlloc | Daniel Schemmel | |
| 2023-03-16 | Integrate KDAlloc into KLEE | Daniel Schemmel | |
| 2023-03-16 | Add some unit tests for KDAlloc | Daniel Schemmel | |
| 2023-03-16 | Add the KDAlloc allocator using both of its suballocators | Daniel Schemmel | |
| 2023-03-16 | The KDAlloc loh allocator is useful for variable sized (large) allocations | Daniel Schemmel | |
| 2023-03-16 | The KDAlloc slot allocator is useful for small sized allocations | Daniel Schemmel | |
| 2023-03-15 | Do not escape "@". This triggers an error now in the CI. | Cristian Cadar | |
| 2023-02-28 | Have the STP coverage build also provide Z3, so that the crosscheck solver ↵ | Daniel Schemmel | |
| can also be tested | |||
| 2023-02-28 | Add a few simple solver tests | Daniel Schemmel | |
| 2023-02-17 | create klee-last as a relative link | Daniel Schemmel | |
| 2023-02-17 | Fix integer overflow | Daniel Schemmel | |
| 2023-02-06 | Disable memcpy_chk_err.c on FreeBSD, where a call to __memcpy_chk is not ↵ | Cristian Cadar | |
| generated | |||
| 2023-02-06 | Add an extra check to test/Runtime/FreeStanding/memcpy_chk_err.c ensuring ↵ | Cristian Cadar | |
| that a call to __memcpy_chk is emitted | |||
| 2023-02-06 | Use LLVM 11 for FreeBSD testing (package llvm90 is not available anymore) | Cristian Cadar | |
| 2023-01-06 | fix output check in test const_arr_opt1 | Matthis Gördel | |
| 2022-12-09 | add missing FileCheck command to test | Matthis Gördel | |
| 2022-12-09 | Fixed some leaks in klee-replay | Cristian Cadar | |
| 2022-12-09 | fix FileCheck cmd of VarArgByVal test | Matthis Gördel | |
| 2022-09-26 | Improve the message for when large arrays become symbolic. Only print this ↵ | Cristian Cadar | |
| warning once per array. Add test case. | |||
| 2022-09-24 | Pass llvm.experimental.noalias.scope.decl to IntrinsicLowering so that it ↵ | Pavel | |
| strips out these intrinsics | |||
| 2022-09-14 | Add notes about how to keep in sync runtime with LLVM project | Pavel | |
| 2022-09-14 | Improve pattern for FileCheck in UBSan's tests | Pavel | |
| 2022-09-14 | Improve pattern for FileCheck in UBSan's tests | Pavel | |
| 2022-09-14 | Add README to UBSan runtime | Pavel | |
| 2022-09-14 | Eliminate .undefined_behavior.err category and simplify tests | Pavel | |
| 2022-09-14 | Remove LLVM version < 9 | Pavel | |
 |
index : ~cnx/klee | |
| KLEE fork for patch differentiation testing |
| about summary refs log tree commit diff homepage |