From 9bd2422ac38f0d90223a11d66ed50a93346d16f8 Mon Sep 17 00:00:00 2001 From: Evgeny Vereshchagin Date: Sat, 15 Jun 2019 23:12:24 +0200 Subject: travis: turn on nonnull-attribute on Fuzzit --- travis-ci/managers/fuzzit.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'travis-ci') diff --git a/travis-ci/managers/fuzzit.sh b/travis-ci/managers/fuzzit.sh index 71858b4be8..6261bd6720 100755 --- a/travis-ci/managers/fuzzit.sh +++ b/travis-ci/managers/fuzzit.sh @@ -21,7 +21,7 @@ export PATH="$HOME/.local/bin/:$PATH" # https://github.com/systemd/systemd/pull/12771#issuecomment-502139157 are sorted out at least. # TODO: "null" should probably be added too. On OSS-Fuzz it was turned off in https://github.com/google/oss-fuzz/pull/674 # TODO: figure out what to do about unsigned-integer-overflow: https://github.com/google/oss-fuzz/issues/910 -export SANITIZER="address -fsanitize=bool,array-bounds,float-divide-by-zero,function,integer-divide-by-zero,return,shift,signed-integer-overflow,unsigned-integer-overflow,vla-bound,vptr -fno-sanitize-recover=bool,array-bounds,float-divide-by-zero,function,integer-divide-by-zero,return,shift,signed-integer-overflow,vla-bound,vptr" +export SANITIZER="address -fsanitize=bool,array-bounds,float-divide-by-zero,function,integer-divide-by-zero,return,shift,signed-integer-overflow,unsigned-integer-overflow,vla-bound,vptr,nonnull-attribute -fno-sanitize-recover=bool,array-bounds,float-divide-by-zero,function,integer-divide-by-zero,return,shift,signed-integer-overflow,vla-bound,vptr,nonnull-attribute" tools/oss-fuzz.sh FUZZING_TYPE=${1:-sanity} -- cgit v1.2.1