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 | |
Kostya Serebryany | 29bb664 | 2016-09-21 22:42:17 +0000 | [diff] [blame] | 12 | #include "FuzzerCorpus.h" |
Kostya Serebryany | 016852c | 2015-02-19 18:45:37 +0000 | [diff] [blame] | 13 | #include "FuzzerInterface.h" |
| 14 | #include "FuzzerInternal.h" |
Zachary Turner | 24a148b | 2016-11-30 19:06:14 +0000 | [diff] [blame] | 15 | #include "FuzzerIO.h" |
Kostya Serebryany | 6f5a804 | 2016-09-21 01:50:50 +0000 | [diff] [blame] | 16 | #include "FuzzerMutate.h" |
| 17 | #include "FuzzerRandom.h" |
Kostya Serebryany | 016852c | 2015-02-19 18:45:37 +0000 | [diff] [blame] | 18 | |
Mehdi Amini | b550cb1 | 2016-04-18 09:17:29 +0000 | [diff] [blame] | 19 | #include <algorithm> |
Kostya Serebryany | 016852c | 2015-02-19 18:45:37 +0000 | [diff] [blame] | 20 | #include <atomic> |
Mehdi Amini | b550cb1 | 2016-04-18 09:17:29 +0000 | [diff] [blame] | 21 | #include <chrono> |
| 22 | #include <cstring> |
Kostya Serebryany | 016852c | 2015-02-19 18:45:37 +0000 | [diff] [blame] | 23 | #include <mutex> |
Kostya Serebryany | 52a788e | 2015-03-31 20:13:20 +0000 | [diff] [blame] | 24 | #include <string> |
Mehdi Amini | b550cb1 | 2016-04-18 09:17:29 +0000 | [diff] [blame] | 25 | #include <thread> |
Kostya Serebryany | 016852c | 2015-02-19 18:45:37 +0000 | [diff] [blame] | 26 | |
Kostya Serebryany | 4282d30 | 2016-01-15 00:17:37 +0000 | [diff] [blame] | 27 | // This function should be present in the libFuzzer so that the client |
| 28 | // binary can test for its existence. |
| 29 | extern "C" __attribute__((used)) void __libfuzzer_is_present() {} |
| 30 | |
Kostya Serebryany | 016852c | 2015-02-19 18:45:37 +0000 | [diff] [blame] | 31 | namespace fuzzer { |
| 32 | |
| 33 | // Program arguments. |
| 34 | struct FlagDescription { |
| 35 | const char *Name; |
| 36 | const char *Description; |
| 37 | int Default; |
Kostya Serebryany | 52a788e | 2015-03-31 20:13:20 +0000 | [diff] [blame] | 38 | int *IntFlag; |
| 39 | const char **StrFlag; |
Mike Aizatsky | a1a5c69 | 2015-12-10 20:41:53 +0000 | [diff] [blame] | 40 | unsigned int *UIntFlag; |
Kostya Serebryany | 016852c | 2015-02-19 18:45:37 +0000 | [diff] [blame] | 41 | }; |
| 42 | |
| 43 | struct { |
Kostya Serebryany | 3d95dd9 | 2016-03-01 22:33:14 +0000 | [diff] [blame] | 44 | #define FUZZER_DEPRECATED_FLAG(Name) |
Kostya Serebryany | 52a788e | 2015-03-31 20:13:20 +0000 | [diff] [blame] | 45 | #define FUZZER_FLAG_INT(Name, Default, Description) int Name; |
Mike Aizatsky | a1a5c69 | 2015-12-10 20:41:53 +0000 | [diff] [blame] | 46 | #define FUZZER_FLAG_UNSIGNED(Name, Default, Description) unsigned int Name; |
Kostya Serebryany | 52a788e | 2015-03-31 20:13:20 +0000 | [diff] [blame] | 47 | #define FUZZER_FLAG_STRING(Name, Description) const char *Name; |
Kostya Serebryany | 016852c | 2015-02-19 18:45:37 +0000 | [diff] [blame] | 48 | #include "FuzzerFlags.def" |
Kostya Serebryany | 3d95dd9 | 2016-03-01 22:33:14 +0000 | [diff] [blame] | 49 | #undef FUZZER_DEPRECATED_FLAG |
Kostya Serebryany | 52a788e | 2015-03-31 20:13:20 +0000 | [diff] [blame] | 50 | #undef FUZZER_FLAG_INT |
Mike Aizatsky | a1a5c69 | 2015-12-10 20:41:53 +0000 | [diff] [blame] | 51 | #undef FUZZER_FLAG_UNSIGNED |
Kostya Serebryany | 52a788e | 2015-03-31 20:13:20 +0000 | [diff] [blame] | 52 | #undef FUZZER_FLAG_STRING |
Kostya Serebryany | 016852c | 2015-02-19 18:45:37 +0000 | [diff] [blame] | 53 | } Flags; |
| 54 | |
Craig Topper | 2626094 | 2015-10-18 05:15:34 +0000 | [diff] [blame] | 55 | static const FlagDescription FlagDescriptions [] { |
Kostya Serebryany | 3d95dd9 | 2016-03-01 22:33:14 +0000 | [diff] [blame] | 56 | #define FUZZER_DEPRECATED_FLAG(Name) \ |
| 57 | {#Name, "Deprecated; don't use", 0, nullptr, nullptr, nullptr}, |
Kostya Serebryany | 52a788e | 2015-03-31 20:13:20 +0000 | [diff] [blame] | 58 | #define FUZZER_FLAG_INT(Name, Default, Description) \ |
Mike Aizatsky | a1a5c69 | 2015-12-10 20:41:53 +0000 | [diff] [blame] | 59 | {#Name, Description, Default, &Flags.Name, nullptr, nullptr}, |
| 60 | #define FUZZER_FLAG_UNSIGNED(Name, Default, Description) \ |
| 61 | {#Name, Description, static_cast<int>(Default), \ |
| 62 | nullptr, nullptr, &Flags.Name}, |
Kostya Serebryany | 52a788e | 2015-03-31 20:13:20 +0000 | [diff] [blame] | 63 | #define FUZZER_FLAG_STRING(Name, Description) \ |
Mike Aizatsky | a1a5c69 | 2015-12-10 20:41:53 +0000 | [diff] [blame] | 64 | {#Name, Description, 0, nullptr, &Flags.Name, nullptr}, |
Kostya Serebryany | 016852c | 2015-02-19 18:45:37 +0000 | [diff] [blame] | 65 | #include "FuzzerFlags.def" |
Kostya Serebryany | 3d95dd9 | 2016-03-01 22:33:14 +0000 | [diff] [blame] | 66 | #undef FUZZER_DEPRECATED_FLAG |
Kostya Serebryany | 52a788e | 2015-03-31 20:13:20 +0000 | [diff] [blame] | 67 | #undef FUZZER_FLAG_INT |
Mike Aizatsky | a1a5c69 | 2015-12-10 20:41:53 +0000 | [diff] [blame] | 68 | #undef FUZZER_FLAG_UNSIGNED |
Kostya Serebryany | 52a788e | 2015-03-31 20:13:20 +0000 | [diff] [blame] | 69 | #undef FUZZER_FLAG_STRING |
Kostya Serebryany | 016852c | 2015-02-19 18:45:37 +0000 | [diff] [blame] | 70 | }; |
| 71 | |
| 72 | static const size_t kNumFlags = |
| 73 | sizeof(FlagDescriptions) / sizeof(FlagDescriptions[0]); |
| 74 | |
Kostya Serebryany | a938bcb | 2015-09-10 16:57:57 +0000 | [diff] [blame] | 75 | static std::vector<std::string> *Inputs; |
| 76 | static std::string *ProgName; |
Kostya Serebryany | 016852c | 2015-02-19 18:45:37 +0000 | [diff] [blame] | 77 | |
| 78 | static void PrintHelp() { |
Kostya Serebryany | bfbe7fc | 2016-02-02 03:03:47 +0000 | [diff] [blame] | 79 | Printf("Usage:\n"); |
| 80 | auto Prog = ProgName->c_str(); |
| 81 | Printf("\nTo run fuzzing pass 0 or more directories.\n"); |
| 82 | Printf("%s [-flag1=val1 [-flag2=val2 ...] ] [dir1 [dir2 ...] ]\n", Prog); |
| 83 | |
| 84 | Printf("\nTo run individual tests without fuzzing pass 1 or more files:\n"); |
| 85 | Printf("%s [-flag1=val1 [-flag2=val2 ...] ] file1 [file2 ...]\n", Prog); |
| 86 | |
Kostya Serebryany | 20e9bcb | 2015-05-23 01:07:46 +0000 | [diff] [blame] | 87 | Printf("\nFlags: (strictly in form -flag=value)\n"); |
Kostya Serebryany | 016852c | 2015-02-19 18:45:37 +0000 | [diff] [blame] | 88 | size_t MaxFlagLen = 0; |
| 89 | for (size_t F = 0; F < kNumFlags; F++) |
| 90 | MaxFlagLen = std::max(strlen(FlagDescriptions[F].Name), MaxFlagLen); |
| 91 | |
| 92 | for (size_t F = 0; F < kNumFlags; F++) { |
| 93 | const auto &D = FlagDescriptions[F]; |
Kostya Serebryany | 4529960 | 2016-09-10 00:35:30 +0000 | [diff] [blame] | 94 | if (strstr(D.Description, "internal flag") == D.Description) continue; |
Kostya Serebryany | 20e9bcb | 2015-05-23 01:07:46 +0000 | [diff] [blame] | 95 | Printf(" %s", D.Name); |
Kostya Serebryany | 016852c | 2015-02-19 18:45:37 +0000 | [diff] [blame] | 96 | 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] | 97 | Printf(" "); |
| 98 | Printf("\t"); |
| 99 | Printf("%d\t%s\n", D.Default, D.Description); |
Kostya Serebryany | 016852c | 2015-02-19 18:45:37 +0000 | [diff] [blame] | 100 | } |
Kostya Serebryany | 20e9bcb | 2015-05-23 01:07:46 +0000 | [diff] [blame] | 101 | Printf("\nFlags starting with '--' will be ignored and " |
| 102 | "will be passed verbatim to subprocesses.\n"); |
Kostya Serebryany | 016852c | 2015-02-19 18:45:37 +0000 | [diff] [blame] | 103 | } |
| 104 | |
| 105 | static const char *FlagValue(const char *Param, const char *Name) { |
| 106 | size_t Len = strlen(Name); |
| 107 | if (Param[0] == '-' && strstr(Param + 1, Name) == Param + 1 && |
| 108 | Param[Len + 1] == '=') |
| 109 | return &Param[Len + 2]; |
| 110 | return nullptr; |
| 111 | } |
| 112 | |
Kostya Serebryany | 4282d30 | 2016-01-15 00:17:37 +0000 | [diff] [blame] | 113 | // Avoid calling stol as it triggers a bug in clang/glibc build. |
| 114 | static long MyStol(const char *Str) { |
| 115 | long Res = 0; |
Kostya Serebryany | 311f27c | 2016-01-19 20:33:57 +0000 | [diff] [blame] | 116 | long Sign = 1; |
| 117 | if (*Str == '-') { |
| 118 | Str++; |
| 119 | Sign = -1; |
| 120 | } |
Kostya Serebryany | 4282d30 | 2016-01-15 00:17:37 +0000 | [diff] [blame] | 121 | for (size_t i = 0; Str[i]; i++) { |
| 122 | char Ch = Str[i]; |
| 123 | if (Ch < '0' || Ch > '9') |
| 124 | return Res; |
| 125 | Res = Res * 10 + (Ch - '0'); |
| 126 | } |
Kostya Serebryany | 311f27c | 2016-01-19 20:33:57 +0000 | [diff] [blame] | 127 | return Res * Sign; |
Kostya Serebryany | 4282d30 | 2016-01-15 00:17:37 +0000 | [diff] [blame] | 128 | } |
| 129 | |
Kostya Serebryany | 016852c | 2015-02-19 18:45:37 +0000 | [diff] [blame] | 130 | static bool ParseOneFlag(const char *Param) { |
| 131 | if (Param[0] != '-') return false; |
Kostya Serebryany | 71e0feb | 2015-05-21 20:39:13 +0000 | [diff] [blame] | 132 | if (Param[1] == '-') { |
| 133 | static bool PrintedWarning = false; |
| 134 | if (!PrintedWarning) { |
| 135 | PrintedWarning = true; |
Kostya Serebryany | 64d2457 | 2016-03-12 01:57:04 +0000 | [diff] [blame] | 136 | Printf("INFO: libFuzzer ignores flags that start with '--'\n"); |
Kostya Serebryany | 71e0feb | 2015-05-21 20:39:13 +0000 | [diff] [blame] | 137 | } |
Kostya Serebryany | b60397f | 2016-04-15 21:56:29 +0000 | [diff] [blame] | 138 | for (size_t F = 0; F < kNumFlags; F++) |
| 139 | if (FlagValue(Param + 1, FlagDescriptions[F].Name)) |
| 140 | Printf("WARNING: did you mean '%s' (single dash)?\n", Param + 1); |
Kostya Serebryany | 71e0feb | 2015-05-21 20:39:13 +0000 | [diff] [blame] | 141 | return true; |
| 142 | } |
Kostya Serebryany | 016852c | 2015-02-19 18:45:37 +0000 | [diff] [blame] | 143 | for (size_t F = 0; F < kNumFlags; F++) { |
| 144 | const char *Name = FlagDescriptions[F].Name; |
| 145 | const char *Str = FlagValue(Param, Name); |
| 146 | if (Str) { |
Kostya Serebryany | 52a788e | 2015-03-31 20:13:20 +0000 | [diff] [blame] | 147 | if (FlagDescriptions[F].IntFlag) { |
Kostya Serebryany | 4282d30 | 2016-01-15 00:17:37 +0000 | [diff] [blame] | 148 | int Val = MyStol(Str); |
Kostya Serebryany | 52a788e | 2015-03-31 20:13:20 +0000 | [diff] [blame] | 149 | *FlagDescriptions[F].IntFlag = Val; |
| 150 | if (Flags.verbosity >= 2) |
Kostya Serebryany | 20e9bcb | 2015-05-23 01:07:46 +0000 | [diff] [blame] | 151 | Printf("Flag: %s %d\n", Name, Val);; |
Kostya Serebryany | 52a788e | 2015-03-31 20:13:20 +0000 | [diff] [blame] | 152 | return true; |
Mike Aizatsky | a1a5c69 | 2015-12-10 20:41:53 +0000 | [diff] [blame] | 153 | } else if (FlagDescriptions[F].UIntFlag) { |
| 154 | unsigned int Val = std::stoul(Str); |
| 155 | *FlagDescriptions[F].UIntFlag = Val; |
| 156 | if (Flags.verbosity >= 2) |
| 157 | Printf("Flag: %s %u\n", Name, Val); |
| 158 | return true; |
Kostya Serebryany | 52a788e | 2015-03-31 20:13:20 +0000 | [diff] [blame] | 159 | } else if (FlagDescriptions[F].StrFlag) { |
| 160 | *FlagDescriptions[F].StrFlag = Str; |
| 161 | if (Flags.verbosity >= 2) |
Kostya Serebryany | 20e9bcb | 2015-05-23 01:07:46 +0000 | [diff] [blame] | 162 | Printf("Flag: %s %s\n", Name, Str); |
Kostya Serebryany | 52a788e | 2015-03-31 20:13:20 +0000 | [diff] [blame] | 163 | return true; |
Kostya Serebryany | 3d95dd9 | 2016-03-01 22:33:14 +0000 | [diff] [blame] | 164 | } else { // Deprecated flag. |
| 165 | Printf("Flag: %s: deprecated, don't use\n", Name); |
| 166 | return true; |
Kostya Serebryany | 52a788e | 2015-03-31 20:13:20 +0000 | [diff] [blame] | 167 | } |
Kostya Serebryany | 016852c | 2015-02-19 18:45:37 +0000 | [diff] [blame] | 168 | } |
| 169 | } |
Kostya Serebryany | f817731 | 2016-06-01 16:41:12 +0000 | [diff] [blame] | 170 | Printf("\n\nWARNING: unrecognized flag '%s'; " |
| 171 | "use -help=1 to list all flags\n\n", Param); |
| 172 | return true; |
Kostya Serebryany | 016852c | 2015-02-19 18:45:37 +0000 | [diff] [blame] | 173 | } |
| 174 | |
| 175 | // We don't use any library to minimize dependencies. |
Kostya Serebryany | a938bcb | 2015-09-10 16:57:57 +0000 | [diff] [blame] | 176 | static void ParseFlags(const std::vector<std::string> &Args) { |
Kostya Serebryany | 52a788e | 2015-03-31 20:13:20 +0000 | [diff] [blame] | 177 | for (size_t F = 0; F < kNumFlags; F++) { |
| 178 | if (FlagDescriptions[F].IntFlag) |
| 179 | *FlagDescriptions[F].IntFlag = FlagDescriptions[F].Default; |
Mike Aizatsky | a1a5c69 | 2015-12-10 20:41:53 +0000 | [diff] [blame] | 180 | if (FlagDescriptions[F].UIntFlag) |
| 181 | *FlagDescriptions[F].UIntFlag = |
| 182 | static_cast<unsigned int>(FlagDescriptions[F].Default); |
Kostya Serebryany | 52a788e | 2015-03-31 20:13:20 +0000 | [diff] [blame] | 183 | if (FlagDescriptions[F].StrFlag) |
| 184 | *FlagDescriptions[F].StrFlag = nullptr; |
| 185 | } |
Kostya Serebryany | a938bcb | 2015-09-10 16:57:57 +0000 | [diff] [blame] | 186 | Inputs = new std::vector<std::string>; |
| 187 | for (size_t A = 1; A < Args.size(); A++) { |
| 188 | if (ParseOneFlag(Args[A].c_str())) continue; |
| 189 | Inputs->push_back(Args[A]); |
Kostya Serebryany | 016852c | 2015-02-19 18:45:37 +0000 | [diff] [blame] | 190 | } |
| 191 | } |
| 192 | |
Kostya Serebryany | 83fd486 | 2015-05-11 21:31:51 +0000 | [diff] [blame] | 193 | static std::mutex Mu; |
| 194 | |
| 195 | static void PulseThread() { |
| 196 | while (true) { |
Kostya Serebryany | 8b8f7a3 | 2016-05-06 23:38:07 +0000 | [diff] [blame] | 197 | SleepSeconds(600); |
Kostya Serebryany | 83fd486 | 2015-05-11 21:31:51 +0000 | [diff] [blame] | 198 | std::lock_guard<std::mutex> Lock(Mu); |
Kostya Serebryany | 20e9bcb | 2015-05-23 01:07:46 +0000 | [diff] [blame] | 199 | Printf("pulse...\n"); |
Kostya Serebryany | 83fd486 | 2015-05-11 21:31:51 +0000 | [diff] [blame] | 200 | } |
| 201 | } |
| 202 | |
Marcos Pividori | 6e3d885 | 2016-12-13 17:45:53 +0000 | [diff] [blame^] | 203 | static void WorkerThread(const std::string &Cmd, std::atomic<unsigned> *Counter, |
| 204 | unsigned NumJobs, std::atomic<bool> *HasErrors) { |
Kostya Serebryany | 016852c | 2015-02-19 18:45:37 +0000 | [diff] [blame] | 205 | while (true) { |
Marcos Pividori | 6e3d885 | 2016-12-13 17:45:53 +0000 | [diff] [blame^] | 206 | unsigned C = (*Counter)++; |
Kostya Serebryany | 016852c | 2015-02-19 18:45:37 +0000 | [diff] [blame] | 207 | if (C >= NumJobs) break; |
| 208 | std::string Log = "fuzz-" + std::to_string(C) + ".log"; |
| 209 | std::string ToRun = Cmd + " > " + Log + " 2>&1\n"; |
| 210 | if (Flags.verbosity) |
Kostya Serebryany | 20e9bcb | 2015-05-23 01:07:46 +0000 | [diff] [blame] | 211 | Printf("%s", ToRun.c_str()); |
Hans Wennborg | e631996 | 2016-04-11 20:35:17 +0000 | [diff] [blame] | 212 | int ExitCode = ExecuteCommand(ToRun); |
Kostya Serebryany | 016852c | 2015-02-19 18:45:37 +0000 | [diff] [blame] | 213 | if (ExitCode != 0) |
| 214 | *HasErrors = true; |
Kostya Serebryany | 83fd486 | 2015-05-11 21:31:51 +0000 | [diff] [blame] | 215 | std::lock_guard<std::mutex> Lock(Mu); |
Marcos Pividori | 6e3d885 | 2016-12-13 17:45:53 +0000 | [diff] [blame^] | 216 | Printf("================== Job %u exited with exit code %d ============\n", |
Kostya Serebryany | 20e9bcb | 2015-05-23 01:07:46 +0000 | [diff] [blame] | 217 | C, ExitCode); |
Kostya Serebryany | 016852c | 2015-02-19 18:45:37 +0000 | [diff] [blame] | 218 | fuzzer::CopyFileToErr(Log); |
| 219 | } |
| 220 | } |
| 221 | |
Kostya Serebryany | 111e1d6 | 2016-12-09 01:17:24 +0000 | [diff] [blame] | 222 | std::string CloneArgsWithoutX(const std::vector<std::string> &Args, |
| 223 | const char *X1, const char *X2) { |
Kostya Serebryany | e2d0f63 | 2016-09-01 01:22:27 +0000 | [diff] [blame] | 224 | std::string Cmd; |
| 225 | for (auto &S : Args) { |
| 226 | if (FlagValue(S.c_str(), X1) || FlagValue(S.c_str(), X2)) |
| 227 | continue; |
| 228 | Cmd += S + " "; |
| 229 | } |
| 230 | return Cmd; |
| 231 | } |
| 232 | |
Kostya Serebryany | a938bcb | 2015-09-10 16:57:57 +0000 | [diff] [blame] | 233 | static int RunInMultipleProcesses(const std::vector<std::string> &Args, |
Marcos Pividori | 6e3d885 | 2016-12-13 17:45:53 +0000 | [diff] [blame^] | 234 | unsigned NumWorkers, unsigned NumJobs) { |
| 235 | std::atomic<unsigned> Counter(0); |
Kostya Serebryany | 016852c | 2015-02-19 18:45:37 +0000 | [diff] [blame] | 236 | std::atomic<bool> HasErrors(false); |
Kostya Serebryany | e2d0f63 | 2016-09-01 01:22:27 +0000 | [diff] [blame] | 237 | std::string Cmd = CloneArgsWithoutX(Args, "jobs", "workers"); |
Kostya Serebryany | 016852c | 2015-02-19 18:45:37 +0000 | [diff] [blame] | 238 | std::vector<std::thread> V; |
Kostya Serebryany | 83fd486 | 2015-05-11 21:31:51 +0000 | [diff] [blame] | 239 | std::thread Pulse(PulseThread); |
Kostya Serebryany | cd7629c | 2015-05-12 01:43:20 +0000 | [diff] [blame] | 240 | Pulse.detach(); |
Marcos Pividori | 6e3d885 | 2016-12-13 17:45:53 +0000 | [diff] [blame^] | 241 | for (unsigned i = 0; i < NumWorkers; i++) |
Kostya Serebryany | 016852c | 2015-02-19 18:45:37 +0000 | [diff] [blame] | 242 | V.push_back(std::thread(WorkerThread, Cmd, &Counter, NumJobs, &HasErrors)); |
| 243 | for (auto &T : V) |
| 244 | T.join(); |
| 245 | return HasErrors ? 1 : 0; |
| 246 | } |
| 247 | |
Kostya Serebryany | 52b394e | 2016-05-06 21:58:35 +0000 | [diff] [blame] | 248 | static void RssThread(Fuzzer *F, size_t RssLimitMb) { |
| 249 | while (true) { |
Kostya Serebryany | 8b8f7a3 | 2016-05-06 23:38:07 +0000 | [diff] [blame] | 250 | SleepSeconds(1); |
Kostya Serebryany | 52b394e | 2016-05-06 21:58:35 +0000 | [diff] [blame] | 251 | size_t Peak = GetPeakRSSMb(); |
| 252 | if (Peak > RssLimitMb) |
Kostya Serebryany | 8b8f7a3 | 2016-05-06 23:38:07 +0000 | [diff] [blame] | 253 | F->RssLimitCallback(); |
Kostya Serebryany | 52b394e | 2016-05-06 21:58:35 +0000 | [diff] [blame] | 254 | } |
| 255 | } |
| 256 | |
| 257 | static void StartRssThread(Fuzzer *F, size_t RssLimitMb) { |
| 258 | if (!RssLimitMb) return; |
| 259 | std::thread T(RssThread, F, RssLimitMb); |
| 260 | T.detach(); |
| 261 | } |
| 262 | |
Kostya Serebryany | a016a45 | 2016-08-30 14:52:05 +0000 | [diff] [blame] | 263 | int RunOneTest(Fuzzer *F, const char *InputFilePath, size_t MaxLen) { |
Ivan Krasin | 95e82d5 | 2015-10-01 23:23:06 +0000 | [diff] [blame] | 264 | Unit U = FileToVector(InputFilePath); |
Kostya Serebryany | a016a45 | 2016-08-30 14:52:05 +0000 | [diff] [blame] | 265 | if (MaxLen && MaxLen < U.size()) |
| 266 | U.resize(MaxLen); |
| 267 | F->RunOne(U.data(), U.size()); |
Kostya Serebryany | bb59ef7 | 2016-10-18 18:38:08 +0000 | [diff] [blame] | 268 | F->TryDetectingAMemoryLeak(U.data(), U.size(), true); |
Ivan Krasin | 95e82d5 | 2015-10-01 23:23:06 +0000 | [diff] [blame] | 269 | return 0; |
| 270 | } |
| 271 | |
Kostya Serebryany | bfbe7fc | 2016-02-02 03:03:47 +0000 | [diff] [blame] | 272 | static bool AllInputsAreFiles() { |
| 273 | if (Inputs->empty()) return false; |
| 274 | for (auto &Path : *Inputs) |
| 275 | if (!IsFile(Path)) |
| 276 | return false; |
| 277 | return true; |
| 278 | } |
| 279 | |
Kostya Serebryany | e2d0f63 | 2016-09-01 01:22:27 +0000 | [diff] [blame] | 280 | int MinimizeCrashInput(const std::vector<std::string> &Args) { |
| 281 | if (Inputs->size() != 1) { |
| 282 | Printf("ERROR: -minimize_crash should be given one input file\n"); |
| 283 | exit(1); |
| 284 | } |
Kostya Serebryany | e2d0f63 | 2016-09-01 01:22:27 +0000 | [diff] [blame] | 285 | std::string InputFilePath = Inputs->at(0); |
Kostya Serebryany | a31300e | 2016-12-13 00:40:47 +0000 | [diff] [blame] | 286 | std::string BaseCmd = |
| 287 | CloneArgsWithoutX(Args, "minimize_crash", "exact_artifact_path"); |
Kostya Serebryany | e2d0f63 | 2016-09-01 01:22:27 +0000 | [diff] [blame] | 288 | auto InputPos = BaseCmd.find(" " + InputFilePath + " "); |
| 289 | assert(InputPos != std::string::npos); |
| 290 | BaseCmd.erase(InputPos, InputFilePath.size() + 1); |
Kostya Serebryany | a31300e | 2016-12-13 00:40:47 +0000 | [diff] [blame] | 291 | if (Flags.runs <= 0 && Flags.max_total_time == 0) { |
| 292 | Printf("INFO: you need to specify -runs=N or " |
| 293 | "-max_total_time=N with -minimize_crash=1\n" |
| 294 | "INFO: defaulting to -max_total_time=600\n"); |
| 295 | BaseCmd += " -max_total_time=600"; |
| 296 | } |
Kostya Serebryany | e2d0f63 | 2016-09-01 01:22:27 +0000 | [diff] [blame] | 297 | // BaseCmd += " > /dev/null 2>&1 "; |
| 298 | |
| 299 | std::string CurrentFilePath = InputFilePath; |
| 300 | while (true) { |
| 301 | Unit U = FileToVector(CurrentFilePath); |
| 302 | if (U.size() < 2) { |
| 303 | Printf("CRASH_MIN: '%s' is small enough\n", CurrentFilePath.c_str()); |
| 304 | return 0; |
| 305 | } |
| 306 | Printf("CRASH_MIN: minimizing crash input: '%s' (%zd bytes)\n", |
| 307 | CurrentFilePath.c_str(), U.size()); |
| 308 | |
| 309 | auto Cmd = BaseCmd + " " + CurrentFilePath; |
| 310 | |
| 311 | Printf("CRASH_MIN: executing: %s\n", Cmd.c_str()); |
| 312 | int ExitCode = ExecuteCommand(Cmd); |
| 313 | if (ExitCode == 0) { |
| 314 | Printf("ERROR: the input %s did not crash\n", CurrentFilePath.c_str()); |
| 315 | exit(1); |
| 316 | } |
| 317 | Printf("CRASH_MIN: '%s' (%zd bytes) caused a crash. Will try to minimize " |
| 318 | "it further\n", |
| 319 | CurrentFilePath.c_str(), U.size()); |
| 320 | |
| 321 | std::string ArtifactPath = "minimized-from-" + Hash(U); |
| 322 | Cmd += " -minimize_crash_internal_step=1 -exact_artifact_path=" + |
| 323 | ArtifactPath; |
| 324 | Printf("CRASH_MIN: executing: %s\n", Cmd.c_str()); |
| 325 | ExitCode = ExecuteCommand(Cmd); |
| 326 | if (ExitCode == 0) { |
Kostya Serebryany | a31300e | 2016-12-13 00:40:47 +0000 | [diff] [blame] | 327 | if (Flags.exact_artifact_path) { |
| 328 | CurrentFilePath = Flags.exact_artifact_path; |
| 329 | WriteToFile(U, CurrentFilePath); |
| 330 | } |
Kostya Serebryany | e2d0f63 | 2016-09-01 01:22:27 +0000 | [diff] [blame] | 331 | Printf("CRASH_MIN: failed to minimize beyond %s (%d bytes), exiting\n", |
| 332 | CurrentFilePath.c_str(), U.size()); |
| 333 | return 0; |
| 334 | } |
| 335 | CurrentFilePath = ArtifactPath; |
| 336 | Printf("\n\n\n\n\n\n*********************************\n"); |
| 337 | } |
| 338 | return 0; |
| 339 | } |
| 340 | |
Kostya Serebryany | 29bb664 | 2016-09-21 22:42:17 +0000 | [diff] [blame] | 341 | int MinimizeCrashInputInternalStep(Fuzzer *F, InputCorpus *Corpus) { |
Kostya Serebryany | e2d0f63 | 2016-09-01 01:22:27 +0000 | [diff] [blame] | 342 | assert(Inputs->size() == 1); |
| 343 | std::string InputFilePath = Inputs->at(0); |
| 344 | Unit U = FileToVector(InputFilePath); |
| 345 | assert(U.size() > 2); |
| 346 | Printf("INFO: Starting MinimizeCrashInputInternalStep: %zd\n", U.size()); |
Kostya Serebryany | 1c73f1b | 2016-10-05 22:56:21 +0000 | [diff] [blame] | 347 | Corpus->AddToCorpus(U, 0); |
Kostya Serebryany | be0ed59 | 2016-09-22 23:16:36 +0000 | [diff] [blame] | 348 | F->SetMaxInputLen(U.size()); |
| 349 | F->SetMaxMutationLen(U.size() - 1); |
Kostya Serebryany | f9b8e8b | 2016-10-15 01:00:24 +0000 | [diff] [blame] | 350 | F->MinimizeCrashLoop(U); |
Kostya Serebryany | e2d0f63 | 2016-09-01 01:22:27 +0000 | [diff] [blame] | 351 | Printf("INFO: Done MinimizeCrashInputInternalStep, no crashes found\n"); |
| 352 | exit(0); |
| 353 | return 0; |
| 354 | } |
| 355 | |
Dan Liew | d3c3311 | 2016-06-02 05:48:02 +0000 | [diff] [blame] | 356 | int FuzzerDriver(int *argc, char ***argv, UserCallback Callback) { |
Kostya Serebryany | a938bcb | 2015-09-10 16:57:57 +0000 | [diff] [blame] | 357 | using namespace fuzzer; |
Dan Liew | d3c3311 | 2016-06-02 05:48:02 +0000 | [diff] [blame] | 358 | assert(argc && argv && "Argument pointers cannot be nullptr"); |
Dan Liew | 1873a49 | 2016-06-07 23:32:50 +0000 | [diff] [blame] | 359 | EF = new ExternalFunctions(); |
| 360 | if (EF->LLVMFuzzerInitialize) |
| 361 | EF->LLVMFuzzerInitialize(argc, argv); |
Dan Liew | d3c3311 | 2016-06-02 05:48:02 +0000 | [diff] [blame] | 362 | const std::vector<std::string> Args(*argv, *argv + *argc); |
Kostya Serebryany | a938bcb | 2015-09-10 16:57:57 +0000 | [diff] [blame] | 363 | assert(!Args.empty()); |
| 364 | ProgName = new std::string(Args[0]); |
| 365 | ParseFlags(Args); |
Kostya Serebryany | 016852c | 2015-02-19 18:45:37 +0000 | [diff] [blame] | 366 | if (Flags.help) { |
| 367 | PrintHelp(); |
| 368 | return 0; |
| 369 | } |
| 370 | |
Kostya Serebryany | e2d0f63 | 2016-09-01 01:22:27 +0000 | [diff] [blame] | 371 | if (Flags.minimize_crash) |
| 372 | return MinimizeCrashInput(Args); |
| 373 | |
Kostya Serebryany | 49e4090 | 2016-03-18 20:58:29 +0000 | [diff] [blame] | 374 | if (Flags.close_fd_mask & 2) |
| 375 | DupAndCloseStderr(); |
| 376 | if (Flags.close_fd_mask & 1) |
| 377 | CloseStdout(); |
| 378 | |
Kostya Serebryany | 9690fcf | 2015-05-12 18:51:57 +0000 | [diff] [blame] | 379 | if (Flags.jobs > 0 && Flags.workers == 0) { |
| 380 | Flags.workers = std::min(NumberOfCpuCores() / 2, Flags.jobs); |
| 381 | if (Flags.workers > 1) |
Marcos Pividori | 6e3d885 | 2016-12-13 17:45:53 +0000 | [diff] [blame^] | 382 | Printf("Running %u workers\n", Flags.workers); |
Kostya Serebryany | 9690fcf | 2015-05-12 18:51:57 +0000 | [diff] [blame] | 383 | } |
| 384 | |
Kostya Serebryany | 016852c | 2015-02-19 18:45:37 +0000 | [diff] [blame] | 385 | if (Flags.workers > 0 && Flags.jobs > 0) |
Kostya Serebryany | a938bcb | 2015-09-10 16:57:57 +0000 | [diff] [blame] | 386 | return RunInMultipleProcesses(Args, Flags.workers, Flags.jobs); |
Kostya Serebryany | 016852c | 2015-02-19 18:45:37 +0000 | [diff] [blame] | 387 | |
Kostya Serebryany | 64d2457 | 2016-03-12 01:57:04 +0000 | [diff] [blame] | 388 | const size_t kMaxSaneLen = 1 << 20; |
Kostya Serebryany | 0c5e3af | 2016-03-15 01:28:00 +0000 | [diff] [blame] | 389 | const size_t kMinDefaultLen = 64; |
Mike Aizatsky | f0b3e85 | 2016-06-23 20:44:48 +0000 | [diff] [blame] | 390 | FuzzingOptions Options; |
Kostya Serebryany | 016852c | 2015-02-19 18:45:37 +0000 | [diff] [blame] | 391 | Options.Verbosity = Flags.verbosity; |
| 392 | Options.MaxLen = Flags.max_len; |
Kostya Serebryany | 490bbd6 | 2015-05-19 22:12:57 +0000 | [diff] [blame] | 393 | Options.UnitTimeoutSec = Flags.timeout; |
Kostya Serebryany | 8a56917 | 2016-11-03 19:31:18 +0000 | [diff] [blame] | 394 | Options.ErrorExitCode = Flags.error_exitcode; |
Kostya Serebryany | 54a6363 | 2016-01-29 23:30:07 +0000 | [diff] [blame] | 395 | Options.TimeoutExitCode = Flags.timeout_exitcode; |
Kostya Serebryany | b85db17 | 2015-10-02 20:47:55 +0000 | [diff] [blame] | 396 | Options.MaxTotalTimeSec = Flags.max_total_time; |
Kostya Serebryany | 016852c | 2015-02-19 18:45:37 +0000 | [diff] [blame] | 397 | Options.DoCrossOver = Flags.cross_over; |
| 398 | Options.MutateDepth = Flags.mutate_depth; |
Kostya Serebryany | be5e0ed | 2015-03-03 23:27:02 +0000 | [diff] [blame] | 399 | Options.UseCounters = Flags.use_counters; |
Kostya Serebryany | 2e9fca9 | 2015-10-22 23:55:39 +0000 | [diff] [blame] | 400 | Options.UseIndirCalls = Flags.use_indir_calls; |
Kostya Serebryany | ae5b956 | 2016-01-15 06:24:05 +0000 | [diff] [blame] | 401 | Options.UseMemcmp = Flags.use_memcmp; |
Kostya Serebryany | c135b55 | 2016-07-15 23:27:19 +0000 | [diff] [blame] | 402 | Options.UseMemmem = Flags.use_memmem; |
Kostya Serebryany | a5f94fb | 2016-10-14 20:20:33 +0000 | [diff] [blame] | 403 | Options.UseCmp = Flags.use_cmp; |
Kostya Serebryany | ab73c69 | 2016-09-23 00:46:18 +0000 | [diff] [blame] | 404 | Options.UseValueProfile = Flags.use_value_profile; |
Kostya Serebryany | d216922 | 2016-10-01 01:04:29 +0000 | [diff] [blame] | 405 | Options.Shrink = Flags.shrink; |
Kostya Serebryany | fed509e | 2015-10-17 04:38:26 +0000 | [diff] [blame] | 406 | Options.ShuffleAtStartUp = Flags.shuffle; |
Kostya Serebryany | 945761b | 2016-03-18 00:23:29 +0000 | [diff] [blame] | 407 | Options.PreferSmall = Flags.prefer_small; |
Kostya Serebryany | 9adc7c8 | 2016-10-08 22:12:14 +0000 | [diff] [blame] | 408 | Options.ReloadIntervalSec = Flags.reload; |
Kostya Serebryany | bc7c0ad | 2015-08-11 01:44:42 +0000 | [diff] [blame] | 409 | Options.OnlyASCII = Flags.only_ascii; |
Mike Aizatsky | a9c2387 | 2015-11-12 04:38:40 +0000 | [diff] [blame] | 410 | Options.OutputCSV = Flags.output_csv; |
Kostya Serebryany | 1bfd583 | 2016-04-20 00:24:21 +0000 | [diff] [blame] | 411 | Options.DetectLeaks = Flags.detect_leaks; |
Kostya Serebryany | a17d23e | 2016-10-13 19:06:46 +0000 | [diff] [blame] | 412 | Options.TraceMalloc = Flags.trace_malloc; |
Kostya Serebryany | 8b8f7a3 | 2016-05-06 23:38:07 +0000 | [diff] [blame] | 413 | Options.RssLimitMb = Flags.rss_limit_mb; |
Kostya Serebryany | 016852c | 2015-02-19 18:45:37 +0000 | [diff] [blame] | 414 | if (Flags.runs >= 0) |
| 415 | Options.MaxNumberOfRuns = Flags.runs; |
Kostya Serebryany | e2d0f63 | 2016-09-01 01:22:27 +0000 | [diff] [blame] | 416 | if (!Inputs->empty() && !Flags.minimize_crash_internal_step) |
Kostya Serebryany | a938bcb | 2015-09-10 16:57:57 +0000 | [diff] [blame] | 417 | Options.OutputCorpus = (*Inputs)[0]; |
Kostya Serebryany | 70926ae | 2015-08-05 21:43:48 +0000 | [diff] [blame] | 418 | Options.ReportSlowUnits = Flags.report_slow_units; |
Kostya Serebryany | bd5d1cd | 2015-10-09 03:57:59 +0000 | [diff] [blame] | 419 | if (Flags.artifact_prefix) |
| 420 | Options.ArtifactPrefix = Flags.artifact_prefix; |
Kostya Serebryany | 2d0ef14 | 2015-11-25 21:40:46 +0000 | [diff] [blame] | 421 | if (Flags.exact_artifact_path) |
| 422 | Options.ExactArtifactPath = Flags.exact_artifact_path; |
Kostya Serebryany | dc3135d | 2015-11-12 01:02:01 +0000 | [diff] [blame] | 423 | std::vector<Unit> Dictionary; |
Kostya Serebryany | 7d21166 | 2015-09-04 00:12:11 +0000 | [diff] [blame] | 424 | if (Flags.dict) |
Kostya Serebryany | dc3135d | 2015-11-12 01:02:01 +0000 | [diff] [blame] | 425 | if (!ParseDictionaryFile(FileToString(Flags.dict), &Dictionary)) |
Kostya Serebryany | 7d21166 | 2015-09-04 00:12:11 +0000 | [diff] [blame] | 426 | return 1; |
Kostya Serebryany | dc3135d | 2015-11-12 01:02:01 +0000 | [diff] [blame] | 427 | if (Flags.verbosity > 0 && !Dictionary.empty()) |
| 428 | Printf("Dictionary: %zd entries\n", Dictionary.size()); |
Kostya Serebryany | c5575aa | 2016-03-17 19:59:39 +0000 | [diff] [blame] | 429 | bool DoPlainRun = AllInputsAreFiles(); |
Kostya Serebryany | e2d0f63 | 2016-09-01 01:22:27 +0000 | [diff] [blame] | 430 | Options.SaveArtifacts = |
| 431 | !DoPlainRun || Flags.minimize_crash_internal_step; |
Kostya Serebryany | 0f0fa4f | 2016-08-25 22:35:08 +0000 | [diff] [blame] | 432 | Options.PrintNewCovPcs = Flags.print_pcs; |
Kostya Serebryany | 66ff075 | 2016-02-26 22:42:23 +0000 | [diff] [blame] | 433 | Options.PrintFinalStats = Flags.print_final_stats; |
Kostya Serebryany | 29bb664 | 2016-09-21 22:42:17 +0000 | [diff] [blame] | 434 | Options.PrintCorpusStats = Flags.print_corpus_stats; |
Kostya Serebryany | b706b48 | 2016-09-18 21:47:08 +0000 | [diff] [blame] | 435 | Options.PrintCoverage = Flags.print_coverage; |
Kostya Serebryany | 5ff481f | 2016-09-27 00:10:20 +0000 | [diff] [blame] | 436 | if (Flags.exit_on_src_pos) |
| 437 | Options.ExitOnSrcPos = Flags.exit_on_src_pos; |
Kostya Serebryany | d216922 | 2016-10-01 01:04:29 +0000 | [diff] [blame] | 438 | if (Flags.exit_on_item) |
| 439 | Options.ExitOnItem = Flags.exit_on_item; |
Kostya Serebryany | 7d21166 | 2015-09-04 00:12:11 +0000 | [diff] [blame] | 440 | |
Kostya Serebryany | a399221 | 2016-02-13 03:00:53 +0000 | [diff] [blame] | 441 | unsigned Seed = Flags.seed; |
| 442 | // Initialize Seed. |
| 443 | if (Seed == 0) |
| 444 | Seed = (std::chrono::system_clock::now().time_since_epoch().count() << 10) + |
Zachary Turner | 6fa57ad | 2016-12-02 23:02:01 +0000 | [diff] [blame] | 445 | GetPid(); |
Kostya Serebryany | a399221 | 2016-02-13 03:00:53 +0000 | [diff] [blame] | 446 | if (Flags.verbosity) |
Kostya Serebryany | 64d2457 | 2016-03-12 01:57:04 +0000 | [diff] [blame] | 447 | Printf("INFO: Seed: %u\n", Seed); |
Kostya Serebryany | a399221 | 2016-02-13 03:00:53 +0000 | [diff] [blame] | 448 | |
| 449 | Random Rand(Seed); |
Kostya Serebryany | 6c77811 | 2016-11-14 19:21:38 +0000 | [diff] [blame] | 450 | auto *MD = new MutationDispatcher(Rand, Options); |
| 451 | auto *Corpus = new InputCorpus(Options.OutputCorpus); |
| 452 | auto *F = new Fuzzer(Callback, *Corpus, *MD, Options); |
Kostya Serebryany | 016852c | 2015-02-19 18:45:37 +0000 | [diff] [blame] | 453 | |
Kostya Serebryany | dc3135d | 2015-11-12 01:02:01 +0000 | [diff] [blame] | 454 | for (auto &U: Dictionary) |
Kostya Serebryany | 476f0ce | 2016-01-16 03:53:32 +0000 | [diff] [blame] | 455 | if (U.size() <= Word::GetMaxSize()) |
Kostya Serebryany | fc1c405 | 2016-11-12 00:24:35 +0000 | [diff] [blame] | 456 | MD->AddWordToManualDictionary(Word(U.data(), U.size())); |
Kostya Serebryany | dc3135d | 2015-11-12 01:02:01 +0000 | [diff] [blame] | 457 | |
Kostya Serebryany | fc1c405 | 2016-11-12 00:24:35 +0000 | [diff] [blame] | 458 | StartRssThread(F, Flags.rss_limit_mb); |
Kostya Serebryany | 52b394e | 2016-05-06 21:58:35 +0000 | [diff] [blame] | 459 | |
Marcos Pividori | c59b692 | 2016-12-13 17:45:20 +0000 | [diff] [blame] | 460 | Options.HandleAbrt = Flags.handle_abrt; |
| 461 | Options.HandleBus = Flags.handle_bus; |
| 462 | Options.HandleFpe = Flags.handle_fpe; |
| 463 | Options.HandleIll = Flags.handle_ill; |
| 464 | Options.HandleInt = Flags.handle_int; |
| 465 | Options.HandleSegv = Flags.handle_segv; |
| 466 | Options.HandleTerm = Flags.handle_term; |
| 467 | SetSignalHandler(Options); |
Kostya Serebryany | b91c62b | 2015-10-16 22:41:47 +0000 | [diff] [blame] | 468 | |
Kostya Serebryany | e2d0f63 | 2016-09-01 01:22:27 +0000 | [diff] [blame] | 469 | if (Flags.minimize_crash_internal_step) |
Kostya Serebryany | fc1c405 | 2016-11-12 00:24:35 +0000 | [diff] [blame] | 470 | return MinimizeCrashInputInternalStep(F, Corpus); |
Kostya Serebryany | e2d0f63 | 2016-09-01 01:22:27 +0000 | [diff] [blame] | 471 | |
Kostya Serebryany | c5575aa | 2016-03-17 19:59:39 +0000 | [diff] [blame] | 472 | if (DoPlainRun) { |
| 473 | Options.SaveArtifacts = false; |
Kostya Serebryany | 9d14e4b | 2016-02-12 02:32:03 +0000 | [diff] [blame] | 474 | int Runs = std::max(1, Flags.runs); |
| 475 | Printf("%s: Running %zd inputs %d time(s) each.\n", ProgName->c_str(), |
| 476 | Inputs->size(), Runs); |
Kostya Serebryany | bfbe7fc | 2016-02-02 03:03:47 +0000 | [diff] [blame] | 477 | for (auto &Path : *Inputs) { |
| 478 | auto StartTime = system_clock::now(); |
Kostya Serebryany | 042d1a7 | 2016-06-17 13:07:06 +0000 | [diff] [blame] | 479 | Printf("Running: %s\n", Path.c_str()); |
Kostya Serebryany | 5c3701c | 2016-03-04 22:35:40 +0000 | [diff] [blame] | 480 | for (int Iter = 0; Iter < Runs; Iter++) |
Kostya Serebryany | fc1c405 | 2016-11-12 00:24:35 +0000 | [diff] [blame] | 481 | RunOneTest(F, Path.c_str(), Options.MaxLen); |
Kostya Serebryany | bfbe7fc | 2016-02-02 03:03:47 +0000 | [diff] [blame] | 482 | auto StopTime = system_clock::now(); |
| 483 | auto MS = duration_cast<milliseconds>(StopTime - StartTime).count(); |
Kostya Serebryany | 042d1a7 | 2016-06-17 13:07:06 +0000 | [diff] [blame] | 484 | Printf("Executed %s in %zd ms\n", Path.c_str(), (long)MS); |
Kostya Serebryany | bfbe7fc | 2016-02-02 03:03:47 +0000 | [diff] [blame] | 485 | } |
Kostya Serebryany | bdb220c | 2016-08-15 19:44:04 +0000 | [diff] [blame] | 486 | Printf("***\n" |
| 487 | "*** NOTE: fuzzing was not performed, you have only\n" |
| 488 | "*** executed the target code on a fixed set of inputs.\n" |
| 489 | "***\n"); |
Kostya Serebryany | fc1c405 | 2016-11-12 00:24:35 +0000 | [diff] [blame] | 490 | F->PrintFinalStats(); |
Kostya Serebryany | bfbe7fc | 2016-02-02 03:03:47 +0000 | [diff] [blame] | 491 | exit(0); |
| 492 | } |
| 493 | |
Kostya Serebryany | 9cc3b0d | 2015-10-24 01:16:40 +0000 | [diff] [blame] | 494 | if (Flags.merge) { |
Kostya Serebryany | 64d2457 | 2016-03-12 01:57:04 +0000 | [diff] [blame] | 495 | if (Options.MaxLen == 0) |
Kostya Serebryany | fc1c405 | 2016-11-12 00:24:35 +0000 | [diff] [blame] | 496 | F->SetMaxInputLen(kMaxSaneLen); |
| 497 | F->Merge(*Inputs); |
Kostya Serebryany | 9cc3b0d | 2015-10-24 01:16:40 +0000 | [diff] [blame] | 498 | exit(0); |
| 499 | } |
| 500 | |
Kostya Serebryany | 111e1d6 | 2016-12-09 01:17:24 +0000 | [diff] [blame] | 501 | if (Flags.experimental_merge) { |
| 502 | if (Options.MaxLen == 0) |
| 503 | F->SetMaxInputLen(kMaxSaneLen); |
| 504 | if (Flags.merge_control_file) |
| 505 | F->CrashResistantMergeInternalStep(Flags.merge_control_file); |
| 506 | else |
| 507 | F->CrashResistantMerge(Args, *Inputs); |
| 508 | exit(0); |
| 509 | } |
| 510 | |
Kostya Serebryany | 64d2457 | 2016-03-12 01:57:04 +0000 | [diff] [blame] | 511 | size_t TemporaryMaxLen = Options.MaxLen ? Options.MaxLen : kMaxSaneLen; |
Kostya Serebryany | 016852c | 2015-02-19 18:45:37 +0000 | [diff] [blame] | 512 | |
Kostya Serebryany | 09aa01a | 2016-09-21 01:04:43 +0000 | [diff] [blame] | 513 | UnitVector InitialCorpus; |
| 514 | for (auto &Inp : *Inputs) { |
| 515 | Printf("Loading corpus dir: %s\n", Inp.c_str()); |
Kostya Serebryany | c5325ed | 2016-10-08 23:24:45 +0000 | [diff] [blame] | 516 | ReadDirToVectorOfUnits(Inp.c_str(), &InitialCorpus, nullptr, |
| 517 | TemporaryMaxLen, /*ExitOnError=*/false); |
Kostya Serebryany | 09aa01a | 2016-09-21 01:04:43 +0000 | [diff] [blame] | 518 | } |
Kostya Serebryany | 64d2457 | 2016-03-12 01:57:04 +0000 | [diff] [blame] | 519 | |
Kostya Serebryany | 09aa01a | 2016-09-21 01:04:43 +0000 | [diff] [blame] | 520 | if (Options.MaxLen == 0) { |
| 521 | size_t MaxLen = 0; |
| 522 | for (auto &U : InitialCorpus) |
| 523 | MaxLen = std::max(U.size(), MaxLen); |
Kostya Serebryany | fc1c405 | 2016-11-12 00:24:35 +0000 | [diff] [blame] | 524 | F->SetMaxInputLen(std::min(std::max(kMinDefaultLen, MaxLen), kMaxSaneLen)); |
Kostya Serebryany | 09aa01a | 2016-09-21 01:04:43 +0000 | [diff] [blame] | 525 | } |
Kostya Serebryany | 016852c | 2015-02-19 18:45:37 +0000 | [diff] [blame] | 526 | |
Kostya Serebryany | 09aa01a | 2016-09-21 01:04:43 +0000 | [diff] [blame] | 527 | if (InitialCorpus.empty()) { |
Kostya Serebryany | 53c894d | 2016-11-12 02:27:21 +0000 | [diff] [blame] | 528 | InitialCorpus.push_back(Unit({'\n'})); // Valid ASCII input. |
Kostya Serebryany | 09087bb | 2016-04-18 21:14:11 +0000 | [diff] [blame] | 529 | if (Options.Verbosity) |
| 530 | Printf("INFO: A corpus is not provided, starting from an empty corpus\n"); |
| 531 | } |
Kostya Serebryany | fc1c405 | 2016-11-12 00:24:35 +0000 | [diff] [blame] | 532 | F->ShuffleAndMinimize(&InitialCorpus); |
Kostya Serebryany | 936b1e7 | 2016-10-06 05:14:00 +0000 | [diff] [blame] | 533 | InitialCorpus.clear(); // Don't need this memory any more. |
Kostya Serebryany | fc1c405 | 2016-11-12 00:24:35 +0000 | [diff] [blame] | 534 | F->Loop(); |
Kostya Serebryany | dc3135d | 2015-11-12 01:02:01 +0000 | [diff] [blame] | 535 | |
Kostya Serebryany | 016852c | 2015-02-19 18:45:37 +0000 | [diff] [blame] | 536 | if (Flags.verbosity) |
Kostya Serebryany | fc1c405 | 2016-11-12 00:24:35 +0000 | [diff] [blame] | 537 | Printf("Done %d runs in %zd second(s)\n", F->getTotalNumberOfRuns(), |
| 538 | F->secondsSinceProcessStartUp()); |
| 539 | F->PrintFinalStats(); |
Kostya Serebryany | 20e9bcb | 2015-05-23 01:07:46 +0000 | [diff] [blame] | 540 | |
Kostya Serebryany | c8cd29f | 2015-10-03 07:02:05 +0000 | [diff] [blame] | 541 | exit(0); // Don't let F destroy itself. |
Kostya Serebryany | 016852c | 2015-02-19 18:45:37 +0000 | [diff] [blame] | 542 | } |
Dan Liew | 1873a49 | 2016-06-07 23:32:50 +0000 | [diff] [blame] | 543 | |
| 544 | // Storage for global ExternalFunctions object. |
| 545 | ExternalFunctions *EF = nullptr; |
| 546 | |
Kostya Serebryany | 016852c | 2015-02-19 18:45:37 +0000 | [diff] [blame] | 547 | } // namespace fuzzer |