blob: cff7d6f74bcd69abfb948a731a40bc8be4df0697 [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 Serebryanyc5575aa2016-03-17 19:59:39 +00005RUN: not LLVMFuzzer-NullDerefTest %S/hi.txt 2>&1 | FileCheck %s --check-prefix=SingleInput
Kostya Serebryanyb91c62b2015-10-16 22:41:47 +00006SingleInput-NOT: Test unit written to ./crash-
Aaron Ballmanef116982015-01-29 16:58:29 +00007
Kostya Serebryanyf1f3f932016-05-26 20:03:02 +00008# only_ascii mode. Will perform some minimal self-validation.
9RUN: LLVMFuzzer-SimpleTest -only_ascii=1 2>&1
10
Kostya Serebryanyb85db172015-10-02 20:47:55 +000011RUN: LLVMFuzzer-SimpleCmpTest -max_total_time=1 2>&1 | FileCheck %s --check-prefix=MaxTotalTime
12MaxTotalTime: Done {{.*}} runs in {{.}} second(s)
13
Alexey Samsonov4800c2d2015-07-21 22:51:55 +000014RUN: not LLVMFuzzer-NullDerefTest 2>&1 | FileCheck %s --check-prefix=NullDerefTest
Kostya Serebryanybd5d1cd2015-10-09 03:57:59 +000015NullDerefTest: Test unit written to ./crash-
16RUN: not LLVMFuzzer-NullDerefTest -artifact_prefix=ZZZ 2>&1 | FileCheck %s --check-prefix=NullDerefTestPrefix
17NullDerefTestPrefix: Test unit written to ZZZcrash-
Kostya Serebryany2d0ef142015-11-25 21:40:46 +000018RUN: not LLVMFuzzer-NullDerefTest -artifact_prefix=ZZZ -exact_artifact_path=FOOBAR 2>&1 | FileCheck %s --check-prefix=NullDerefTestExactPath
19NullDerefTestExactPath: Test unit written to FOOBAR
Kostya Serebryany2c1b33b2015-01-29 23:01:07 +000020
Kostya Serebryany228d5b12016-03-01 22:19:21 +000021RUN: ASAN_OPTIONS=handle_segv=0 not LLVMFuzzer-NullDerefTest 2>&1 | FileCheck %s --check-prefix=LIBFUZZER_OWN_SEGV_HANDLER
22LIBFUZZER_OWN_SEGV_HANDLER: == ERROR: libFuzzer: deadly signal
23LIBFUZZER_OWN_SEGV_HANDLER: SUMMARY: libFuzzer: deadly signal
24LIBFUZZER_OWN_SEGV_HANDLER: Test unit written to ./crash-
25
Kostya Serebryanyff2e6ba2016-05-25 00:15:36 +000026RUN: not LLVMFuzzer-NullDerefOnEmptyTest -print_final_stats=1 2>&1 | FileCheck %s --check-prefix=NULL_DEREF_ON_EMPTY
27NULL_DEREF_ON_EMPTY: stat::number_of_executed_units:
28
Kostya Serebryany65d0a142015-10-02 22:00:32 +000029#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 +000030
Alexey Samsonov4800c2d2015-07-21 22:51:55 +000031RUN: not LLVMFuzzer-CounterTest -use_counters=1 -max_len=6 -seed=1 -timeout=15 2>&1 | FileCheck %s
Kostya Serebryany16d03bd2015-03-30 22:09:51 +000032
Kostya Serebryany27ab2d72015-12-19 02:49:09 +000033RUN: not LLVMFuzzer-CallerCalleeTest -cross_over=0 -max_len=6 -seed=1 -timeout=15 2>&1 | FileCheck %s
Kostya Serebryany152ac7a2016-01-07 01:49:35 +000034# This one is flaky, may actually find the goal even w/o use_indir_calls.
35# 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 +000036
Kostya Serebryanya407dde2015-05-07 00:11:33 +000037
Kostya Serebryany5eab74e2015-11-09 23:17:45 +000038RUN: not LLVMFuzzer-UninstrumentedTest-Uninstrumented 2>&1 | FileCheck %s --check-prefix=UNINSTRUMENTED
39UNINSTRUMENTED: ERROR: __sanitizer_set_death_callback is not defined. Exiting.
Mike Aizatsky8b11f872016-01-06 00:21:22 +000040
41RUN: LLVMFuzzer-SimpleTest -print_new_cov_pcs=1 2>&1 | FileCheck %s --check-prefix=PCS
42PCS:{{^0x[a-f0-9]+}}
43PCS:NEW
44PCS:BINGO
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
52RUN: LLVMFuzzer-SimpleCmpTest -seed=-1 -runs=0 2>&1 | FileCheck %s --check-prefix=CHECK_SEED_MINUS_ONE
53CHECK_SEED_MINUS_ONE: Seed: 4294967295
Kostya Serebryany078e9842016-02-02 02:07:26 +000054
55RUN: not LLVMFuzzer-SimpleTest NONEXISTENT_DIR 2>&1 | FileCheck %s --check-prefix=NONEXISTENT_DIR
56NONEXISTENT_DIR: No such directory: NONEXISTENT_DIR; exiting
Kostya Serebryanybfbe7fc2016-02-02 03:03:47 +000057
58
59RUN: rm -rf %tmp/SINGLE_INPUTS
60RUN: mkdir -p %tmp/SINGLE_INPUTS
61RUN: echo aaa > %tmp/SINGLE_INPUTS/aaa
62RUN: echo bbb > %tmp/SINGLE_INPUTS/bbb
63RUN: LLVMFuzzer-SimpleTest %tmp/SINGLE_INPUTS/aaa %tmp/SINGLE_INPUTS/bbb 2>&1 | FileCheck %s --check-prefix=SINGLE_INPUTS
64RUN: rm -rf %tmp/SINGLE_INPUTS
Kostya Serebryany9d14e4b2016-02-12 02:32:03 +000065SINGLE_INPUTS: LLVMFuzzer-SimpleTest: Running 2 inputs 1 time(s) each.
Kostya Serebryany62895362016-05-13 18:10:33 +000066SINGLE_INPUTS: aaa ...
67SINGLE_INPUTS: bbb ...
Kostya Serebryanybfbe7fc2016-02-02 03:03:47 +000068
Kostya Serebryanyc43b5842016-03-18 01:36:00 +000069RUN: rm -rf %t/SUB1
70RUN: mkdir -p %t/SUB1/SUB2/SUB3
71RUN: echo a > %t/SUB1/a
72RUN: echo b > %t/SUB1/SUB2/b
73RUN: echo c > %t/SUB1/SUB2/SUB3/c
74RUN: LLVMFuzzer-SimpleTest %t/SUB1 -runs=0 2>&1 | FileCheck %s --check-prefix=SUBDIRS
75SUBDIRS: READ units: 3
76RUN: rm -rf %t/SUB1
77
Kostya Serebryany7ec0c562016-02-13 03:25:16 +000078RUN: mkdir -p %t
Kostya Serebryany9d14e4b2016-02-12 02:32:03 +000079RUN: echo abcd > %t/NthRunCrashTest.in
80RUN: LLVMFuzzer-NthRunCrashTest %t/NthRunCrashTest.in
81RUN: LLVMFuzzer-NthRunCrashTest %t/NthRunCrashTest.in -runs=10
82RUN: not LLVMFuzzer-NthRunCrashTest %t/NthRunCrashTest.in -runs=10000 2>&1 | FileCheck %s
83RUN: rm %t/NthRunCrashTest.in
Kostya Serebryany22cc5e22016-02-13 02:29:38 +000084
85RUN: not LLVMFuzzer-CustomMutatorTest 2>&1 | FileCheck %s --check-prefix=LLVMFuzzerCustomMutator
86LLVMFuzzerCustomMutator: In LLVMFuzzerCustomMutator
87LLVMFuzzerCustomMutator: BINGO
Kostya Serebryany66ff0752016-02-26 22:42:23 +000088
89RUN: LLVMFuzzer-SimpleTest -seed=1 -runs=77 -print_final_stats=1 2>&1 | FileCheck %s --check-prefix=FINAL_STATS
90FINAL_STATS: stat::number_of_executed_units: 77
91FINAL_STATS: stat::average_exec_per_sec: 0
92FINAL_STATS: stat::new_units_added:
93FINAL_STATS: stat::slowest_unit_time_sec: 0
94FINAL_STATS: stat::peak_rss_mb:
95
Kostya Serebryanybaf7fd02016-05-04 20:44:50 +000096RUN: LLVMFuzzer-SimpleTest %S/dict1.txt -runs=33 -print_final_stats=1 2>&1 | FileCheck %s --check-prefix=FINAL_STATS1
97FINAL_STATS1: stat::number_of_executed_units: 33
98FINAL_STATS1: stat::peak_rss_mb:
99
Kostya Serebryany49e40902016-03-18 20:58:29 +0000100RUN: LLVMFuzzer-SpamyTest -runs=1 2>&1 | FileCheck %s --check-prefix=FD_MASK_0
101RUN: LLVMFuzzer-SpamyTest -runs=1 -close_fd_mask=0 2>&1 | FileCheck %s --check-prefix=FD_MASK_0
102RUN: LLVMFuzzer-SpamyTest -runs=1 -close_fd_mask=1 2>&1 | FileCheck %s --check-prefix=FD_MASK_1
103RUN: LLVMFuzzer-SpamyTest -runs=1 -close_fd_mask=2 2>&1 | FileCheck %s --check-prefix=FD_MASK_2
104RUN: LLVMFuzzer-SpamyTest -runs=1 -close_fd_mask=3 2>&1 | FileCheck %s --check-prefix=FD_MASK_3
105FD_MASK_0: PRINTF_STDOUT
106FD_MASK_0: PRINTF_STDERR
107FD_MASK_0: STREAM_COUT
108FD_MASK_0: STREAM_CERR
109FD_MASK_0: INITED
110
111FD_MASK_1-NOT: PRINTF_STDOUT
112FD_MASK_1: PRINTF_STDERR
113FD_MASK_1-NOT: STREAM_COUT
114FD_MASK_1: STREAM_CERR
115FD_MASK_1: INITED
116
117FD_MASK_2: PRINTF_STDOUT
118FD_MASK_2-NOT: PRINTF_STDERR
119FD_MASK_2: STREAM_COUT
120FD_MASK_2-NOTE: STREAM_CERR
121FD_MASK_2: INITED
122
123FD_MASK_3-NOT: PRINTF_STDOUT
124FD_MASK_3-NOT: PRINTF_STDERR
125FD_MASK_3-NOT: STREAM_COUT
126FD_MASK_3-NOT: STREAM_CERR
127FD_MASK_3: INITED
128
Kostya Serebryanyb60397f2016-04-15 21:56:29 +0000129RUN: LLVMFuzzer-SimpleTest -runs=10 --max_len=100 2>&1 | FileCheck %s --check-prefix=DASH_DASH
130DASH_DASH: WARNING: did you mean '-max_len=100' (single dash)?
Kostya Serebryany09087bb2016-04-18 21:14:11 +0000131DASH_DASH: INFO: A corpus is not provided, starting from an empty corpus