diff options
Diffstat (limited to 'tools/oss-fuzz.sh')
| -rwxr-xr-x | tools/oss-fuzz.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/tools/oss-fuzz.sh b/tools/oss-fuzz.sh index 620015658e..a0c936f612 100755 --- a/tools/oss-fuzz.sh +++ b/tools/oss-fuzz.sh @@ -50,7 +50,8 @@ else export PYTHONPATH="$ORIG_PYTHONPATH:/usr/lib/python3/dist-packages/" if [[ "$SANITIZER" == undefined ]]; then - UBSAN_FLAGS="-fsanitize=pointer-overflow -fno-sanitize-recover=pointer-overflow" + additional_ubsan_checks=pointer-overflow,alignment + UBSAN_FLAGS="-fsanitize=$additional_ubsan_checks -fno-sanitize-recover=$additional_ubsan_checks" CFLAGS="$CFLAGS $UBSAN_FLAGS" CXXFLAGS="$CXXFLAGS $UBSAN_FLAGS" fi |