Age | Commit message (Collapse) | Author |
|
* 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
|
|
All three can be different but also provided by the same package.
By separating the different use-cases, it allows to set them
independently.
|
|
By default, UBSAN does not fail when it reports an error. Thus, the UBSAN CI
was green even though there were some errors reported.
|
|
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.
|
|
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.
|
|
|
|
|
|
Provide a single `scripts/build/build.sh` file to build KLEE and its
dependencies.
|