diff options
| author |  jonathanmetzman <31354670+jonathanmetzman@users.noreply.github.com> | 2019-05-15 10:35:06 -0700 |
|---|---|---|
| committer |  GitHub <noreply@github.com> | 2019-05-15 10:35:06 -0700 |
| commit | 95dd538c60703b0d90f7ad33fe63c22b50fd68f7 (patch) | |
| tree | e682b80361895af5b9081894dc49d41904efa184 /infra/base-images | |
| parent | a8acfd51bdc4f5982a2f3a884ebe760a0bbd5d44 (diff) | |
[infra] Update name of check_instrumentation and error messages (#2414)
Diffstat (limited to 'infra/base-images')
| -rwxr-xr-x | infra/base-images/base-runner/bad_build_check | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/infra/base-images/base-runner/bad_build_check b/infra/base-images/base-runner/bad_build_check index ed3baec6..80a22966 100755 --- a/infra/base-images/base-runner/bad_build_check +++ b/infra/base-images/base-runner/bad_build_check @@ -51,8 +51,9 @@ then fi -# Verify that the given fuzz target has proper coverage instrumentation. -function check_instrumentation { +# Verify that the given fuzz target is corectly built to run with a particular +# engine. +function check_engine { local FUZZER=$1 local FUZZER_NAME=$(basename $FUZZER) local FUZZER_OUTPUT="/tmp/$FUZZER_NAME.output" @@ -81,7 +82,7 @@ function check_instrumentation { AFL_NO_UI=1 SKIP_SEED_CORPUS=1 timeout --preserve-status -s INT 20s run_fuzzer $FUZZER_NAME &>$FUZZER_OUTPUT CHECK_PASSED=$(egrep "All set and ready to roll" -c $FUZZER_OUTPUT) if (( $CHECK_PASSED == 0 )); then - echo "BAD BUILD: $FUZZER does not seem to have coverage instrumentation." + echo "BAD BUILD: fuzzing $FUZZER with afl-fuzz failed." cat $FUZZER_OUTPUT return 1 fi @@ -300,7 +301,7 @@ function main { local result=0 export RUN_FUZZER_MODE="batch" - check_instrumentation $FUZZER + check_engine $FUZZER result=$? checks_failed=$(( $checks_failed + $result )) |