diff options
Diffstat (limited to 'examples/check_for_finding.sh')
-rwxr-xr-x | examples/check_for_finding.sh | 41 |
1 files changed, 41 insertions, 0 deletions
diff --git a/examples/check_for_finding.sh b/examples/check_for_finding.sh new file mode 100755 index 00000000..afe110c6 --- /dev/null +++ b/examples/check_for_finding.sh @@ -0,0 +1,41 @@ +#!/usr/bin/env bash +# Copyright 2021 Code Intelligence GmbH +# +# Licensed under the Apache License, Version 2.0 (the "License"); +# you may not use this file except in compliance with the License. +# You may obtain a copy of the License at +# +# http://www.apache.org/licenses/LICENSE-2.0 +# +# Unless required by applicable law or agreed to in writing, software +# distributed under the License is distributed on an "AS IS" BASIS, +# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. +# See the License for the specific language governing permissions and +# limitations under the License. + +# --- begin runfiles.bash initialization v2 --- +# Copy-pasted from the Bazel Bash runfiles library v2. +set -uo pipefail; f=bazel_tools/tools/bash/runfiles/runfiles.bash +source "${RUNFILES_DIR:-/dev/null}/$f" 2>/dev/null || \ + source "$(grep -sm1 "^$f " "${RUNFILES_MANIFEST_FILE:-/dev/null}" | cut -f2- -d' ')" 2>/dev/null || \ + source "$0.runfiles/$f" 2>/dev/null || \ + source "$(grep -sm1 "^$f " "$0.runfiles_manifest" | cut -f2- -d' ')" 2>/dev/null || \ + source "$(grep -sm1 "^$f " "$0.exe.runfiles_manifest" | cut -f2- -d' ')" 2>/dev/null || \ + { echo>&2 "ERROR: cannot find $f"; exit 1; }; f=; set -e +# --- end runfiles.bash initialization v2 --- + +# Temporarily disable exit on error since we expect the command below to fail. +set +e +"$(rlocation "$1")" "$2" "$(rlocation "$3")" "${@:4}" +declare -i exit_code=$? +set -e + +# Assert that we either found a crash in java (exit code 77) or an ASan crash +# (exit code 76). +if [ $exit_code -eq 77 ] || [ $exit_code -eq 76 ] +then + exit 0 +else + echo "Unexpected exit code: $exit_code" + exit 1 +fi |