1 1.1 kamil //===- FuzzerFlags.def - Run-time flags -------------------------*- C++ -* ===// 2 1.1 kamil // 3 1.1 kamil // The LLVM Compiler Infrastructure 4 1.1 kamil // 5 1.1 kamil // This file is distributed under the University of Illinois Open Source 6 1.1 kamil // License. See LICENSE.TXT for details. 7 1.1 kamil // 8 1.1 kamil //===----------------------------------------------------------------------===// 9 1.1 kamil // Flags. FUZZER_FLAG_INT/FUZZER_FLAG_STRING macros should be defined at the 10 1.1 kamil // point of inclusion. We are not using any flag parsing library for better 11 1.1 kamil // portability and independence. 12 1.1 kamil //===----------------------------------------------------------------------===// 13 1.1 kamil FUZZER_FLAG_INT(verbosity, 1, "Verbosity level.") 14 1.1 kamil FUZZER_FLAG_UNSIGNED(seed, 0, "Random seed. If 0, seed is generated.") 15 1.1 kamil FUZZER_FLAG_INT(runs, -1, 16 1.1 kamil "Number of individual test runs (-1 for infinite runs).") 17 1.1 kamil FUZZER_FLAG_INT(max_len, 0, "Maximum length of the test input. " 18 1.1 kamil "If 0, libFuzzer tries to guess a good value based on the corpus " 19 1.1 kamil "and reports it. ") 20 1.1 kamil FUZZER_FLAG_INT(len_control, 100, "Try generating small inputs first, " 21 1.1 kamil "then try larger inputs over time. Specifies the rate at which the length " 22 1.1 kamil "limit is increased (smaller == faster). If 0, immediately try inputs with " 23 1.1 kamil "size up to max_len.") 24 1.1 kamil FUZZER_FLAG_INT(cross_over, 1, "If 1, cross over inputs.") 25 1.1 kamil FUZZER_FLAG_INT(mutate_depth, 5, 26 1.1 kamil "Apply this number of consecutive mutations to each input.") 27 1.1 kamil FUZZER_FLAG_INT(reduce_depth, 0, "Experimental/internal. " 28 1.1 kamil "Reduce depth if mutations lose unique features") 29 1.1 kamil FUZZER_FLAG_INT(shuffle, 1, "Shuffle inputs at startup") 30 1.1 kamil FUZZER_FLAG_INT(prefer_small, 1, 31 1.1 kamil "If 1, always prefer smaller inputs during the corpus shuffle.") 32 1.1 kamil FUZZER_FLAG_INT( 33 1.1 kamil timeout, 1200, 34 1.1 kamil "Timeout in seconds (if positive). " 35 1.1 kamil "If one unit runs more than this number of seconds the process will abort.") 36 1.1 kamil FUZZER_FLAG_INT(error_exitcode, 77, "When libFuzzer itself reports a bug " 37 1.1 kamil "this exit code will be used.") 38 1.1 kamil FUZZER_FLAG_INT(timeout_exitcode, 77, "When libFuzzer reports a timeout " 39 1.1 kamil "this exit code will be used.") 40 1.1 kamil FUZZER_FLAG_INT(max_total_time, 0, "If positive, indicates the maximal total " 41 1.1 kamil "time in seconds to run the fuzzer.") 42 1.1 kamil FUZZER_FLAG_INT(help, 0, "Print help.") 43 1.1 kamil FUZZER_FLAG_INT(merge, 0, "If 1, the 2-nd, 3-rd, etc corpora will be " 44 1.1 kamil "merged into the 1-st corpus. Only interesting units will be taken. " 45 1.1 kamil "This flag can be used to minimize a corpus.") 46 1.1 kamil FUZZER_FLAG_STRING(merge_inner, "internal flag") 47 1.1 kamil FUZZER_FLAG_STRING(merge_control_file, 48 1.1 kamil "Specify a control file used for the merge process. " 49 1.1 kamil "If a merge process gets killed it tries to leave this file " 50 1.1 kamil "in a state suitable for resuming the merge. " 51 1.1 kamil "By default a temporary file will be used.") 52 1.1 kamil FUZZER_FLAG_STRING(save_coverage_summary, "Experimental:" 53 1.1 kamil " save coverage summary to a given file." 54 1.1 kamil " Used with -merge=1") 55 1.1 kamil FUZZER_FLAG_STRING(load_coverage_summary, "Experimental:" 56 1.1 kamil " load coverage summary from a given file." 57 1.1 kamil " Treat this coverage as belonging to the first corpus. " 58 1.1 kamil " Used with -merge=1") 59 1.1 kamil FUZZER_FLAG_INT(minimize_crash, 0, "If 1, minimizes the provided" 60 1.1 kamil " crash input. Use with -runs=N or -max_total_time=N to limit " 61 1.1 kamil "the number attempts." 62 1.1 kamil " Use with -exact_artifact_path to specify the output." 63 1.1 kamil " Combine with ASAN_OPTIONS=dedup_token_length=3 (or similar) to ensure that" 64 1.1 kamil " the minimized input triggers the same crash." 65 1.1 kamil ) 66 1.1 kamil FUZZER_FLAG_INT(cleanse_crash, 0, "If 1, tries to cleanse the provided" 67 1.1 kamil " crash input to make it contain fewer original bytes." 68 1.1 kamil " Use with -exact_artifact_path to specify the output." 69 1.1 kamil ) 70 1.1 kamil FUZZER_FLAG_INT(minimize_crash_internal_step, 0, "internal flag") 71 1.1 kamil FUZZER_FLAG_INT(use_counters, 1, "Use coverage counters") 72 1.1 kamil FUZZER_FLAG_INT(use_memmem, 1, 73 1.1 kamil "Use hints from intercepting memmem, strstr, etc") 74 1.1 kamil FUZZER_FLAG_INT(use_value_profile, 0, 75 1.1 kamil "Experimental. Use value profile to guide fuzzing.") 76 1.1 kamil FUZZER_FLAG_INT(use_cmp, 1, "Use CMP traces to guide mutations") 77 1.1 kamil FUZZER_FLAG_INT(shrink, 0, "Experimental. Try to shrink corpus inputs.") 78 1.1 kamil FUZZER_FLAG_INT(reduce_inputs, 1, 79 1.1 kamil "Try to reduce the size of inputs while preserving their full feature sets") 80 1.1 kamil FUZZER_FLAG_UNSIGNED(jobs, 0, "Number of jobs to run. If jobs >= 1 we spawn" 81 1.1 kamil " this number of jobs in separate worker processes" 82 1.1 kamil " with stdout/stderr redirected to fuzz-JOB.log.") 83 1.1 kamil FUZZER_FLAG_UNSIGNED(workers, 0, 84 1.1 kamil "Number of simultaneous worker processes to run the jobs." 85 1.1 kamil " If zero, \"min(jobs,NumberOfCpuCores()/2)\" is used.") 86 1.1 kamil FUZZER_FLAG_INT(reload, 1, 87 1.1 kamil "Reload the main corpus every <N> seconds to get new units" 88 1.1 kamil " discovered by other processes. If 0, disabled") 89 1.1 kamil FUZZER_FLAG_INT(report_slow_units, 10, 90 1.1 kamil "Report slowest units if they run for more than this number of seconds.") 91 1.1 kamil FUZZER_FLAG_INT(only_ascii, 0, 92 1.1 kamil "If 1, generate only ASCII (isprint+isspace) inputs.") 93 1.1 kamil FUZZER_FLAG_STRING(dict, "Experimental. Use the dictionary file.") 94 1.1 kamil FUZZER_FLAG_STRING(artifact_prefix, "Write fuzzing artifacts (crash, " 95 1.1 kamil "timeout, or slow inputs) as " 96 1.1 kamil "$(artifact_prefix)file") 97 1.1 kamil FUZZER_FLAG_STRING(exact_artifact_path, 98 1.1 kamil "Write the single artifact on failure (crash, timeout) " 99 1.1 kamil "as $(exact_artifact_path). This overrides -artifact_prefix " 100 1.1 kamil "and will not use checksum in the file name. Do not " 101 1.1 kamil "use the same path for several parallel processes.") 102 1.1 kamil FUZZER_FLAG_INT(print_pcs, 0, "If 1, print out newly covered PCs.") 103 1.1 kamil FUZZER_FLAG_INT(print_funcs, 2, "If >=1, print out at most this number of " 104 1.1 kamil "newly covered functions.") 105 1.1 kamil FUZZER_FLAG_INT(print_final_stats, 0, "If 1, print statistics at exit.") 106 1.1 kamil FUZZER_FLAG_INT(print_corpus_stats, 0, 107 1.1 kamil "If 1, print statistics on corpus elements at exit.") 108 1.1 kamil FUZZER_FLAG_INT(print_coverage, 0, "If 1, print coverage information as text" 109 1.1 kamil " at exit.") 110 1.1 kamil FUZZER_FLAG_INT(dump_coverage, 0, "Deprecated." 111 1.1 kamil " If 1, dump coverage information as a" 112 1.1 kamil " .sancov file at exit.") 113 1.1 kamil FUZZER_FLAG_INT(handle_unstable, 0, "Experimental." 114 1.1 kamil " Executes every input 3 times in total if a unique feature" 115 1.1 kamil " is found during the first execution." 116 1.1 kamil " If 1, we only use the minimum hit count from the 3 runs" 117 1.1 kamil " to determine whether an input is interesting." 118 1.1 kamil " If 2, we disregard edges that are found unstable for" 119 1.1 kamil " feature collection.") 120 1.1 kamil FUZZER_FLAG_INT(print_unstable_stats, 0, "Experimental." 121 1.1 kamil " If 1, print unstable statistics at exit.") 122 1.1 kamil FUZZER_FLAG_INT(handle_segv, 1, "If 1, try to intercept SIGSEGV.") 123 1.1 kamil FUZZER_FLAG_INT(handle_bus, 1, "If 1, try to intercept SIGBUS.") 124 1.1 kamil FUZZER_FLAG_INT(handle_abrt, 1, "If 1, try to intercept SIGABRT.") 125 1.1 kamil FUZZER_FLAG_INT(handle_ill, 1, "If 1, try to intercept SIGILL.") 126 1.1 kamil FUZZER_FLAG_INT(handle_fpe, 1, "If 1, try to intercept SIGFPE.") 127 1.1 kamil FUZZER_FLAG_INT(handle_int, 1, "If 1, try to intercept SIGINT.") 128 1.1 kamil FUZZER_FLAG_INT(handle_term, 1, "If 1, try to intercept SIGTERM.") 129 1.1 kamil FUZZER_FLAG_INT(handle_xfsz, 1, "If 1, try to intercept SIGXFSZ.") 130 1.1 kamil FUZZER_FLAG_INT(handle_usr1, 1, "If 1, try to intercept SIGUSR1.") 131 1.1 kamil FUZZER_FLAG_INT(handle_usr2, 1, "If 1, try to intercept SIGUSR2.") 132 1.1 kamil FUZZER_FLAG_INT(close_fd_mask, 0, "If 1, close stdout at startup; " 133 1.1 kamil "if 2, close stderr; if 3, close both. " 134 1.1 kamil "Be careful, this will also close e.g. stderr of asan.") 135 1.1 kamil FUZZER_FLAG_INT(detect_leaks, 1, "If 1, and if LeakSanitizer is enabled " 136 1.1 kamil "try to detect memory leaks during fuzzing (i.e. not only at shut down).") 137 1.1 kamil FUZZER_FLAG_INT(purge_allocator_interval, 1, "Purge allocator caches and " 138 1.1 kamil "quarantines every <N> seconds. When rss_limit_mb is specified (>0), " 139 1.1 kamil "purging starts when RSS exceeds 50% of rss_limit_mb. Pass " 140 1.1 kamil "purge_allocator_interval=-1 to disable this functionality.") 141 1.1 kamil FUZZER_FLAG_INT(trace_malloc, 0, "If >= 1 will print all mallocs/frees. " 142 1.1 kamil "If >= 2 will also print stack traces.") 143 1.1 kamil FUZZER_FLAG_INT(rss_limit_mb, 2048, "If non-zero, the fuzzer will exit upon" 144 1.1 kamil "reaching this limit of RSS memory usage.") 145 1.1 kamil FUZZER_FLAG_INT(malloc_limit_mb, 0, "If non-zero, the fuzzer will exit " 146 1.1 kamil "if the target tries to allocate this number of Mb with one malloc call. " 147 1.1 kamil "If zero (default) same limit as rss_limit_mb is applied.") 148 1.1 kamil FUZZER_FLAG_STRING(exit_on_src_pos, "Exit if a newly found PC originates" 149 1.1 kamil " from the given source location. Example: -exit_on_src_pos=foo.cc:123. " 150 1.1 kamil "Used primarily for testing libFuzzer itself.") 151 1.1 kamil FUZZER_FLAG_STRING(exit_on_item, "Exit if an item with a given sha1 sum" 152 1.1 kamil " was added to the corpus. " 153 1.1 kamil "Used primarily for testing libFuzzer itself.") 154 1.1 kamil FUZZER_FLAG_INT(ignore_remaining_args, 0, "If 1, ignore all arguments passed " 155 1.1 kamil "after this one. Useful for fuzzers that need to do their own " 156 1.1 kamil "argument parsing.") 157 1.1 kamil FUZZER_FLAG_STRING(focus_function, "Experimental. " 158 1.1 kamil "Fuzzing will focus on inputs that trigger calls to this function") 159 1.1 kamil 160 1.1 kamil FUZZER_DEPRECATED_FLAG(run_equivalence_server) 161 1.1 kamil FUZZER_DEPRECATED_FLAG(use_equivalence_server) 162 1.1 kamil FUZZER_FLAG_INT(analyze_dict, 0, "Experimental") 163 1.1 kamil FUZZER_DEPRECATED_FLAG(use_clang_coverage) 164 1.1 kamil FUZZER_FLAG_STRING(data_flow_trace, "Experimental: use the data flow trace") 165