diff options
author | 2021-06-10 16:57:42 +0200 | |
---|---|---|
committer | 2021-06-10 07:57:42 -0700 | |
commit | 73d78b88790b501f119801c4f68463180b76e1d9 (patch) | |
tree | 37444da53b933846777119b23b2719f3e2b456dc /infra/base-images/base-builder/Dockerfile | |
parent | a44547d8d6f78ad7ce02323ecc33382a1d628e39 (diff) |
[infra][jvm] Add Jazzer UBSan support (#5898)
* [infra][jvm] Add Jazzer UBSan support
* [java-example] Reenable and plant UB
* [docs] Mention support for Java UBSan in docs
Also adds a link to the java-example build.sh to the docs.
Diffstat (limited to 'infra/base-images/base-builder/Dockerfile')
-rw-r--r-- | infra/base-images/base-builder/Dockerfile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/infra/base-images/base-builder/Dockerfile b/infra/base-images/base-builder/Dockerfile index 40b99316..cf6d4563 100644 --- a/infra/base-images/base-builder/Dockerfile +++ b/infra/base-images/base-builder/Dockerfile @@ -120,8 +120,8 @@ RUN cd $SRC/ && \ git clone --depth=1 https://github.com/CodeIntelligenceTesting/jazzer && \ cd jazzer && \ bazel build --java_runtime_version=localjdk_15 -c opt --cxxopt="-stdlib=libc++" --linkopt=-lc++ \ - //agent:jazzer_agent_deploy.jar //driver:jazzer_driver //driver:jazzer_driver_asan //agent:jazzer_api_deploy.jar && \ - cp bazel-bin/agent/jazzer_agent_deploy.jar bazel-bin/driver/jazzer_driver bazel-bin/driver/jazzer_driver_asan /usr/local/bin/ && \ + //agent:jazzer_agent_deploy.jar //driver:jazzer_driver //driver:jazzer_driver_asan //driver:jazzer_driver_ubsan //agent:jazzer_api_deploy.jar && \ + cp bazel-bin/agent/jazzer_agent_deploy.jar bazel-bin/driver/jazzer_driver bazel-bin/driver/jazzer_driver_asan bazel-bin/driver/jazzer_driver_ubsan /usr/local/bin/ && \ cp bazel-bin/agent/jazzer_api_deploy.jar $JAZZER_API_PATH && \ rm -rf ~/.cache/bazel ~/.cache/bazelisk && \ rm -rf $SRC/jazzer |