Kostya Serebryany | a407dde | 2015-05-07 00:11:33 +0000 | [diff] [blame] | 1 | CHECK: BINGO |
Kostya Serebryany | bf65644 | 2015-12-19 03:35:30 +0000 | [diff] [blame] | 2 | Done1000000: Done 1000000 runs in |
Kostya Serebryany | a407dde | 2015-05-07 00:11:33 +0000 | [diff] [blame] | 3 | |
Alexey Samsonov | 4800c2d | 2015-07-21 22:51:55 +0000 | [diff] [blame] | 4 | RUN: LLVMFuzzer-SimpleTest 2>&1 | FileCheck %s |
Aaron Ballman | ef11698 | 2015-01-29 16:58:29 +0000 | [diff] [blame] | 5 | |
Kostya Serebryany | f1f3f93 | 2016-05-26 20:03:02 +0000 | [diff] [blame] | 6 | # only_ascii mode. Will perform some minimal self-validation. |
| 7 | RUN: LLVMFuzzer-SimpleTest -only_ascii=1 2>&1 |
| 8 | |
Kostya Serebryany | bcfb080 | 2016-10-27 21:44:37 +0000 | [diff] [blame] | 9 | RUN: LLVMFuzzer-SimpleCmpTest -max_total_time=1 -use_cmp=0 2>&1 | FileCheck %s --check-prefix=MaxTotalTime |
Kostya Serebryany | b85db17 | 2015-10-02 20:47:55 +0000 | [diff] [blame] | 10 | MaxTotalTime: Done {{.*}} runs in {{.}} second(s) |
| 11 | |
Kostya Serebryany | 470d044 | 2016-05-27 21:46:22 +0000 | [diff] [blame] | 12 | RUN: not LLVMFuzzer-NullDerefTest 2>&1 | FileCheck %s --check-prefix=NullDerefTest |
| 13 | RUN: not LLVMFuzzer-NullDerefTest -close_fd_mask=3 2>&1 | FileCheck %s --check-prefix=NullDerefTest |
Marcos Pividori | 51f907f | 2017-02-08 00:02:25 +0000 | [diff] [blame] | 14 | NullDerefTest: ERROR: AddressSanitizer: {{SEGV|access-violation}} on unknown address |
Kostya Serebryany | bd5d1cd | 2015-10-09 03:57:59 +0000 | [diff] [blame] | 15 | NullDerefTest: Test unit written to ./crash- |
| 16 | RUN: not LLVMFuzzer-NullDerefTest -artifact_prefix=ZZZ 2>&1 | FileCheck %s --check-prefix=NullDerefTestPrefix |
| 17 | NullDerefTestPrefix: Test unit written to ZZZcrash- |
Kostya Serebryany | 2d0ef14 | 2015-11-25 21:40:46 +0000 | [diff] [blame] | 18 | RUN: not LLVMFuzzer-NullDerefTest -artifact_prefix=ZZZ -exact_artifact_path=FOOBAR 2>&1 | FileCheck %s --check-prefix=NullDerefTestExactPath |
| 19 | NullDerefTestExactPath: Test unit written to FOOBAR |
Kostya Serebryany | 2c1b33b | 2015-01-29 23:01:07 +0000 | [diff] [blame] | 20 | |
Kostya Serebryany | ff2e6ba | 2016-05-25 00:15:36 +0000 | [diff] [blame] | 21 | RUN: not LLVMFuzzer-NullDerefOnEmptyTest -print_final_stats=1 2>&1 | FileCheck %s --check-prefix=NULL_DEREF_ON_EMPTY |
| 22 | NULL_DEREF_ON_EMPTY: stat::number_of_executed_units: |
| 23 | |
Kostya Serebryany | 65d0a14 | 2015-10-02 22:00:32 +0000 | [diff] [blame] | 24 | #not LLVMFuzzer-FullCoverageSetTest -timeout=15 -seed=1 -mutate_depth=2 -use_full_coverage_set=1 2>&1 | FileCheck %s |
Kostya Serebryany | 2e3622b | 2015-02-20 03:02:37 +0000 | [diff] [blame] | 25 | |
Kostya Serebryany | 2f962fe | 2016-12-10 02:45:56 +0000 | [diff] [blame] | 26 | RUN: not LLVMFuzzer-CounterTest -max_len=6 -seed=1 -timeout=15 2>&1 | FileCheck %s --check-prefix=COUNTERS |
Kostya Serebryany | a5277d5 | 2016-09-15 01:30:18 +0000 | [diff] [blame] | 27 | |
Kostya Serebryany | 1c73f1b | 2016-10-05 22:56:21 +0000 | [diff] [blame] | 28 | COUNTERS: INITED {{.*}} {{bits:|ft:}} |
| 29 | COUNTERS: NEW {{.*}} {{bits:|ft:}} {{[1-9]*}} |
| 30 | COUNTERS: NEW {{.*}} {{bits:|ft:}} {{[1-9]*}} |
Kostya Serebryany | a5277d5 | 2016-09-15 01:30:18 +0000 | [diff] [blame] | 31 | COUNTERS: BINGO |
Kostya Serebryany | 16d03bd | 2015-03-30 22:09:51 +0000 | [diff] [blame] | 32 | |
Kostya Serebryany | 035af9b | 2016-12-12 20:58:10 +0000 | [diff] [blame] | 33 | # Don't run UninstrumentedTest for now since we build libFuzzer itself with asan. |
| 34 | DISABLED: not LLVMFuzzer-UninstrumentedTest-Uninstrumented 2>&1 | FileCheck %s --check-prefix=UNINSTRUMENTED |
Kostya Serebryany | 5eab74e | 2015-11-09 23:17:45 +0000 | [diff] [blame] | 35 | UNINSTRUMENTED: ERROR: __sanitizer_set_death_callback is not defined. Exiting. |
Mike Aizatsky | 8b11f87 | 2016-01-06 00:21:22 +0000 | [diff] [blame] | 36 | |
Marcos Pividori | e219d40 | 2017-02-08 00:03:13 +0000 | [diff] [blame] | 37 | RUN: not LLVMFuzzer-NotinstrumentedTest-NoCoverage 2>&1 | FileCheck %s --check-prefix=NO_COVERAGE |
Kostya Serebryany | 76f4252 | 2016-06-08 01:46:13 +0000 | [diff] [blame] | 38 | NO_COVERAGE: ERROR: no interesting inputs were found. Is the code instrumented for coverage? Exiting |
| 39 | |
Kostya Serebryany | d50a3ee | 2016-01-13 23:02:30 +0000 | [diff] [blame] | 40 | RUN: not LLVMFuzzer-BufferOverflowOnInput 2>&1 | FileCheck %s --check-prefix=OOB |
| 41 | OOB: AddressSanitizer: heap-buffer-overflow |
| 42 | OOB: is located 0 bytes to the right of 3-byte region |
Kostya Serebryany | aca7696 | 2016-01-16 01:23:12 +0000 | [diff] [blame] | 43 | |
Kostya Serebryany | 1179768 | 2016-10-25 22:30:34 +0000 | [diff] [blame] | 44 | RUN: not LLVMFuzzer-InitializeTest -use_value_profile=1 2>&1 | FileCheck %s |
Kostya Serebryany | 311f27c | 2016-01-19 20:33:57 +0000 | [diff] [blame] | 45 | |
Kostya Serebryany | 3e36ec1 | 2016-09-17 05:04:47 +0000 | [diff] [blame] | 46 | RUN: not LLVMFuzzer-DSOTest 2>&1 | FileCheck %s --check-prefix=DSO |
| 47 | DSO: INFO: Loaded 3 modules |
| 48 | DSO: BINGO |
| 49 | |
Kostya Serebryany | 2f962fe | 2016-12-10 02:45:56 +0000 | [diff] [blame] | 50 | RUN: LLVMFuzzer-SimpleTest -exit_on_src_pos=SimpleTest.cpp:17 2>&1 | FileCheck %s --check-prefix=EXIT_ON_SRC_POS |
| 51 | RUN: LLVMFuzzer-ShrinkControlFlowTest -exit_on_src_pos=ShrinkControlFlowTest.cpp:23 2>&1 | FileCheck %s --check-prefix=EXIT_ON_SRC_POS |
Kostya Serebryany | 5ff481f | 2016-09-27 00:10:20 +0000 | [diff] [blame] | 52 | EXIT_ON_SRC_POS: INFO: found line matching '{{.*}}', exiting. |
| 53 | |
Marcos Pividori | c7ac334 | 2017-02-08 00:03:03 +0000 | [diff] [blame] | 54 | RUN: env ASAN_OPTIONS=strict_string_checks=1 not LLVMFuzzer-StrncmpOOBTest -seed=1 -runs=1000000 2>&1 | FileCheck %s --check-prefix=STRNCMP |
Kostya Serebryany | 2bfff02 | 2016-10-22 00:05:44 +0000 | [diff] [blame] | 55 | STRNCMP: AddressSanitizer: heap-buffer-overflow |
| 56 | STRNCMP-NOT: __sanitizer_weak_hook_strncmp |
| 57 | STRNCMP: in LLVMFuzzerTestOneInput |
Kostya Serebryany | 87a3811 | 2017-01-20 21:34:24 +0000 | [diff] [blame] | 58 | |
Kostya Serebryany | d966791 | 2017-01-21 00:13:50 +0000 | [diff] [blame] | 59 | RUN: not LLVMFuzzer-BogusInitializeTest 2>&1 | FileCheck %s --check-prefix=BOGUS_INITIALIZE |
Kostya Serebryany | 87a3811 | 2017-01-20 21:34:24 +0000 | [diff] [blame] | 60 | BOGUS_INITIALIZE: argv[0] has been modified in LLVMFuzzerInitialize |