| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 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 | |
| 2022-09-14 | Check extensions of generated files in tests | Pavel | |
| 2022-09-14 | Remove LLVM version < 6 | Pavel | |
| 2022-09-14 | Introduce separate categories for different kinds of undefined behavior | Pavel | |
| 2022-09-14 | Support UBSan-enabled binaries | Pavel Yatcheniy | |
| 2022-08-26 | Use true instead of Z3_TRUE (removed in z3 4.11.0) | Jerry James | |
| 2022-08-19 | Corrected wrong usage of klee_report_error in __cxa_atexit handler | Pavel | |
| 2022-07-24 | Support arguments of width 128, 256 and 512 bits for external calls | Pavel | |
| 2022-07-11 | Switch FreeBSD CI to 13.1 and Python 3.9 | Gleb Popov | |
| 2022-07-07 | POSIX runtime: fstatat: check for nonnull path APIs | Frank Busse | |
| 2022-07-04 | Inline asm external call | Mikhail | |
| 2022-07-04 | Fix memory leak in crosscheck core solver mechanism | Daniel Schemmel | |
| 2022-06-30 | checkout KLEE with depth > 1 when running codecov | Daniel Schemmel | |
| 2022-06-30 | update github checkout action to v3 | Daniel Schemmel | |
| 2022-06-30 | rename CallSite to CallBase | Frank Busse | |
| 2022-06-30 | remove LLVM < 9 | Frank Busse | |
| 2022-06-29 | Perform coverage analysis for z3 as well | Daniel Schemmel | |
| 2022-06-29 | forward ci environment variables used to exercise metasmt backends into the ↵ | Daniel Schemmel | |
| docker container | |||
| 2022-06-29 | Remove the CI target metaSMT(Boolector). metaSMT(STP) already runs the test ↵ | Cristian Cadar | |
| suite with all solvers supported by metaSMT, so the extra target provides marginal benefits. | |||
| 2022-06-28 | Implement getArrayForUpdate iteratively | Daniel Schemmel | |
| 2022-06-27 | Define stat64 to be stat on MacOS. This fixes compilation on more recent ↵ | Cristian Cadar | |
| macOS versions, where stat64 is not defined anymore. | |||
| 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-20 | Use `klee` user to install system dependencies | Martin Nowack | |
| As a follow-up to recent build script enhancements (https://github.com/klee/klee/commit/818275b7249250780ddd5ed021cae64288514270), finally build KLEE inside of the Docker image as artefact owned by the `klee` user, including user-installed Python3 modules. This fixes issues with non-writable build directories. In addition `$HOME/.local/bin` directory is made available in search path. | |||
| 2022-06-18 | Update Dockerfile to install tabulate | kt218 | |
| Install tabulate package for klee-stats to work when used within KLEE Docker. | |||
| 2022-06-15 | Spelling Fixes | m-davis | |
| 2022-06-13 | tests: add StackTraceOutput.c | Frank Busse | |
| 2022-06-13 | .err files: minor readability changes to stack trace output | Frank Busse | |
| 2022-06-13 | Update SpecialFunctionHandler.cpp | Chaoqi Zhang | |
| use size() to get N in bind(), just like the way in prepare(). | |||
| 2022-06-13 | tests: invoke LLVM tools through their corresponding macros | Lukáš Zaoral | |
| 2022-05-06 | Switch to newer KLEE uClibc release | Martin Nowack | |
| Instead of using a branch that doesn't allow build artifact caching, use the newer released version instead. | |||
| 2022-05-06 | Utilise Docker build artifact cache for more components | Martin Nowack | |
| 2022-05-06 | Updated tests to use ktest-randgen instead of gen-random-bout | Cristian Cadar | |
| 2022-05-06 | Renamed gen-random-bout to ktest-randgen | Cristian Cadar | |
| 2022-05-06 | Updated tests to use ktest-gen instead of gen-bout | Cristian Cadar | |
| 2022-05-06 | Updated klee-zesti to use ktest-gen instead of gen-bout | Cristian Cadar | |
| 2022-05-06 | Renamed gen-bout to ktest-gen | Cristian Cadar | |
| 2022-05-06 | tests: make function pointer tests more robust | Frank Busse | |
| 2022-05-05 | cmake: try using system installation of GTest if it's present | Lukáš Zaoral | |
| This is a patch that I made few months ago as Fedora forbids bundling and using pieces of software provided by other packages in its repositories but forgot to upstream it at that time. [1] It has been rebased and improved so that it also reflects changes made in #1458. This should also make the compilation of unittests easier for our users as they don't need to clone googletest from GitHub anymore and just use package manager in the distro of their choice, provided that the gtest package includes a corresponding CMake module. [1]: https://src.fedoraproject.org/rpms/klee/blob/4c81b78/f/use-system-gtest.patch | |||
| 2022-05-05 | cl flags: document default values, remove dead option: --replay-keep-symbolic | Frank Busse | |
| 2022-05-05 | Switch FreeBSD 12 CI to a supported release. | Gleb Popov | |
| 2022-04-28 | Make Uclibc support a runtime option, not a compile-time one. | Gleb Popov | |
| 2022-04-25 | use mallinfo2 if available | Frank Busse | |
 |
index : ~cnx/klee | |
| KLEE fork for patch differentiation testing |
| about summary refs log tree commit diff homepage |