~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Collapse)	Author
2020-10-12	fix building klee-cxxabi	Julian Büning
	Co-authored-by: Felix Rath <felix.rath@comsys.rwth-aachen.de>
2020-10-12	use isa<> and explicit nullptr-check for compilation with older LLVM ↵	Felix Rath
	versions, also mark two errors as ExecErrors, as these should not be caused by users
2020-10-12	Implemented support for C++ Exceptions	Felix Rath
	We implement the Itanium ABI unwinding base-API, and leave the C++-specific parts to libcxxabi. Co-authored-by: Lukas Wölfer <lukas.woelfer@rwth-aachen.de>
2020-10-12	Add `ENABLE_DOXYGEN=0` to default config in .travis.yml	jiseongg
	Since `ENABLE_DOXYGEN=1` is deafult in Dockerfile, it'll be tested in the job `Docker`
2020-10-12	Add doxygen support in docker image	jiseongg
	CMake Warning at docs/CMakeLists.txt:46 (message): Doxygen not found. Can't build Doxygen documentation
2020-10-12	Remove unused cmake arguments when building docker	jiseongg
	CMake Warning: Manually-specified variables were not used by the project: LLVM_DIR
2020-10-09	implement fneg instruction	Julian Büning

2020-10-09	fix: fabs() working on the wrong argument	David Laprell

2020-10-09	Replace `NULL` with explicit `nullptr`	Martin Nowack

2020-10-09	Explicitly track global variables in getDirectCallTarget	Martin Nowack
	Global variables can't be a direct call target. Their values are read and treated as indirect call targets.
2020-10-09	Add testcase for weakly linked globals	Martin Nowack

2020-10-06	Ran clang-format on intrinsics.c and removed unneeded comment	Cristian Cadar

2020-10-06	Added support for klee_open_merge and klee_close_merge in replay, together ↵	Cristian Cadar
	with a test case.
2020-09-30	klee-stats: fix behaviour for broken/empty DBs	Frank Busse
	* fill missing columns in rows with None * fill previous rows with None if new column encountered * error for --to-csv when more than one input directory given
2020-09-30	tests: add tests for empty .stats and additional/missing columns	Frank Busse

2020-09-30	tests: support .test and introduce %klee-stats	Frank Busse

2020-09-30	Add check if KLEE is installed	Martin Nowack

2020-09-30	Use LLVM 6.0 for now on macOS	Martin Nowack
	C++ static destructors are currently not supported for newer LLVM version. Keep older LLVM version until issue is fixed.
2020-09-30	[CMake][Z3] Check if function `Z3_get_error_msg` needs `context` using C++	Martin Nowack
	Linking with Z3 might fail if Z3 is built with UBSan as parts of Z3 are written in C++. Check explicitly with a C++ compiler.
2020-09-30	Update Dockerfile to use LLVM 9.0 and newer Ubuntu version	Martin Nowack

2020-09-30	Remove shebang from include	Martin Nowack

2020-09-30	Fix LLVM 4.0 build patch	Martin Nowack

2020-09-30	Fix docker ID handling for sqlite	Martin Nowack

2020-09-30	Fix check if sqlite is installed under ubuntu as a systems package	Martin Nowack

2020-09-30	Fix check if LLVM is installed	Martin Nowack

2020-09-30	Reduce compile time and size for LLVM build	Martin Nowack
	* Just target x86 as architecture * do not build tests for clang * use optimized tablegen * only build required tools and libraries that are needed by KLEE
2020-09-30	Reduce the size of the libcxx image	Martin Nowack
	* re-use an existing LLVM directory if possible * only export the bitcode files
2020-09-30	Remove explicit dependency on llvm and sanitizer	Martin Nowack
	Clang is just a compiler and can be provided by system-specific packages.
2020-09-30	Fix detection of installed clang	Martin Nowack
	Any clang is fine as long as it is the right version. The current assumption is that it is suffixed with version.
2020-09-30	Do not use `-lubsan` and `-fuse-ld=gold` for UBSan linking	Martin Nowack
	These arguments are not required and let the link process fail. Instead, clang(++) should be used as a linker and it will take care of linking with the correct libraries.
2020-09-30	Delete Docker instance after system detection ran	Martin Nowack
	Don't keep the docker instance for detecting the system around to avoid stale terminated containers.
2020-09-30	Disable libc++ for LLVM 3.8 Travis CI target	Martin Nowack
	The build support for libc++ for LLVM 3.8 is broken. It's not worth fixing.
2020-09-30	Set default LLVM version to 9.0	Martin Nowack
	Use newer LLVM version 9.0 instead of 6.0. Update to newer Ubuntu base image.
2020-09-30	Replace travis container build script with python-based version	Martin Nowack

2020-09-26	Replace llvm::CallSite with llvm::CallBase on LLVM 8+	Lukas Zaoral
	This is in preparation for LLVM 11 as the llvm:CallSite class has been removed.
2020-09-25	Add Cirrus CI status	Cristian Cadar

2020-09-21	Added a PR template, with a checklist documenting the most frequent issues ↵	Cristian Cadar
	we have encountered
2020-09-17	Add test for klee-zesti	Timotej Kapus

2020-09-17	[gen-bout] Support multiple symbolic files	Timotej Kapus

2020-09-17	Add klee-zesti a ZESTI like wrapper script	Timotej Kapus
	klee-zesti takes concrete arguments, files and stdin of the program under tests converts them to a seed and then runs klee with that seed. This emulates the interface of ZESTI.
2020-09-05	Fix codecov upload	Martin Nowack
	Argument `-y` has been removed from the upload script. https://github.com/codecov/codecov-bash/commit/c2f935a0dd0590d20296e95a759782e32b311b34 But `.codecov.yml` is now supported
2020-09-05	Remove secure vars	Cristian Cadar

2020-09-04	Update homebrew cache	Martin Nowack

2020-09-04	Remove caching of homebrew-built packages	Martin Nowack
	The new build script doesn't use that facility anymore. Remove it to avoid interfirence with ccache.
2020-09-04	Use homebrew packages provided by Travis	Martin Nowack
	Recently, Homebrew packages can be installed via `.travis.yml`. Use this functionality instead of calling brew directly. Hopefully works around the build issue.
2020-09-04	CirrusCI: Switch FreeBSD 11.3 to 11.4, remove old hack.	Gleb Popov

2020-09-03	Guard process-tree compression with a command-line switch	Sebastian Poeplau

2020-09-03	Fix PTree::remove to clean the tree properly	Sebastian Poeplau
	The previous version left unnecessary intermediate nodes behind, sometimes leading to very long paths in the tree.
2020-09-03	Change the way bash is upgraded on macOS.	Cristian Cadar

2020-09-02	More robust handling of unknown intrinsics	Alastair Reid
	- If an unknown intrinsic appears in the bitcode file, it is reported but execution can proceed. - If an unknown intrinsic is encountered during execution of some path, - the intrinsic is reported - this path is treated as an error - execution of other paths can proceed To be more precise, there is a list of "known unknown intrinsics". Intrinsics not on this list will prevent execution.