diff options
-rwxr-xr-x | Configure | 4 | ||||
-rw-r--r-- | fuzz/README.md | 3 |
2 files changed, 2 insertions, 5 deletions
@@ -1110,10 +1110,6 @@ if ($disabled{"dynamic-engine"}) { $config{dynamic_engines} = 1; } -unless ($disabled{"fuzz-libfuzzer"}) { - $config{cflags} .= "-fsanitize-coverage=edge,indirect-calls,8bit-counters "; -} - unless ($disabled{asan}) { $config{cflags} .= "-fsanitize=address "; } diff --git a/fuzz/README.md b/fuzz/README.md index d0c30f4461..69c388121b 100644 --- a/fuzz/README.md +++ b/fuzz/README.md @@ -39,7 +39,8 @@ Configure for fuzzing: --with-fuzzer-include=../../svn-work/Fuzzer \ --with-fuzzer-lib=../../svn-work/Fuzzer/libFuzzer \ -DPEDANTIC enable-asan enable-ubsan no-shared \ - -DFUZZING_BUILD_MODE_UNSAFE_FOR_PRODUCTION + -DFUZZING_BUILD_MODE_UNSAFE_FOR_PRODUCTION \ + -fsanitize-coverage=edge,indirect-calls,8bit-counters $ sudo apt-get install make $ LDCMD=clang++ make -j $ fuzz/helper.py $FUZZER |