diff options
| author | Kostya Serebryany <kcc@google.com> | 2019-05-08 01:03:05 +0000 |
|---|---|---|
| committer | Kostya Serebryany <kcc@google.com> | 2019-05-08 01:03:05 +0000 |
| commit | ba670b404e3f05f7c9b9cf483bca89f647a74957 (patch) | |
| tree | 277f202838713be79889277776c2d5308118fb6e | |
| parent | 0fb707b93b938e216770297446b2de71a09ce378 (diff) | |
| download | llvm-ba670b404e3f05f7c9b9cf483bca89f647a74957.zip llvm-ba670b404e3f05f7c9b9cf483bca89f647a74957.tar.gz llvm-ba670b404e3f05f7c9b9cf483bca89f647a74957.tar.bz2 | |
[libFuzzer] extend the test for data flow tracer and coverage; also hopefully fix it on the bot
llvm-svn: 360215
| -rw-r--r-- | compiler-rt/test/fuzzer/dataflow.test | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/compiler-rt/test/fuzzer/dataflow.test b/compiler-rt/test/fuzzer/dataflow.test index ecc4a52..11f2fef 100644 --- a/compiler-rt/test/fuzzer/dataflow.test +++ b/compiler-rt/test/fuzzer/dataflow.test @@ -33,23 +33,33 @@ RUN: echo -n 1234567890123456 > %t/IN/1234567890123456 RUN:%t-ThreeFunctionsTestDF 0 3 %t/IN/ABC | FileCheck %s --check-prefix=IN_ABC IN_ABC: F0 0001 IN_ABC-NOT: F +IN_ABC-NEXT: C0 +IN_ABC-NOT: C # FUABC: First 3 bytes are checked, Func1/Func2 are not called. RUN:%t-ThreeFunctionsTestDF 0 5 %t/IN/FUABC | FileCheck %s --check-prefix=IN_FUABC IN_FUABC: F0 111001 IN_FUABC-NOT: F +IN_FUABC-NEXT: C0 +IN_FUABC-NOT: C # FUZZR: 5 bytes are used (4 in one function, 5-th in the other), Func2 is not called. RUN:%t-ThreeFunctionsTestDF 0 5 %t/IN/FUZZR | FileCheck %s --check-prefix=IN_FUZZR IN_FUZZR: F0 111101 IN_FUZZR: F1 000010 IN_FUZZR-NOT: F +IN_FUZZR: C0 +IN_FUZZR: C1 +IN_FUZZR-NOT: C # FUZZM: 5 bytes are used, both Func1 and Func2 are called, Func2 depends only on size (label 6). RUN:%t-ThreeFunctionsTestDF 0 5 %t/IN/FUZZM | FileCheck %s --check-prefix=IN_FUZZM IN_FUZZM: F0 111101 IN_FUZZM: F1 000010 IN_FUZZM: F2 000001 +IN_FUZZM: C0 +IN_FUZZM: C1 +IN_FUZZM: C2 # FUZZMU: 6 bytes are used, both Func1 and Func2 are called, Func2 depends on byte 6 and size (label 7) RUN:%t-ThreeFunctionsTestDF 0 6 %t/IN/FUZZMU | FileCheck %s --check-prefix=IN_FUZZMU @@ -62,7 +72,7 @@ RUN:%t-ThreeFunctionsTestDF 4 6 %t/IN/FUZZMU > %t-merge-3 RUN:%libfuzzer_src/scripts/merge_data_flow.py %t-merge-* | sort | FileCheck %s --check-prefix=IN_FUZZMU # Test collect_data_flow -RUN: %libfuzzer_src/scripts/collect_data_flow.py %t-ThreeFunctionsTestDF %t/IN/FUZZMU | FileCheck %s --check-prefix=IN_FUZZMU +RUN: %libfuzzer_src/scripts/collect_data_flow.py %t-ThreeFunctionsTestDF %t/IN/FUZZMU | sort | FileCheck %s --check-prefix=IN_FUZZMU IN_FUZZMU: F0 1111001 IN_FUZZMU: F1 0000100 |