| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 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 | [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 | Add some system tests for KDAlloc | Daniel Schemmel | |
| 2023-03-16 | Integrate KDAlloc into KLEE | Daniel Schemmel | |
| 2023-02-28 | Add a few simple solver tests | 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-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 | 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 | Improve pattern for FileCheck in UBSan's tests | Pavel | |
| 2022-09-14 | Improve pattern for FileCheck in UBSan's tests | Pavel | |
| 2022-09-14 | Eliminate .undefined_behavior.err category and simplify tests | Pavel | |
| 2022-09-14 | Remove LLVM version < 9 | Pavel | |
| 2022-09-14 | Check extensions of generated files in tests | Pavel | |
| 2022-09-14 | Remove LLVM version < 6 | Pavel | |
| 2022-09-14 | Support UBSan-enabled binaries | Pavel Yatcheniy | |
| 2022-07-24 | Support arguments of width 128, 256 and 512 bits for external calls | Pavel | |
| 2022-07-04 | Inline asm external call | Mikhail | |
| 2022-06-30 | rename CallSite to CallBase | Frank Busse | |
| 2022-06-30 | remove LLVM < 9 | Frank Busse | |
| 2022-06-27 | Fix error with empty EntryPoint | Saveliy Grigoryev | |
| 2022-06-26 | Intrinsics: Add support for @llvm.f{ma,muladd}.f* | Lukáš Zaoral | |
| 2022-06-15 | Spelling Fixes | m-davis | |
| 2022-06-13 | tests: add StackTraceOutput.c | Frank Busse | |
| 2022-06-13 | tests: invoke LLVM tools through their corresponding macros | Lukáš Zaoral | |
| 2022-05-06 | Updated tests to use ktest-randgen instead of gen-random-bout | Cristian Cadar | |
| 2022-05-06 | Updated tests to use ktest-gen instead of gen-bout | Cristian Cadar | |
| 2022-05-06 | tests: make function pointer tests more robust | Frank Busse | |
| 2022-04-28 | Make Uclibc support a runtime option, not a compile-time one. | Gleb Popov | |
| 2022-03-17 | LLVM < 6 leftovers | Julian Büning | |
| 2022-03-17 | remove LLVM < 6 from build/test scripts | Frank Busse | |
| 2022-03-17 | Updated test MemoryLimit.c to use FileCheck, and formatted the file | Cristian Cadar | |
| 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 | tests: make UBSAN print stack traces | Lukáš Zaoral | |
| 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-05 | Added a test for invocations of klee_make_symbolic with a wrong size to ↵ | Cristian Cadar | |
| MakeSymbolicAPI.c, and reformatted the file. | |||
| 2021-12-20 | test/Concrete/GlobalUndef.ll: Remove `target datalayout` and `target triple` | Lukáš Zaoral | |
| Fixes assertion violation triggered in LLVM 13 CI job due to incompatibility with default target triple and datalayout. | |||
| 2021-12-20 | llvm13: Add LLVM 13 to lit.cfg | Lukas Zaoral | |
| 2021-11-20 | Fixed fail with preferCex, removed relation from first argument | Taras Bereznyak | |
| 2021-11-02 | tests: adjust Feature/KleeStatsColumns.test for fixed column order | Frank Busse | |
| 2021-10-27 | tools/klee: Warn if module and host target triples differ | Lukas Zaoral | |
| ... as running a bitcode with a different target triple may result in unexpected crashes or assertion violations. | |||
| 2021-10-17 | test/Runtime/POSIX/Futimesat: futimesat(2) requires _GNU_SOURCE on glibc ↵ | Lukas Zaoral | |
| platforms | |||
| 2021-10-17 | test/Runtime/POSIX/Futimesat: Compile with -std=c99 | Lukas Zaoral | |
| .. so that `linux` is not a defined macro. Without the `-std=c99` option, linux is an implicitly defined macro so all such substrings in the given path will be replaced with `1` during stringification. Unfortunately, Fedora's rpmbuild uses `x86_64-redhat-linux-gnu` as a build directory for all CMake projects which leads to a failure due to a change to `x86_64-redhat-1-gnu`. Fixes: #1424 | |||
| 2021-10-13 | test/Feature/FunctionAlias.c: Add missing CHECK-UNKNOWN prefix | Lukas Zaoral | |
| This test started to fail on LLVM 13 because FileCheck switched the default setting regarding the allowance of unused prefixes. This is now considered to be a fatal error. | |||
 |
index : ~cnx/klee | |
| KLEE fork for patch differentiation testing |
| about summary refs log tree commit diff homepage |