diff options
| author | Fabian Meumertzheim <meumertzheim@code-intelligence.com> | 2021-06-09 10:03:53 +0200 |
|---|---|---|
| committer | Fabian Meumertzheim <fabian@meumertzhe.im> | 2021-06-09 11:48:20 +0200 |
| commit | 224e8d00c26d19a78de1720459e3c5b403ae36ca (patch) | |
| tree | fbb98af54cb3b218c4dd66689537ec2b4e0fdfb0 /BUILD.bazel | |
| parent | edc2afa53eaab4e036dae4c418b88d0b3e669949 (diff) | |
| download | jazzer-api-224e8d00c26d19a78de1720459e3c5b403ae36ca.tar.gz | |
Add support for UBSan
Diffstat (limited to 'BUILD.bazel')
| -rw-r--r-- | BUILD.bazel | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/BUILD.bazel b/BUILD.bazel index 965c99b1..8c3cbcd7 100644 --- a/BUILD.bazel +++ b/BUILD.bazel @@ -57,6 +57,17 @@ sh_binary( ], ) +sh_binary( + name = "jazzer_ubsan", + srcs = ["//bazel:jazzer_wrapper.sh"], + args = [ + "$(rootpath //driver:jazzer_driver_ubsan)", + ], + data = [ + "//driver:jazzer_driver_ubsan", + ], +) + exports_files([ "jazzer-api.pom", ]) |