clang -fPIC -c -g -O2 -std=c++11 Fuzzer*.cpp
clang++ -O0 -std=c++11 -fsanitize-coverage=3 \
-mllvm -sanitizer-coverage-experimental-trace-compares=1 \
- -fsanitize=dataflow -fsanitize-blacklist=./dfsan_fuzzer_abi.list \
+ -fsanitize=dataflow \
test/dfsan/DFSanSimpleCmpTest.cpp Fuzzer*.o
./a.out
)
+++ /dev/null
-# Replaces __sanitizer_cov_trace_cmp with __dfsw___sanitizer_cov_trace_cmp
-fun:__sanitizer_cov_trace_cmp=custom
-fun:__sanitizer_cov_trace_cmp=uninstrumented
-
-# Ignores coverage callbacks.
-fun:__sanitizer_cov=uninstrumented
-fun:__sanitizer_cov=discard
-fun:__sanitizer_cov_module_init=uninstrumented
-fun:__sanitizer_cov_module_init=discard
-
-# Don't add extra parameters to the Fuzzer callback.
-fun:LLVMFuzzerTestOneInput=uninstrumented
# These tests depend on both coverage and dfsan instrumentation.
-set(DFSAN_FUZZER_ABI_LIST "${CMAKE_CURRENT_SOURCE_DIR}/../../dfsan_fuzzer_abi.list")
-
set(CMAKE_CXX_FLAGS_RELEASE
- "${LIBFUZZER_FLAGS_BASE} -O0 -fno-sanitize=all -fsanitize=dataflow -mllvm -sanitizer-coverage-experimental-trace-compares=1 -fsanitize-blacklist=${DFSAN_FUZZER_ABI_LIST}")
+ "${LIBFUZZER_FLAGS_BASE} -O0 -fno-sanitize=all -fsanitize=dataflow -mllvm -sanitizer-coverage-experimental-trace-compares=1")
foreach(Test ${DFSanTests})
- set_source_files_properties(${Test}.cpp PROPERTIES OBJECT_DEPENDS ${DFSAN_FUZZER_ABI_LIST})
add_executable(LLVMFuzzer-${Test}
${Test}.cpp
)