diff options
| author | Fabian Meumertzheim <fabian@meumertzhe.im> | 2023-09-10 15:50:22 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-09-10 09:50:22 -0400 |
| commit | 3b77f15fda02ced89f2ef4ea35a027c20e6c428f (patch) | |
| tree | 2558d9c046ba4c1c7cd3df626ec521d872cca578 | |
| parent | dff339f0ed1492958409b4c9c8937f9ded712861 (diff) | |
| download | bazelbuild-rules_fuzzing-3b77f15fda02ced89f2ef4ea35a027c20e6c428f.tar.gz | |
Add `asan-ubsan` instrumentation option (#231)
This option combines ASan with UBSan, which is very useful for running
the replay tests as well as while iterating on a fuzz test locally.
| -rw-r--r-- | .bazelrc | 10 | ||||
| -rw-r--r-- | docs/guide.md | 10 | ||||
| -rw-r--r-- | fuzzing/BUILD | 2 | ||||
| -rw-r--r-- | fuzzing/instrum_opts.bzl | 1 |
4 files changed, 23 insertions, 0 deletions
@@ -46,6 +46,11 @@ build:ubsan-libfuzzer --//fuzzing:cc_engine=//fuzzing/engines:libfuzzer build:ubsan-libfuzzer --@rules_fuzzing//fuzzing:cc_engine_instrumentation=libfuzzer build:ubsan-libfuzzer --@rules_fuzzing//fuzzing:cc_engine_sanitizer=ubsan +# LibFuzzer + ASAN + UBSAN +build:asan-ubsan-libfuzzer --//fuzzing:cc_engine=//fuzzing/engines:libfuzzer +build:asan-ubsan-libfuzzer --@rules_fuzzing//fuzzing:cc_engine_instrumentation=libfuzzer +build:asan-ubsan-libfuzzer --@rules_fuzzing//fuzzing:cc_engine_sanitizer=asan-ubsan + # Honggfuzz + ASAN build:asan-honggfuzz --//fuzzing:cc_engine=//fuzzing/engines:honggfuzz build:asan-honggfuzz --@rules_fuzzing//fuzzing:cc_engine_instrumentation=honggfuzz @@ -66,6 +71,11 @@ build:asan-replay --//fuzzing:cc_engine=//fuzzing/engines:replay build:asan-replay --@rules_fuzzing//fuzzing:cc_engine_instrumentation=none build:asan-replay --@rules_fuzzing//fuzzing:cc_engine_sanitizer=asan +# Replay + ASAN + UBSAN +build:asan-ubsan-replay --//fuzzing:cc_engine=//fuzzing/engines:replay +build:asan-ubsan-replay --@rules_fuzzing//fuzzing:cc_engine_instrumentation=none +build:asan-ubsan-replay --@rules_fuzzing//fuzzing:cc_engine_sanitizer=asan-ubsan + build:oss-fuzz --//fuzzing:cc_engine=@rules_fuzzing_oss_fuzz//:oss_fuzz_engine build:oss-fuzz --//fuzzing:java_engine=@rules_fuzzing_oss_fuzz//:oss_fuzz_java_engine build:oss-fuzz --@rules_fuzzing//fuzzing:cc_engine_instrumentation=oss-fuzz diff --git a/docs/guide.md b/docs/guide.md index 42868d8..28b5ba3 100644 --- a/docs/guide.md +++ b/docs/guide.md @@ -186,6 +186,11 @@ build:ubsan-libfuzzer --@rules_fuzzing//fuzzing:cc_engine=@rules_fuzzing//fuzzin build:ubsan-libfuzzer --@rules_fuzzing//fuzzing:cc_engine_instrumentation=libfuzzer build:ubsan-libfuzzer --@rules_fuzzing//fuzzing:cc_engine_sanitizer=ubsan +# --config=asan-ubsan-libfuzzer +build:asan-ubsan-libfuzzer --@rules_fuzzing//fuzzing:cc_engine=@rules_fuzzing//fuzzing/engines:libfuzzer +build:asan-ubsan-libfuzzer --@rules_fuzzing//fuzzing:cc_engine_instrumentation=libfuzzer +build:asan-ubsan-libfuzzer --@rules_fuzzing//fuzzing:cc_engine_sanitizer=asan-ubsan + # --config=asan-honggfuzz build:asan-honggfuzz --@rules_fuzzing//fuzzing:cc_engine=@rules_fuzzing//fuzzing/engines:honggfuzz build:asan-honggfuzz --@rules_fuzzing//fuzzing:cc_engine_instrumentation=honggfuzz @@ -206,6 +211,11 @@ build:asan-replay --@rules_fuzzing//fuzzing:cc_engine=@rules_fuzzing//fuzzing/en build:asan-replay --@rules_fuzzing//fuzzing:cc_engine_instrumentation=none build:asan-replay --@rules_fuzzing//fuzzing:cc_engine_sanitizer=asan +# --config=asan-ubsan-replay +build:asan-ubsan-replay --@rules_fuzzing//fuzzing:cc_engine=@rules_fuzzing//fuzzing/engines:replay +build:asan-ubsan-replay --@rules_fuzzing//fuzzing:cc_engine_instrumentation=none +build:asan-ubsan-replay --@rules_fuzzing//fuzzing:cc_engine_sanitizer=asan-ubsan + # --config=jazzer (Jazzer without sanitizer - Java only) build:jazzer --@rules_fuzzing//fuzzing:java_engine=@rules_fuzzing//fuzzing/engines:jazzer build:jazzer --@rules_fuzzing//fuzzing:cc_engine_instrumentation=jazzer diff --git a/fuzzing/BUILD b/fuzzing/BUILD index d7087ec..fbf654a 100644 --- a/fuzzing/BUILD +++ b/fuzzing/BUILD @@ -57,6 +57,8 @@ string_flag( # Undefined Behavior sanitizer (UBSAN). # See https://clang.llvm.org/docs/UndefinedBehaviorSanitizer.html "ubsan", + # ASAN + UBSAN in a single build. + "asan-ubsan", ], visibility = ["//visibility:public"], ) diff --git a/fuzzing/instrum_opts.bzl b/fuzzing/instrum_opts.bzl index b497155..a6eadbe 100644 --- a/fuzzing/instrum_opts.bzl +++ b/fuzzing/instrum_opts.bzl @@ -45,4 +45,5 @@ sanitizer_configs = { "msan": instrum_defaults.msan, "msan-origin-tracking": instrum_defaults.msan_origin_tracking, "ubsan": instrum_defaults.ubsan, + "asan-ubsan": instrum_opts.merge(instrum_defaults.asan, instrum_defaults.ubsan), } |