Kostya Serebryany | 016852c | 2015-02-19 18:45:37 +0000 | [diff] [blame] | 1 | //===- FuzzerDriver.cpp - FuzzerDriver function and flags -----------------===// |
| 2 | // |
| 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
| 5 | // This file is distributed under the University of Illinois Open Source |
| 6 | // License. See LICENSE.TXT for details. |
| 7 | // |
| 8 | //===----------------------------------------------------------------------===// |
| 9 | // FuzzerDriver and flag parsing. |
| 10 | //===----------------------------------------------------------------------===// |
| 11 | |
| 12 | #include "FuzzerInterface.h" |
| 13 | #include "FuzzerInternal.h" |
| 14 | |
| 15 | #include <cstring> |
Kostya Serebryany | 83fd486 | 2015-05-11 21:31:51 +0000 | [diff] [blame] | 16 | #include <chrono> |
Kostya Serebryany | 016852c | 2015-02-19 18:45:37 +0000 | [diff] [blame] | 17 | #include <unistd.h> |
Kostya Serebryany | 016852c | 2015-02-19 18:45:37 +0000 | [diff] [blame] | 18 | #include <thread> |
| 19 | #include <atomic> |
| 20 | #include <mutex> |
Kostya Serebryany | 52a788e | 2015-03-31 20:13:20 +0000 | [diff] [blame] | 21 | #include <string> |
| 22 | #include <sstream> |
| 23 | #include <algorithm> |
| 24 | #include <iterator> |
Kostya Serebryany | 016852c | 2015-02-19 18:45:37 +0000 | [diff] [blame] | 25 | |
Kostya Serebryany | 4282d30 | 2016-01-15 00:17:37 +0000 | [diff] [blame] | 26 | // This function should be present in the libFuzzer so that the client |
| 27 | // binary can test for its existence. |
| 28 | extern "C" __attribute__((used)) void __libfuzzer_is_present() {} |
| 29 | |
Kostya Serebryany | 016852c | 2015-02-19 18:45:37 +0000 | [diff] [blame] | 30 | namespace fuzzer { |
| 31 | |
| 32 | // Program arguments. |
| 33 | struct FlagDescription { |
| 34 | const char *Name; |
| 35 | const char *Description; |
| 36 | int Default; |
Kostya Serebryany | 52a788e | 2015-03-31 20:13:20 +0000 | [diff] [blame] | 37 | int *IntFlag; |
| 38 | const char **StrFlag; |
Mike Aizatsky | a1a5c69 | 2015-12-10 20:41:53 +0000 | [diff] [blame] | 39 | unsigned int *UIntFlag; |
Kostya Serebryany | 016852c | 2015-02-19 18:45:37 +0000 | [diff] [blame] | 40 | }; |
| 41 | |
| 42 | struct { |
Kostya Serebryany | 52a788e | 2015-03-31 20:13:20 +0000 | [diff] [blame] | 43 | #define FUZZER_FLAG_INT(Name, Default, Description) int Name; |
Mike Aizatsky | a1a5c69 | 2015-12-10 20:41:53 +0000 | [diff] [blame] | 44 | #define FUZZER_FLAG_UNSIGNED(Name, Default, Description) unsigned int Name; |
Kostya Serebryany | 52a788e | 2015-03-31 20:13:20 +0000 | [diff] [blame] | 45 | #define FUZZER_FLAG_STRING(Name, Description) const char *Name; |
Kostya Serebryany | 016852c | 2015-02-19 18:45:37 +0000 | [diff] [blame] | 46 | #include "FuzzerFlags.def" |
Kostya Serebryany | 52a788e | 2015-03-31 20:13:20 +0000 | [diff] [blame] | 47 | #undef FUZZER_FLAG_INT |
Mike Aizatsky | a1a5c69 | 2015-12-10 20:41:53 +0000 | [diff] [blame] | 48 | #undef FUZZER_FLAG_UNSIGNED |
Kostya Serebryany | 52a788e | 2015-03-31 20:13:20 +0000 | [diff] [blame] | 49 | #undef FUZZER_FLAG_STRING |
Kostya Serebryany | 016852c | 2015-02-19 18:45:37 +0000 | [diff] [blame] | 50 | } Flags; |
| 51 | |
Craig Topper | 2626094 | 2015-10-18 05:15:34 +0000 | [diff] [blame] | 52 | static const FlagDescription FlagDescriptions [] { |
Kostya Serebryany | 52a788e | 2015-03-31 20:13:20 +0000 | [diff] [blame] | 53 | #define FUZZER_FLAG_INT(Name, Default, Description) \ |
Mike Aizatsky | a1a5c69 | 2015-12-10 20:41:53 +0000 | [diff] [blame] | 54 | {#Name, Description, Default, &Flags.Name, nullptr, nullptr}, |
| 55 | #define FUZZER_FLAG_UNSIGNED(Name, Default, Description) \ |
| 56 | {#Name, Description, static_cast<int>(Default), \ |
| 57 | nullptr, nullptr, &Flags.Name}, |
Kostya Serebryany | 52a788e | 2015-03-31 20:13:20 +0000 | [diff] [blame] | 58 | #define FUZZER_FLAG_STRING(Name, Description) \ |
Mike Aizatsky | a1a5c69 | 2015-12-10 20:41:53 +0000 | [diff] [blame] | 59 | {#Name, Description, 0, nullptr, &Flags.Name, nullptr}, |
Kostya Serebryany | 016852c | 2015-02-19 18:45:37 +0000 | [diff] [blame] | 60 | #include "FuzzerFlags.def" |
Kostya Serebryany | 52a788e | 2015-03-31 20:13:20 +0000 | [diff] [blame] | 61 | #undef FUZZER_FLAG_INT |
Mike Aizatsky | a1a5c69 | 2015-12-10 20:41:53 +0000 | [diff] [blame] | 62 | #undef FUZZER_FLAG_UNSIGNED |
Kostya Serebryany | 52a788e | 2015-03-31 20:13:20 +0000 | [diff] [blame] | 63 | #undef FUZZER_FLAG_STRING |
Kostya Serebryany | 016852c | 2015-02-19 18:45:37 +0000 | [diff] [blame] | 64 | }; |
| 65 | |
| 66 | static const size_t kNumFlags = |
| 67 | sizeof(FlagDescriptions) / sizeof(FlagDescriptions[0]); |
| 68 | |
Kostya Serebryany | a938bcb | 2015-09-10 16:57:57 +0000 | [diff] [blame] | 69 | static std::vector<std::string> *Inputs; |
| 70 | static std::string *ProgName; |
Kostya Serebryany | 016852c | 2015-02-19 18:45:37 +0000 | [diff] [blame] | 71 | |
| 72 | static void PrintHelp() { |
Kostya Serebryany | 20e9bcb | 2015-05-23 01:07:46 +0000 | [diff] [blame] | 73 | Printf("Usage: %s [-flag1=val1 [-flag2=val2 ...] ] [dir1 [dir2 ...] ]\n", |
Kostya Serebryany | a938bcb | 2015-09-10 16:57:57 +0000 | [diff] [blame] | 74 | ProgName->c_str()); |
Kostya Serebryany | 20e9bcb | 2015-05-23 01:07:46 +0000 | [diff] [blame] | 75 | Printf("\nFlags: (strictly in form -flag=value)\n"); |
Kostya Serebryany | 016852c | 2015-02-19 18:45:37 +0000 | [diff] [blame] | 76 | size_t MaxFlagLen = 0; |
| 77 | for (size_t F = 0; F < kNumFlags; F++) |
| 78 | MaxFlagLen = std::max(strlen(FlagDescriptions[F].Name), MaxFlagLen); |
| 79 | |
| 80 | for (size_t F = 0; F < kNumFlags; F++) { |
| 81 | const auto &D = FlagDescriptions[F]; |
Kostya Serebryany | 20e9bcb | 2015-05-23 01:07:46 +0000 | [diff] [blame] | 82 | Printf(" %s", D.Name); |
Kostya Serebryany | 016852c | 2015-02-19 18:45:37 +0000 | [diff] [blame] | 83 | for (size_t i = 0, n = MaxFlagLen - strlen(D.Name); i < n; i++) |
Kostya Serebryany | 20e9bcb | 2015-05-23 01:07:46 +0000 | [diff] [blame] | 84 | Printf(" "); |
| 85 | Printf("\t"); |
| 86 | Printf("%d\t%s\n", D.Default, D.Description); |
Kostya Serebryany | 016852c | 2015-02-19 18:45:37 +0000 | [diff] [blame] | 87 | } |
Kostya Serebryany | 20e9bcb | 2015-05-23 01:07:46 +0000 | [diff] [blame] | 88 | Printf("\nFlags starting with '--' will be ignored and " |
| 89 | "will be passed verbatim to subprocesses.\n"); |
Kostya Serebryany | 016852c | 2015-02-19 18:45:37 +0000 | [diff] [blame] | 90 | } |
| 91 | |
| 92 | static const char *FlagValue(const char *Param, const char *Name) { |
| 93 | size_t Len = strlen(Name); |
| 94 | if (Param[0] == '-' && strstr(Param + 1, Name) == Param + 1 && |
| 95 | Param[Len + 1] == '=') |
| 96 | return &Param[Len + 2]; |
| 97 | return nullptr; |
| 98 | } |
| 99 | |
Kostya Serebryany | 4282d30 | 2016-01-15 00:17:37 +0000 | [diff] [blame] | 100 | // Avoid calling stol as it triggers a bug in clang/glibc build. |
| 101 | static long MyStol(const char *Str) { |
| 102 | long Res = 0; |
Kostya Serebryany | 311f27c | 2016-01-19 20:33:57 +0000 | [diff] [blame] | 103 | long Sign = 1; |
| 104 | if (*Str == '-') { |
| 105 | Str++; |
| 106 | Sign = -1; |
| 107 | } |
Kostya Serebryany | 4282d30 | 2016-01-15 00:17:37 +0000 | [diff] [blame] | 108 | for (size_t i = 0; Str[i]; i++) { |
| 109 | char Ch = Str[i]; |
| 110 | if (Ch < '0' || Ch > '9') |
| 111 | return Res; |
| 112 | Res = Res * 10 + (Ch - '0'); |
| 113 | } |
Kostya Serebryany | 311f27c | 2016-01-19 20:33:57 +0000 | [diff] [blame] | 114 | return Res * Sign; |
Kostya Serebryany | 4282d30 | 2016-01-15 00:17:37 +0000 | [diff] [blame] | 115 | } |
| 116 | |
Kostya Serebryany | 016852c | 2015-02-19 18:45:37 +0000 | [diff] [blame] | 117 | static bool ParseOneFlag(const char *Param) { |
| 118 | if (Param[0] != '-') return false; |
Kostya Serebryany | 71e0feb | 2015-05-21 20:39:13 +0000 | [diff] [blame] | 119 | if (Param[1] == '-') { |
| 120 | static bool PrintedWarning = false; |
| 121 | if (!PrintedWarning) { |
| 122 | PrintedWarning = true; |
Kostya Serebryany | 20e9bcb | 2015-05-23 01:07:46 +0000 | [diff] [blame] | 123 | Printf("WARNING: libFuzzer ignores flags that start with '--'\n"); |
Kostya Serebryany | 71e0feb | 2015-05-21 20:39:13 +0000 | [diff] [blame] | 124 | } |
| 125 | return true; |
| 126 | } |
Kostya Serebryany | 016852c | 2015-02-19 18:45:37 +0000 | [diff] [blame] | 127 | for (size_t F = 0; F < kNumFlags; F++) { |
| 128 | const char *Name = FlagDescriptions[F].Name; |
| 129 | const char *Str = FlagValue(Param, Name); |
| 130 | if (Str) { |
Kostya Serebryany | 52a788e | 2015-03-31 20:13:20 +0000 | [diff] [blame] | 131 | if (FlagDescriptions[F].IntFlag) { |
Kostya Serebryany | 4282d30 | 2016-01-15 00:17:37 +0000 | [diff] [blame] | 132 | int Val = MyStol(Str); |
Kostya Serebryany | 52a788e | 2015-03-31 20:13:20 +0000 | [diff] [blame] | 133 | *FlagDescriptions[F].IntFlag = Val; |
| 134 | if (Flags.verbosity >= 2) |
Kostya Serebryany | 20e9bcb | 2015-05-23 01:07:46 +0000 | [diff] [blame] | 135 | Printf("Flag: %s %d\n", Name, Val);; |
Kostya Serebryany | 52a788e | 2015-03-31 20:13:20 +0000 | [diff] [blame] | 136 | return true; |
Mike Aizatsky | a1a5c69 | 2015-12-10 20:41:53 +0000 | [diff] [blame] | 137 | } else if (FlagDescriptions[F].UIntFlag) { |
| 138 | unsigned int Val = std::stoul(Str); |
| 139 | *FlagDescriptions[F].UIntFlag = Val; |
| 140 | if (Flags.verbosity >= 2) |
| 141 | Printf("Flag: %s %u\n", Name, Val); |
| 142 | return true; |
Kostya Serebryany | 52a788e | 2015-03-31 20:13:20 +0000 | [diff] [blame] | 143 | } else if (FlagDescriptions[F].StrFlag) { |
| 144 | *FlagDescriptions[F].StrFlag = Str; |
| 145 | if (Flags.verbosity >= 2) |
Kostya Serebryany | 20e9bcb | 2015-05-23 01:07:46 +0000 | [diff] [blame] | 146 | Printf("Flag: %s %s\n", Name, Str); |
Kostya Serebryany | 52a788e | 2015-03-31 20:13:20 +0000 | [diff] [blame] | 147 | return true; |
| 148 | } |
Kostya Serebryany | 016852c | 2015-02-19 18:45:37 +0000 | [diff] [blame] | 149 | } |
| 150 | } |
| 151 | PrintHelp(); |
| 152 | exit(1); |
| 153 | } |
| 154 | |
| 155 | // We don't use any library to minimize dependencies. |
Kostya Serebryany | a938bcb | 2015-09-10 16:57:57 +0000 | [diff] [blame] | 156 | static void ParseFlags(const std::vector<std::string> &Args) { |
Kostya Serebryany | 52a788e | 2015-03-31 20:13:20 +0000 | [diff] [blame] | 157 | for (size_t F = 0; F < kNumFlags; F++) { |
| 158 | if (FlagDescriptions[F].IntFlag) |
| 159 | *FlagDescriptions[F].IntFlag = FlagDescriptions[F].Default; |
Mike Aizatsky | a1a5c69 | 2015-12-10 20:41:53 +0000 | [diff] [blame] | 160 | if (FlagDescriptions[F].UIntFlag) |
| 161 | *FlagDescriptions[F].UIntFlag = |
| 162 | static_cast<unsigned int>(FlagDescriptions[F].Default); |
Kostya Serebryany | 52a788e | 2015-03-31 20:13:20 +0000 | [diff] [blame] | 163 | if (FlagDescriptions[F].StrFlag) |
| 164 | *FlagDescriptions[F].StrFlag = nullptr; |
| 165 | } |
Kostya Serebryany | a938bcb | 2015-09-10 16:57:57 +0000 | [diff] [blame] | 166 | Inputs = new std::vector<std::string>; |
| 167 | for (size_t A = 1; A < Args.size(); A++) { |
| 168 | if (ParseOneFlag(Args[A].c_str())) continue; |
| 169 | Inputs->push_back(Args[A]); |
Kostya Serebryany | 016852c | 2015-02-19 18:45:37 +0000 | [diff] [blame] | 170 | } |
| 171 | } |
| 172 | |
Kostya Serebryany | 83fd486 | 2015-05-11 21:31:51 +0000 | [diff] [blame] | 173 | static std::mutex Mu; |
| 174 | |
| 175 | static void PulseThread() { |
| 176 | while (true) { |
| 177 | std::this_thread::sleep_for(std::chrono::seconds(600)); |
| 178 | std::lock_guard<std::mutex> Lock(Mu); |
Kostya Serebryany | 20e9bcb | 2015-05-23 01:07:46 +0000 | [diff] [blame] | 179 | Printf("pulse...\n"); |
Kostya Serebryany | 83fd486 | 2015-05-11 21:31:51 +0000 | [diff] [blame] | 180 | } |
| 181 | } |
| 182 | |
Kostya Serebryany | 016852c | 2015-02-19 18:45:37 +0000 | [diff] [blame] | 183 | static void WorkerThread(const std::string &Cmd, std::atomic<int> *Counter, |
| 184 | int NumJobs, std::atomic<bool> *HasErrors) { |
Kostya Serebryany | 016852c | 2015-02-19 18:45:37 +0000 | [diff] [blame] | 185 | while (true) { |
| 186 | int C = (*Counter)++; |
| 187 | if (C >= NumJobs) break; |
| 188 | std::string Log = "fuzz-" + std::to_string(C) + ".log"; |
| 189 | std::string ToRun = Cmd + " > " + Log + " 2>&1\n"; |
| 190 | if (Flags.verbosity) |
Kostya Serebryany | 20e9bcb | 2015-05-23 01:07:46 +0000 | [diff] [blame] | 191 | Printf("%s", ToRun.c_str()); |
Kostya Serebryany | dc3135d | 2015-11-12 01:02:01 +0000 | [diff] [blame] | 192 | int ExitCode = ExecuteCommand(ToRun.c_str()); |
Kostya Serebryany | 016852c | 2015-02-19 18:45:37 +0000 | [diff] [blame] | 193 | if (ExitCode != 0) |
| 194 | *HasErrors = true; |
Kostya Serebryany | 83fd486 | 2015-05-11 21:31:51 +0000 | [diff] [blame] | 195 | std::lock_guard<std::mutex> Lock(Mu); |
Kostya Serebryany | 20e9bcb | 2015-05-23 01:07:46 +0000 | [diff] [blame] | 196 | Printf("================== Job %d exited with exit code %d ============\n", |
| 197 | C, ExitCode); |
Kostya Serebryany | 016852c | 2015-02-19 18:45:37 +0000 | [diff] [blame] | 198 | fuzzer::CopyFileToErr(Log); |
| 199 | } |
| 200 | } |
| 201 | |
Kostya Serebryany | a938bcb | 2015-09-10 16:57:57 +0000 | [diff] [blame] | 202 | static int RunInMultipleProcesses(const std::vector<std::string> &Args, |
| 203 | int NumWorkers, int NumJobs) { |
Kostya Serebryany | 016852c | 2015-02-19 18:45:37 +0000 | [diff] [blame] | 204 | std::atomic<int> Counter(0); |
| 205 | std::atomic<bool> HasErrors(false); |
| 206 | std::string Cmd; |
Kostya Serebryany | a938bcb | 2015-09-10 16:57:57 +0000 | [diff] [blame] | 207 | for (auto &S : Args) { |
| 208 | if (FlagValue(S.c_str(), "jobs") || FlagValue(S.c_str(), "workers")) |
| 209 | continue; |
| 210 | Cmd += S + " "; |
Kostya Serebryany | 016852c | 2015-02-19 18:45:37 +0000 | [diff] [blame] | 211 | } |
| 212 | std::vector<std::thread> V; |
Kostya Serebryany | 83fd486 | 2015-05-11 21:31:51 +0000 | [diff] [blame] | 213 | std::thread Pulse(PulseThread); |
Kostya Serebryany | cd7629c | 2015-05-12 01:43:20 +0000 | [diff] [blame] | 214 | Pulse.detach(); |
Kostya Serebryany | 016852c | 2015-02-19 18:45:37 +0000 | [diff] [blame] | 215 | for (int i = 0; i < NumWorkers; i++) |
| 216 | V.push_back(std::thread(WorkerThread, Cmd, &Counter, NumJobs, &HasErrors)); |
| 217 | for (auto &T : V) |
| 218 | T.join(); |
| 219 | return HasErrors ? 1 : 0; |
| 220 | } |
| 221 | |
Ivan Krasin | 95e82d5 | 2015-10-01 23:23:06 +0000 | [diff] [blame] | 222 | int RunOneTest(Fuzzer *F, const char *InputFilePath) { |
| 223 | Unit U = FileToVector(InputFilePath); |
Kostya Serebryany | 856b7af | 2015-11-03 18:57:25 +0000 | [diff] [blame] | 224 | Unit PreciseSizedU(U); |
| 225 | assert(PreciseSizedU.size() == PreciseSizedU.capacity()); |
| 226 | F->ExecuteCallback(PreciseSizedU); |
Ivan Krasin | 95e82d5 | 2015-10-01 23:23:06 +0000 | [diff] [blame] | 227 | return 0; |
| 228 | } |
| 229 | |
Kostya Serebryany | 016852c | 2015-02-19 18:45:37 +0000 | [diff] [blame] | 230 | int FuzzerDriver(int argc, char **argv, UserCallback Callback) { |
Kostya Serebryany | 311f27c | 2016-01-19 20:33:57 +0000 | [diff] [blame] | 231 | FuzzerRandom_mt19937 Rand(0); |
Kostya Serebryany | 404c69f | 2015-07-24 01:06:40 +0000 | [diff] [blame] | 232 | SimpleUserSuppliedFuzzer SUSF(&Rand, Callback); |
Kostya Serebryany | f342459 | 2015-05-22 22:35:31 +0000 | [diff] [blame] | 233 | return FuzzerDriver(argc, argv, SUSF); |
| 234 | } |
| 235 | |
| 236 | int FuzzerDriver(int argc, char **argv, UserSuppliedFuzzer &USF) { |
Kostya Serebryany | a938bcb | 2015-09-10 16:57:57 +0000 | [diff] [blame] | 237 | std::vector<std::string> Args(argv, argv + argc); |
| 238 | return FuzzerDriver(Args, USF); |
| 239 | } |
Kostya Serebryany | 016852c | 2015-02-19 18:45:37 +0000 | [diff] [blame] | 240 | |
Kostya Serebryany | a938bcb | 2015-09-10 16:57:57 +0000 | [diff] [blame] | 241 | int FuzzerDriver(const std::vector<std::string> &Args, UserCallback Callback) { |
Kostya Serebryany | 311f27c | 2016-01-19 20:33:57 +0000 | [diff] [blame] | 242 | FuzzerRandom_mt19937 Rand(0); |
Kostya Serebryany | a938bcb | 2015-09-10 16:57:57 +0000 | [diff] [blame] | 243 | SimpleUserSuppliedFuzzer SUSF(&Rand, Callback); |
| 244 | return FuzzerDriver(Args, SUSF); |
| 245 | } |
| 246 | |
| 247 | int FuzzerDriver(const std::vector<std::string> &Args, |
| 248 | UserSuppliedFuzzer &USF) { |
| 249 | using namespace fuzzer; |
| 250 | assert(!Args.empty()); |
| 251 | ProgName = new std::string(Args[0]); |
| 252 | ParseFlags(Args); |
Kostya Serebryany | 016852c | 2015-02-19 18:45:37 +0000 | [diff] [blame] | 253 | if (Flags.help) { |
| 254 | PrintHelp(); |
| 255 | return 0; |
| 256 | } |
| 257 | |
Kostya Serebryany | 9690fcf | 2015-05-12 18:51:57 +0000 | [diff] [blame] | 258 | if (Flags.jobs > 0 && Flags.workers == 0) { |
| 259 | Flags.workers = std::min(NumberOfCpuCores() / 2, Flags.jobs); |
| 260 | if (Flags.workers > 1) |
Kostya Serebryany | 20e9bcb | 2015-05-23 01:07:46 +0000 | [diff] [blame] | 261 | Printf("Running %d workers\n", Flags.workers); |
Kostya Serebryany | 9690fcf | 2015-05-12 18:51:57 +0000 | [diff] [blame] | 262 | } |
| 263 | |
Kostya Serebryany | 016852c | 2015-02-19 18:45:37 +0000 | [diff] [blame] | 264 | if (Flags.workers > 0 && Flags.jobs > 0) |
Kostya Serebryany | a938bcb | 2015-09-10 16:57:57 +0000 | [diff] [blame] | 265 | return RunInMultipleProcesses(Args, Flags.workers, Flags.jobs); |
Kostya Serebryany | 016852c | 2015-02-19 18:45:37 +0000 | [diff] [blame] | 266 | |
| 267 | Fuzzer::FuzzingOptions Options; |
| 268 | Options.Verbosity = Flags.verbosity; |
| 269 | Options.MaxLen = Flags.max_len; |
Kostya Serebryany | 490bbd6 | 2015-05-19 22:12:57 +0000 | [diff] [blame] | 270 | Options.UnitTimeoutSec = Flags.timeout; |
Kostya Serebryany | 9768e7f | 2016-01-23 19:34:19 +0000 | [diff] [blame] | 271 | Options.AbortOnTimeout = Flags.abort_on_timeout; |
Kostya Serebryany | 54a6363 | 2016-01-29 23:30:07 +0000 | [diff] [blame] | 272 | Options.TimeoutExitCode = Flags.timeout_exitcode; |
Kostya Serebryany | b85db17 | 2015-10-02 20:47:55 +0000 | [diff] [blame] | 273 | Options.MaxTotalTimeSec = Flags.max_total_time; |
Kostya Serebryany | 016852c | 2015-02-19 18:45:37 +0000 | [diff] [blame] | 274 | Options.DoCrossOver = Flags.cross_over; |
| 275 | Options.MutateDepth = Flags.mutate_depth; |
| 276 | Options.ExitOnFirst = Flags.exit_on_first; |
Kostya Serebryany | be5e0ed | 2015-03-03 23:27:02 +0000 | [diff] [blame] | 277 | Options.UseCounters = Flags.use_counters; |
Kostya Serebryany | 2e9fca9 | 2015-10-22 23:55:39 +0000 | [diff] [blame] | 278 | Options.UseIndirCalls = Flags.use_indir_calls; |
Kostya Serebryany | 5a99ecb | 2015-05-11 20:51:19 +0000 | [diff] [blame] | 279 | Options.UseTraces = Flags.use_traces; |
Kostya Serebryany | ae5b956 | 2016-01-15 06:24:05 +0000 | [diff] [blame] | 280 | Options.UseMemcmp = Flags.use_memcmp; |
Kostya Serebryany | fed509e | 2015-10-17 04:38:26 +0000 | [diff] [blame] | 281 | Options.ShuffleAtStartUp = Flags.shuffle; |
Kostya Serebryany | 016852c | 2015-02-19 18:45:37 +0000 | [diff] [blame] | 282 | Options.PreferSmallDuringInitialShuffle = |
| 283 | Flags.prefer_small_during_initial_shuffle; |
Kostya Serebryany | 1ac8055 | 2015-05-08 21:30:55 +0000 | [diff] [blame] | 284 | Options.Reload = Flags.reload; |
Kostya Serebryany | bc7c0ad | 2015-08-11 01:44:42 +0000 | [diff] [blame] | 285 | Options.OnlyASCII = Flags.only_ascii; |
Mike Aizatsky | a9c2387 | 2015-11-12 04:38:40 +0000 | [diff] [blame] | 286 | Options.OutputCSV = Flags.output_csv; |
Kostya Serebryany | 016852c | 2015-02-19 18:45:37 +0000 | [diff] [blame] | 287 | if (Flags.runs >= 0) |
| 288 | Options.MaxNumberOfRuns = Flags.runs; |
Kostya Serebryany | a938bcb | 2015-09-10 16:57:57 +0000 | [diff] [blame] | 289 | if (!Inputs->empty()) |
| 290 | Options.OutputCorpus = (*Inputs)[0]; |
Kostya Serebryany | 2da7b84 | 2015-05-18 21:34:20 +0000 | [diff] [blame] | 291 | if (Flags.sync_command) |
| 292 | Options.SyncCommand = Flags.sync_command; |
| 293 | Options.SyncTimeout = Flags.sync_timeout; |
Kostya Serebryany | 70926ae | 2015-08-05 21:43:48 +0000 | [diff] [blame] | 294 | Options.ReportSlowUnits = Flags.report_slow_units; |
Kostya Serebryany | bd5d1cd | 2015-10-09 03:57:59 +0000 | [diff] [blame] | 295 | if (Flags.artifact_prefix) |
| 296 | Options.ArtifactPrefix = Flags.artifact_prefix; |
Kostya Serebryany | 2d0ef14 | 2015-11-25 21:40:46 +0000 | [diff] [blame] | 297 | if (Flags.exact_artifact_path) |
| 298 | Options.ExactArtifactPath = Flags.exact_artifact_path; |
Kostya Serebryany | dc3135d | 2015-11-12 01:02:01 +0000 | [diff] [blame] | 299 | std::vector<Unit> Dictionary; |
Kostya Serebryany | 7d21166 | 2015-09-04 00:12:11 +0000 | [diff] [blame] | 300 | if (Flags.dict) |
Kostya Serebryany | dc3135d | 2015-11-12 01:02:01 +0000 | [diff] [blame] | 301 | if (!ParseDictionaryFile(FileToString(Flags.dict), &Dictionary)) |
Kostya Serebryany | 7d21166 | 2015-09-04 00:12:11 +0000 | [diff] [blame] | 302 | return 1; |
Kostya Serebryany | dc3135d | 2015-11-12 01:02:01 +0000 | [diff] [blame] | 303 | if (Flags.verbosity > 0 && !Dictionary.empty()) |
| 304 | Printf("Dictionary: %zd entries\n", Dictionary.size()); |
Kostya Serebryany | b91c62b | 2015-10-16 22:41:47 +0000 | [diff] [blame] | 305 | Options.SaveArtifacts = !Flags.test_single_input; |
Mike Aizatsky | 8b11f87 | 2016-01-06 00:21:22 +0000 | [diff] [blame] | 306 | Options.PrintNewCovPcs = Flags.print_new_cov_pcs; |
Kostya Serebryany | 7d21166 | 2015-09-04 00:12:11 +0000 | [diff] [blame] | 307 | |
Kostya Serebryany | f342459 | 2015-05-22 22:35:31 +0000 | [diff] [blame] | 308 | Fuzzer F(USF, Options); |
Kostya Serebryany | 016852c | 2015-02-19 18:45:37 +0000 | [diff] [blame] | 309 | |
Kostya Serebryany | dc3135d | 2015-11-12 01:02:01 +0000 | [diff] [blame] | 310 | for (auto &U: Dictionary) |
Kostya Serebryany | 476f0ce | 2016-01-16 03:53:32 +0000 | [diff] [blame] | 311 | if (U.size() <= Word::GetMaxSize()) |
| 312 | USF.GetMD().AddWordToManualDictionary(Word(U.data(), U.size())); |
Kostya Serebryany | dc3135d | 2015-11-12 01:02:01 +0000 | [diff] [blame] | 313 | |
Kostya Serebryany | b91c62b | 2015-10-16 22:41:47 +0000 | [diff] [blame] | 314 | // Timer |
| 315 | if (Flags.timeout > 0) |
| 316 | SetTimer(Flags.timeout / 2 + 1); |
| 317 | |
Kostya Serebryany | b569368 | 2015-11-21 03:46:43 +0000 | [diff] [blame] | 318 | if (Flags.test_single_input) { |
| 319 | RunOneTest(&F, Flags.test_single_input); |
| 320 | exit(0); |
| 321 | } |
Ivan Krasin | 95e82d5 | 2015-10-01 23:23:06 +0000 | [diff] [blame] | 322 | |
Kostya Serebryany | 550e9c8 | 2015-12-19 03:42:16 +0000 | [diff] [blame] | 323 | if (Flags.save_minimized_corpus) { |
| 324 | Printf("The flag -save_minimized_corpus is deprecated; use -merge=1\n"); |
| 325 | exit(1); |
| 326 | } |
| 327 | |
Kostya Serebryany | 9cc3b0d | 2015-10-24 01:16:40 +0000 | [diff] [blame] | 328 | if (Flags.merge) { |
| 329 | F.Merge(*Inputs); |
| 330 | exit(0); |
| 331 | } |
| 332 | |
Kostya Serebryany | 20e9bcb | 2015-05-23 01:07:46 +0000 | [diff] [blame] | 333 | unsigned Seed = Flags.seed; |
| 334 | // Initialize Seed. |
| 335 | if (Seed == 0) |
Kostya Serebryany | 311f27c | 2016-01-19 20:33:57 +0000 | [diff] [blame] | 336 | Seed = (std::chrono::system_clock::now().time_since_epoch().count() << 10) + |
| 337 | getpid(); |
Kostya Serebryany | 016852c | 2015-02-19 18:45:37 +0000 | [diff] [blame] | 338 | if (Flags.verbosity) |
Kostya Serebryany | 20e9bcb | 2015-05-23 01:07:46 +0000 | [diff] [blame] | 339 | Printf("Seed: %u\n", Seed); |
Kostya Serebryany | 404c69f | 2015-07-24 01:06:40 +0000 | [diff] [blame] | 340 | USF.GetRand().ResetSeed(Seed); |
Kostya Serebryany | 016852c | 2015-02-19 18:45:37 +0000 | [diff] [blame] | 341 | |
Kostya Serebryany | 1ac8055 | 2015-05-08 21:30:55 +0000 | [diff] [blame] | 342 | F.RereadOutputCorpus(); |
Kostya Serebryany | a938bcb | 2015-09-10 16:57:57 +0000 | [diff] [blame] | 343 | for (auto &inp : *Inputs) |
Kostya Serebryany | 1ac8055 | 2015-05-08 21:30:55 +0000 | [diff] [blame] | 344 | if (inp != Options.OutputCorpus) |
| 345 | F.ReadDir(inp, nullptr); |
Kostya Serebryany | 016852c | 2015-02-19 18:45:37 +0000 | [diff] [blame] | 346 | |
| 347 | if (F.CorpusSize() == 0) |
| 348 | F.AddToCorpus(Unit()); // Can't fuzz empty corpus, so add an empty input. |
| 349 | F.ShuffleAndMinimize(); |
Kostya Serebryany | 550e9c8 | 2015-12-19 03:42:16 +0000 | [diff] [blame] | 350 | if (Flags.drill) |
Kostya Serebryany | dc3135d | 2015-11-12 01:02:01 +0000 | [diff] [blame] | 351 | F.Drill(); |
| 352 | else |
| 353 | F.Loop(); |
| 354 | |
Kostya Serebryany | 016852c | 2015-02-19 18:45:37 +0000 | [diff] [blame] | 355 | if (Flags.verbosity) |
Kostya Serebryany | 20e9bcb | 2015-05-23 01:07:46 +0000 | [diff] [blame] | 356 | Printf("Done %d runs in %zd second(s)\n", F.getTotalNumberOfRuns(), |
| 357 | F.secondsSinceProcessStartUp()); |
| 358 | |
Kostya Serebryany | c8cd29f | 2015-10-03 07:02:05 +0000 | [diff] [blame] | 359 | exit(0); // Don't let F destroy itself. |
Kostya Serebryany | 016852c | 2015-02-19 18:45:37 +0000 | [diff] [blame] | 360 | } |
| 361 | |
| 362 | } // namespace fuzzer |