| Age | Commit message (Collapse) | Author |
|---|
|
`>>` can fail and sets internal error information in the istream.
Check the state of istream before pushing the value onto the buffer.
|
|
Former build system provided additional flags for building bitcode while
they were not required, e.g. under BSD or MacOS.
|
|
|
|
* Support for Ubuntu 22.04
* Remove support for Python2
* Better separation between sanitizer builds and non-sanitizer builds
* Fix build of metaSMT on newer Ubuntu versions
* Use ninja to build LLVM
* Simplifying building arbitrary LLVM configurations, e.g. different
LLVM sanitizer builds (MemSan, UBSan, ASan)
* Use MemSan with origin tracking
* Build sqlite3 container correctly
* Add support to provide sqlite3 version number
|
|
|
|
|
|
|
|
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).
|
|
standard, characters should be compared as unsigned chars.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
can also be tested
|
|
|
|
|
|
|
|
generated
|
|
that a call to __memcpy_chk is emitted
|
|
|
|
|
|
|
|
|
|
|
|
warning once per array. Add test case.
|
|
strips out these intrinsics
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
