| Age | Commit message (Collapse) | Author |
|---|
|
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.
|
