about summary refs log tree commit diff homepage
path: root/scripts/build/v-sanitizer.inc
AgeCommit message (Collapse)Author
2023-03-17Update build scriptsMartin Nowack
* 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
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-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-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.
2020-09-30Do not use `-lubsan` and `-fuse-ld=gold` for UBSan linkingMartin 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.
2019-04-04Add MSan support for sqliteTimotej Kapus
2019-03-12Add integer sanitizer to UBSanMartin Nowack
2019-03-10Updated dependency build system for KLEEMartin Nowack
Provide a single `scripts/build/build.sh` file to build KLEE and its dependencies.