about summary refs log tree commit diff homepage
AgeCommit message (Collapse)Author
2022-05-06Utilise Docker build artifact cache for more componentsMartin Nowack
2022-05-06Updated tests to use ktest-randgen instead of gen-random-boutCristian Cadar
2022-05-06Renamed gen-random-bout to ktest-randgenCristian Cadar
2022-05-06Updated tests to use ktest-gen instead of gen-boutCristian 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-06tests: make function pointer tests more robustFrank Busse
2022-05-05cmake: try using system installation of GTest if it's presentLukáš 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-05cl flags: document default values, remove dead option: --replay-keep-symbolicFrank Busse
2022-05-05Switch FreeBSD 12 CI to a supported release.Gleb Popov
2022-04-28Make Uclibc support a runtime option, not a compile-time one.Gleb Popov
2022-04-25use mallinfo2 if availableFrank Busse
2022-04-25Update the Dockerfile to use the correct path for llvm-110Ryan Riley
2022-04-04Set version number to 3.0-preCristian Cadar
2022-04-04Release notes for KLEE 2.3 v2.3 2.3.xCristian Cadar
2022-04-04Setting version to 2.3Cristian Cadar
2022-04-01Remove unnecessary call to deprecated function sqlite3_enable_shared_cacheCristian Cadar
2022-04-01Update dependencies in Docker files.Cristian Cadar
2022-03-30Refactor cmake installation into own componentMartin Nowack
2022-03-30Update GitHub Actions build.yamlMartin 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-30Add LLVM 9 and LLVM 11 patches to build with newer Linux kernel versionsMartin Nowack
2022-03-30Build libcxx in parallel if possibleMartin Nowack
2022-03-30Use newer sqlite version using the build scriptMartin Nowack
2022-03-30Minor clean-upMartin Nowack
2022-03-30Clearly separate between LLVM, a bitcode compiler, and sanitizer compilerMartin 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-30Kitware's cmake is not available for non-LTS Ubuntu versionsMartin Nowack
Don't try to install it for non-LTS Ubuntu versions
2022-03-30Avoid installing Python 2Martin Nowack
2022-03-30Remove support for old UbuntuMartin Nowack
2022-03-30Add support to `sudo` if necessaryMartin Nowack
Instead if executing system-relevant changes directly, use `sudo` on Ubuntu-based machines. Simplifies the installation procedure.
2022-03-22Add Doxygen to one CI targetCristian Cadar
2022-03-22Removed/updated obsolete Doxygen configuration optionsCristian Cadar
2022-03-22Install doxygen and graphviz (dot) to generate Doxygen documentation when ↵Cristian Cadar
ENABLE_DOXYGEN=ON
2022-03-22Disabled Doxygen by defaultCristian Cadar
2022-03-22Require cmake 3.9+Cristian Cadar
2022-03-21Fixed a wrong type when computing memory usage on macOSCristian Cadar
2022-03-17remove obsolete KLEE_LLVM legacy definesJulian Büning
2022-03-17LLVM < 6 leftoversJulian Büning
2022-03-17ADT/Ref.h: remove headerFrank Busse
2022-03-17remove LLVM < 6 from build/test scriptsFrank Busse
2022-03-17remove LLVM < 6 from sourcesFrank Busse
2022-03-17Updated test MemoryLimit.c to use FileCheck, and formatted the fileCristian Cadar
2022-03-17Document that GetTotalMallocUsage returns the usage in bytesCristian Cadar
2022-03-17Fixed GetTotalMallocUsage on macOS to look at all zones. (The test ↵Cristian Cadar
MemoryLimit.h fails on macOS 12.1 without this fix.)
2022-03-11FD_Fail: use /dev/zero instead of /etc/mtabMorgan 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-09Core/Executor: Fix unaligned write of fp80 argumentsLukáš 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-09Core/ExecutionState: Fix uninitialized reads in unit testsLukáš 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-09CI: add `-fno-sanitize-recover=undefined` to UBSAN flagsLukáš 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-09tests: make UBSAN print stack tracesLukáš Zaoral
2022-03-09CI: drop `-fsanitize=integer` from UBSAN flagsLukáš 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-09CI: Update GTest to 1.11.0Lukáš Zaoral
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-22 07:53:57 +0000