about summary refs log tree commit diff homepage
AgeCommit message (Collapse)Author
2020-12-04Add LLVM 11 to lit.cfgCristian Cadar
2020-12-04Declare mempcpy on macOS, to silence compiler warningsCristian Cadar
2020-12-02Fix Codecov uploadMartin Nowack
`sudo` invocation in Github Actions does not provide environment variables, therefore Codecov was not aware of the correct settings. This behaviour is different under Github Actions than Travis CI. This could be fixed via `sudo -E`. Anyway, tests do not need to be run `sudo` with Github Actions, so remove the `sudo` invocation in the first place.
2020-12-02Use Github Actions as default CIMartin Nowack
2020-12-02Remove artificial timeouts as current timeout for build jobs is 6h.Martin Nowack
2020-12-02Rename `build-travis-container.py` into `build-ci-container.py`Martin Nowack
Update container build script to utilize Github Actions job description instead of Travis CI's.
2020-12-02Add Github Actions for KLEE CI based @jordrMartin Nowack
Add support for Github Actions to use as new CI. This builds all the components as the original Travis CI script.
2020-12-02Detect system include headers on macOSMartin Nowack
System header files on macOS are not part of `/usr/include` since Catalina. Instead, multiple locations are possible and depend on the selected SDK. Use `xcrun` to automatically detect the correct path on macOS.
2020-12-02Handle LLVM version selection more robustMartin Nowack
2020-12-02Use non-interactive inputMartin Nowack
2020-11-23Use a more recent version of macOSCristian Cadar
2020-11-20p-klee.inc: libc++abi only needed for c++ exception supportJulian Büning
2020-11-20slightly improve C++-related CMake stringsJulian Büning
2020-11-20fix CMake: libcxxabi is only required with KLEE_EH_CXXJulian Büning
2020-11-12Casting.h: isa_and_nonnull<>Julian Büning
2020-11-12Ref: implement operator bool()Julian Büning
2020-11-11tests: add test for klee-stats --table-format=csv/readable-csvFrank Busse
2020-11-11klee-stats: add (readable) csv format (--table-format=readable-csv/csv)Frank Busse
2020-11-11Do not redefine fgetc_unlocked and fputc_unlocked unconditionally.Gleb Popov
2020-11-09Added fortified library (for -D_FORTIFY_SOURCE), to be linked when uclibc is ↵Cristian Cadar
used.
2020-11-09Test checking that __strcpy_chk is handled correctly when uclibc is usedCristian Cadar
2020-11-09Added fortified versions for the functions in the klee-libc libraryCristian Cadar
2020-11-09Test checking that __strcat_chk is handled correctly with klee-libcCristian Cadar
2020-11-09Since the runtime now contains fortified libc functions, it is important to ↵Cristian Cadar
compile it with -D_FORTIFY_SOURCE=0 to avoid infinite recursion.
2020-11-09Added fortified versions for the functions in the freestanding library.Cristian Cadar
2020-11-09Added test checking that a simple overflow is caught via -D_FORTIFY_SOURCECristian Cadar
2020-11-09Test checking that __memchk_chk is handled correctly with the freestanding ↵Cristian Cadar
library.
2020-11-04Rename FreeStanding to Freestanding where appropriateMartin Nowack
2020-11-04[build] Add multilib package to build 32bit on ubuntuMartin Nowack
2020-11-04Link to the different runtime libraries depending on the application to test.Martin Nowack
Currently, only 32bit vs. 64bit is supported.
2020-11-04[cmake] Add support to generate arbitrary runtime library configurationsMartin Nowack
Every runtime library can be build with multiple configurations. Replace the Makefile-based setup by cmake one. Currently, we generate 32bit and 64bit libraries simultaneously and can link against them.
2020-11-04[cmake] Always create KLEE runtime directory even if POSIX is not builtMartin Nowack
2020-11-04[cmake] Remove clean_all target as not needed by any additional targetMartin Nowack
2020-11-04[cmake] Use clean command to remove generated doxygen filesMartin Nowack
2020-11-04[cmake] Remove several leftovers from old autoconf build systemMartin Nowack
2020-11-04[cmake] Switch to "newer" cmake version 3.5.0Martin Nowack
Ubuntu 16.04 supports cmake 3.5.0 as default. Cmake 2.8.12 was the default in 14.04. Use cmake 3 to simplify cmake files.
2020-11-03fix: bcmp with n==0Alastair Reid
This was executing the loop when n==0 leading to an out of bound pointer error. Found while verifying Rust code that compares strings.
2020-10-30Call functions in __cxa_atexit in reverse orderTomas Jasek
2020-10-30Add test for atexit orderTomas Jasek
2020-10-30Use the default version of LLVM for the macOS Travis targetCristian Cadar
2020-10-30Mark the StaticDestructor test as failing on macOSCristian Cadar
2020-10-30Optimize StaticDestructor test to be less fragile to compiler optimizations.Cristian Cadar
2020-10-21fix Executor: remove UB from bindInstructionConstantsJulian Büning
2020-10-12searchers: more consistent formattingFrank Busse
2020-10-12DFS/BFS/RandomSearcher: replace loop with std::findFrank Busse
2020-10-12searchers: move implementations from .h to .cppFrank Busse
2020-10-12Searcher: remove addState/removeState functionsFrank Busse
2020-10-12MergingSearcher: remove random-path incompatibilityFrank Busse
2020-10-12searchers: clean up, add documentationFrank Busse
2020-10-12address MartinNowack's remaining feedbackJulian Büning
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-23 09:21:30 +0000