From 9554b8d1d1203c6f2d3ad5315ffa95cfd7494f45 Mon Sep 17 00:00:00 2001 From: Evgeny Vereshchagin Date: Tue, 26 May 2020 14:23:08 +0200 Subject: fuzzit: switch to -fundefined Now that https://github.com/systemd/systemd/issues/15907 is gone, we can simply use "undefined" instead of listing all the possible checks explicitly. --- travis-ci/managers/fuzzit.sh | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) (limited to 'travis-ci') diff --git a/travis-ci/managers/fuzzit.sh b/travis-ci/managers/fuzzit.sh index ca7fa6aab0..1d95137f8d 100755 --- a/travis-ci/managers/fuzzit.sh +++ b/travis-ci/managers/fuzzit.sh @@ -21,11 +21,8 @@ pip3 install ninja meson cd $REPO_ROOT export PATH="$HOME/.local/bin/:$PATH" -# We use a subset of https://clang.llvm.org/docs/UndefinedBehaviorSanitizer.html#available-checks instead of "undefined" -# because our fuzzers crash with "float-cast-overflow": -# https://github.com/systemd/systemd/pull/12812#issuecomment-502780455 # TODO: figure out what to do about unsigned-integer-overflow: https://github.com/google/oss-fuzz/issues/910 -export SANITIZER="address -fsanitize=alignment,array-bounds,bool,bounds,builtin,enum,float-divide-by-zero,function,integer-divide-by-zero,nonnull-attribute,null,object-size,pointer-overflow,return,returns-nonnull-attribute,shift,signed-integer-overflow,unreachable,unsigned-integer-overflow,vla-bound,vptr -fno-sanitize-recover=alignment,array-bounds,bool,bounds,builtin,enum,float-divide-by-zero,function,integer-divide-by-zero,nonnull-attribute,null,object-size,pointer-overflow,return,returns-nonnull-attribute,shift,signed-integer-overflow,unreachable,vla-bound,vptr" +export SANITIZER="address -fsanitize=undefined,unsigned-integer-overflow" tools/oss-fuzz.sh FUZZING_TYPE=${1:-regression} -- cgit v1.2.1