blob: 98139c09d6f2dde8e9a6d6004f1ac699bbef8734 [file] [log] [blame]
Kostya Serebryanya407dde2015-05-07 00:11:33 +00001CHECK: BINGO
Kostya Serebryanybf656442015-12-19 03:35:30 +00002Done1000000: Done 1000000 runs in
Kostya Serebryanya407dde2015-05-07 00:11:33 +00003
Alexey Samsonov4800c2d2015-07-21 22:51:55 +00004RUN: LLVMFuzzer-SimpleTest 2>&1 | FileCheck %s
Kostya Serebryanya00b2432016-09-14 02:13:06 +00005RUN: LLVMFuzzer-SimpleTest-TracePC 2>&1 | FileCheck %s
Aaron Ballmanef116982015-01-29 16:58:29 +00006
Kostya Serebryanyf1f3f932016-05-26 20:03:02 +00007# only_ascii mode. Will perform some minimal self-validation.
8RUN: LLVMFuzzer-SimpleTest -only_ascii=1 2>&1
9
Kostya Serebryanyb85db172015-10-02 20:47:55 +000010RUN: LLVMFuzzer-SimpleCmpTest -max_total_time=1 2>&1 | FileCheck %s --check-prefix=MaxTotalTime
11MaxTotalTime: Done {{.*}} runs in {{.}} second(s)
12
Kostya Serebryany470d0442016-05-27 21:46:22 +000013RUN: not LLVMFuzzer-NullDerefTest 2>&1 | FileCheck %s --check-prefix=NullDerefTest
14RUN: not LLVMFuzzer-NullDerefTest -close_fd_mask=3 2>&1 | FileCheck %s --check-prefix=NullDerefTest
15NullDerefTest: ERROR: AddressSanitizer: SEGV on unknown address
Kostya Serebryanybd5d1cd2015-10-09 03:57:59 +000016NullDerefTest: Test unit written to ./crash-
17RUN: not LLVMFuzzer-NullDerefTest -artifact_prefix=ZZZ 2>&1 | FileCheck %s --check-prefix=NullDerefTestPrefix
18NullDerefTestPrefix: Test unit written to ZZZcrash-
Kostya Serebryany2d0ef142015-11-25 21:40:46 +000019RUN: not LLVMFuzzer-NullDerefTest -artifact_prefix=ZZZ -exact_artifact_path=FOOBAR 2>&1 | FileCheck %s --check-prefix=NullDerefTestExactPath
20NullDerefTestExactPath: Test unit written to FOOBAR
Kostya Serebryany2c1b33b2015-01-29 23:01:07 +000021
Kostya Serebryanyff2e6ba2016-05-25 00:15:36 +000022RUN: not LLVMFuzzer-NullDerefOnEmptyTest -print_final_stats=1 2>&1 | FileCheck %s --check-prefix=NULL_DEREF_ON_EMPTY
23NULL_DEREF_ON_EMPTY: stat::number_of_executed_units:
24
Kostya Serebryany65d0a142015-10-02 22:00:32 +000025#not LLVMFuzzer-FullCoverageSetTest -timeout=15 -seed=1 -mutate_depth=2 -use_full_coverage_set=1 2>&1 | FileCheck %s
Kostya Serebryany2e3622b2015-02-20 03:02:37 +000026
Kostya Serebryanya5277d52016-09-15 01:30:18 +000027RUN: not LLVMFuzzer-CounterTest -use_counters=1 -max_len=6 -seed=1 -timeout=15 2>&1 | FileCheck %s --check-prefix=COUNTERS
28RUN: not LLVMFuzzer-CounterTest-TracePC -use_counters=1 -max_len=6 -seed=1 -timeout=15 2>&1 | FileCheck %s --check-prefix=COUNTERS
29
30COUNTERS: INITED {{.*}} bits:
31COUNTERS: NEW {{.*}} bits: {{[1-9]*}}
32COUNTERS: NEW {{.*}} bits: {{[1-9]*}}
33COUNTERS: BINGO
Kostya Serebryany16d03bd2015-03-30 22:09:51 +000034
Kostya Serebryany09845172016-09-15 22:16:15 +000035RUN: not LLVMFuzzer-CallerCalleeTest -cross_over=0 -max_len=6 -seed=1 -max_total_time=15 2>&1 | FileCheck %s
36RUN: not LLVMFuzzer-CallerCalleeTest-TracePC -cross_over=0 -max_len=6 -seed=1 -max_total_time=15 2>&1 | FileCheck %s
Kostya Serebryany152ac7a2016-01-07 01:49:35 +000037# This one is flaky, may actually find the goal even w/o use_indir_calls.
38# LLVMFuzzer-CallerCalleeTest -use_indir_calls=0 -cross_over=0 -max_len=6 -seed=1 -runs=1000000 2>&1 | FileCheck %s --check-prefix=Done1000000
Kostya Serebryany2e9fca92015-10-22 23:55:39 +000039
Kostya Serebryany5eab74e2015-11-09 23:17:45 +000040RUN: not LLVMFuzzer-UninstrumentedTest-Uninstrumented 2>&1 | FileCheck %s --check-prefix=UNINSTRUMENTED
41UNINSTRUMENTED: ERROR: __sanitizer_set_death_callback is not defined. Exiting.
Mike Aizatsky8b11f872016-01-06 00:21:22 +000042
Kostya Serebryany76f42522016-06-08 01:46:13 +000043RUN: not LLVMFuzzer-UninstrumentedTest-NoCoverage 2>&1 | FileCheck %s --check-prefix=NO_COVERAGE
44NO_COVERAGE: ERROR: no interesting inputs were found. Is the code instrumented for coverage? Exiting
45
Kostya Serebryanyd50a3ee2016-01-13 23:02:30 +000046RUN: not LLVMFuzzer-BufferOverflowOnInput 2>&1 | FileCheck %s --check-prefix=OOB
47OOB: AddressSanitizer: heap-buffer-overflow
48OOB: is located 0 bytes to the right of 3-byte region
Kostya Serebryanyaca76962016-01-16 01:23:12 +000049
50RUN: not LLVMFuzzer-InitializeTest 2>&1 | FileCheck %s
Kostya Serebryany311f27c2016-01-19 20:33:57 +000051
Kostya Serebryany3e36ec12016-09-17 05:04:47 +000052RUN: not LLVMFuzzer-DSOTest 2>&1 | FileCheck %s --check-prefix=DSO
53DSO: INFO: Loaded 3 modules
54DSO: BINGO
55
Kostya Serebryany5ff481f2016-09-27 00:10:20 +000056RUN: LLVMFuzzer-SimpleTest-TracePC -exit_on_src_pos=SimpleTest.cpp:17 2>&1 | FileCheck %s --check-prefix=EXIT_ON_SRC_POS
Kostya Serebryany379359c2016-10-05 01:09:40 +000057RUN: LLVMFuzzer-ShrinkControlFlowTest-TracePC -exit_on_src_pos=ShrinkControlFlowTest.cpp:23 2>&1 | FileCheck %s --check-prefix=EXIT_ON_SRC_POS
Kostya Serebryany5ff481f2016-09-27 00:10:20 +000058EXIT_ON_SRC_POS: INFO: found line matching '{{.*}}', exiting.
59