blob: 3ef7c5f68aedfc46406c6614ab48c445fe1c7b29 [file] [log] [blame]
Aaron Ballmanef116982015-01-29 16:58:29 +00001//===- FuzzerLoop.cpp - Fuzzer's main loop --------------------------------===//
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// Fuzzer's main loop.
10//===----------------------------------------------------------------------===//
11
12#include "FuzzerInternal.h"
Aaron Ballmanef116982015-01-29 16:58:29 +000013#include <algorithm>
Kostya Serebryanyd50a3ee2016-01-13 23:02:30 +000014#include <cstring>
15#include <memory>
Aaron Ballmanef116982015-01-29 16:58:29 +000016
Kostya Serebryany2a48c242015-11-13 01:54:40 +000017#if defined(__has_include)
Ivan Krasindf919102016-01-22 22:28:27 +000018#if __has_include(<sanitizer / coverage_interface.h>)
19#include <sanitizer/coverage_interface.h>
20#endif
Kostya Serebryany1bfd5832016-04-20 00:24:21 +000021#if __has_include(<sanitizer / lsan_interface.h>)
22#include <sanitizer/lsan_interface.h>
23#endif
Kostya Serebryany2a48c242015-11-13 01:54:40 +000024#endif
25
Benjamin Kramerd96b0c12016-03-18 14:19:19 +000026#define NO_SANITIZE_MEMORY
27#if defined(__has_feature)
28#if __has_feature(memory_sanitizer)
29#undef NO_SANITIZE_MEMORY
30#define NO_SANITIZE_MEMORY __attribute__((no_sanitize_memory))
31#endif
32#endif
33
Aaron Ballmanef116982015-01-29 16:58:29 +000034namespace fuzzer {
Kostya Serebryanya9da9b42015-10-16 22:47:20 +000035static const size_t kMaxUnitSizeToPrint = 256;
Aaron Ballmanef116982015-01-29 16:58:29 +000036
Kostya Serebryanyf26017b2016-05-26 21:32:30 +000037thread_local bool Fuzzer::IsMyThread;
38
Dan Liew1873a492016-06-07 23:32:50 +000039static void MissingExternalApiFunction(const char *FnName) {
Kostya Serebryany5eab74e2015-11-09 23:17:45 +000040 Printf("ERROR: %s is not defined. Exiting.\n"
Ivan Krasindf919102016-01-22 22:28:27 +000041 "Did you use -fsanitize-coverage=... to build your code?\n",
42 FnName);
Kostya Serebryany5eab74e2015-11-09 23:17:45 +000043 exit(1);
44}
45
Dan Liew1873a492016-06-07 23:32:50 +000046#define CHECK_EXTERNAL_FUNCTION(fn) \
Kostya Serebryany5eab74e2015-11-09 23:17:45 +000047 do { \
Dan Liew1873a492016-06-07 23:32:50 +000048 if (!(EF->fn)) \
49 MissingExternalApiFunction(#fn); \
Kostya Serebryany5eab74e2015-11-09 23:17:45 +000050 } while (false)
51
Kostya Serebryany52a788e2015-03-31 20:13:20 +000052// Only one Fuzzer per process.
53static Fuzzer *F;
54
Kostya Serebryanyf67357c2016-08-25 01:25:03 +000055void Fuzzer::ResetEdgeCoverage() {
56 CHECK_EXTERNAL_FUNCTION(__sanitizer_reset_coverage);
57 EF->__sanitizer_reset_coverage();
58}
59
Kostya Serebryanyb76a2a52016-09-09 02:38:28 +000060void Fuzzer::ResetCounters() {
61 if (Options.UseCounters) {
62 EF->__sanitizer_update_counter_bitset_and_clear_counters(0);
63 }
64 if (EF->__sanitizer_get_coverage_pc_buffer_pos)
65 PcBufferPos = EF->__sanitizer_get_coverage_pc_buffer_pos();
Kostya Serebryany53501782016-09-15 04:36:45 +000066 TPC.GetNewPCsAndFlush();
Kostya Serebryanyb76a2a52016-09-09 02:38:28 +000067}
68
Kostya Serebryanyf67357c2016-08-25 01:25:03 +000069void Fuzzer::PrepareCounters(Fuzzer::Coverage *C) {
70 if (Options.UseCounters) {
71 size_t NumCounters = EF->__sanitizer_get_number_of_counters();
72 C->CounterBitmap.resize(NumCounters);
73 }
74}
75
76// Records data to a maximum coverage tracker. Returns true if additional
77// coverage was discovered.
78bool Fuzzer::RecordMaxCoverage(Fuzzer::Coverage *C) {
79 bool Res = false;
80
Kostya Serebryanya5277d52016-09-15 01:30:18 +000081 TPC.FinalizeTrace();
82
Kostya Serebryanya00b2432016-09-14 02:13:06 +000083 uint64_t NewBlockCoverage =
84 EF->__sanitizer_get_total_unique_coverage() + TPC.GetTotalCoverage();
Kostya Serebryanyf67357c2016-08-25 01:25:03 +000085 if (NewBlockCoverage > C->BlockCoverage) {
86 Res = true;
87 C->BlockCoverage = NewBlockCoverage;
Mike Aizatskyb4bbc3b2016-08-05 20:09:53 +000088 }
89
Kostya Serebryanyf67357c2016-08-25 01:25:03 +000090 if (Options.UseIndirCalls &&
91 EF->__sanitizer_get_total_unique_caller_callee_pairs) {
92 uint64_t NewCallerCalleeCoverage =
93 EF->__sanitizer_get_total_unique_caller_callee_pairs();
94 if (NewCallerCalleeCoverage > C->CallerCalleeCoverage) {
Mike Aizatsky1aa501e2016-05-10 23:43:15 +000095 Res = true;
Kostya Serebryanyf67357c2016-08-25 01:25:03 +000096 C->CallerCalleeCoverage = NewCallerCalleeCoverage;
Mike Aizatsky1aa501e2016-05-10 23:43:15 +000097 }
Mike Aizatsky1aa501e2016-05-10 23:43:15 +000098 }
Mike Aizatskyb4bbc3b2016-08-05 20:09:53 +000099
Kostya Serebryanyf67357c2016-08-25 01:25:03 +0000100 if (Options.UseCounters) {
101 uint64_t CounterDelta =
102 EF->__sanitizer_update_counter_bitset_and_clear_counters(
Kostya Serebryanya5277d52016-09-15 01:30:18 +0000103 C->CounterBitmap.data()) +
104 TPC.UpdateCounterMap(&C->TPCMap);
Kostya Serebryanyf67357c2016-08-25 01:25:03 +0000105 if (CounterDelta > 0) {
106 Res = true;
107 C->CounterBitmapBits += CounterDelta;
108 }
Kostya Serebryanya5277d52016-09-15 01:30:18 +0000109
Kostya Serebryanyf67357c2016-08-25 01:25:03 +0000110 }
111
Kostya Serebryanyf67357c2016-08-25 01:25:03 +0000112 size_t NewVPMapBits = VPMapMergeFromCurrent(C->VPMap);
113 if (NewVPMapBits > C->VPMapBits) {
114 Res = true;
115 C->VPMapBits = NewVPMapBits;
116 }
117
118 if (EF->__sanitizer_get_coverage_pc_buffer_pos) {
119 uint64_t NewPcBufferPos = EF->__sanitizer_get_coverage_pc_buffer_pos();
Kostya Serebryanyb76a2a52016-09-09 02:38:28 +0000120 if (NewPcBufferPos > PcBufferPos) {
Kostya Serebryanyf67357c2016-08-25 01:25:03 +0000121 Res = true;
Kostya Serebryanyb76a2a52016-09-09 02:38:28 +0000122 PcBufferPos = NewPcBufferPos;
Kostya Serebryanyf67357c2016-08-25 01:25:03 +0000123 }
124
125 if (PcBufferLen && NewPcBufferPos >= PcBufferLen) {
126 Printf("ERROR: PC buffer overflow\n");
127 _Exit(1);
128 }
129 }
130
131 return Res;
132}
Mike Aizatsky1aa501e2016-05-10 23:43:15 +0000133
Kostya Serebryanyfd6ad5b2016-06-16 20:17:41 +0000134// Leak detection is expensive, so we first check if there were more mallocs
135// than frees (using the sanitizer malloc hooks) and only then try to call lsan.
136struct MallocFreeTracer {
137 void Start() {
138 Mallocs = 0;
139 Frees = 0;
140 }
141 // Returns true if there were more mallocs than frees.
142 bool Stop() { return Mallocs > Frees; }
143 std::atomic<size_t> Mallocs;
144 std::atomic<size_t> Frees;
145};
146
147static MallocFreeTracer AllocTracer;
148
149void MallocHook(const volatile void *ptr, size_t size) {
150 AllocTracer.Mallocs++;
151}
152void FreeHook(const volatile void *ptr) {
153 AllocTracer.Frees++;
154}
155
Kostya Serebryany7ec0c562016-02-13 03:25:16 +0000156Fuzzer::Fuzzer(UserCallback CB, MutationDispatcher &MD, FuzzingOptions Options)
Kostya Serebryanyf67357c2016-08-25 01:25:03 +0000157 : CB(CB), MD(MD), Options(Options) {
Kostya Serebryany52a788e2015-03-31 20:13:20 +0000158 SetDeathCallback();
Kostya Serebryany22526252015-05-11 21:16:27 +0000159 InitializeTraceState();
Kostya Serebryany52a788e2015-03-31 20:13:20 +0000160 assert(!F);
161 F = this;
Mike Aizatsky1aa501e2016-05-10 23:43:15 +0000162 ResetCoverage();
Kostya Serebryanyf26017b2016-05-26 21:32:30 +0000163 IsMyThread = true;
Kostya Serebryanyfd6ad5b2016-06-16 20:17:41 +0000164 if (Options.DetectLeaks && EF->__sanitizer_install_malloc_and_free_hooks)
165 EF->__sanitizer_install_malloc_and_free_hooks(MallocHook, FreeHook);
Kostya Serebryanya5277d52016-09-15 01:30:18 +0000166 TPC.SetUseCounters(Options.UseCounters);
Kostya Serebryanyf67357c2016-08-25 01:25:03 +0000167
168 if (Options.PrintNewCovPcs) {
169 PcBufferLen = 1 << 24;
170 PcBuffer = new uintptr_t[PcBufferLen];
171 EF->__sanitizer_set_coverage_pc_buffer(PcBuffer, PcBufferLen);
172 }
Kostya Serebryany3e36ec12016-09-17 05:04:47 +0000173 if (Options.Verbosity)
174 TPC.PrintModuleInfo();
Kostya Serebryany52a788e2015-03-31 20:13:20 +0000175}
Aaron Ballmanef116982015-01-29 16:58:29 +0000176
Mike Aizatskyb4bbc3b2016-08-05 20:09:53 +0000177Fuzzer::~Fuzzer() { }
178
Kostya Serebryany8fc3a272016-05-27 00:21:33 +0000179void Fuzzer::LazyAllocateCurrentUnitData() {
180 if (CurrentUnitData || Options.MaxLen == 0) return;
181 CurrentUnitData = new uint8_t[Options.MaxLen];
182}
183
Aaron Ballmanef116982015-01-29 16:58:29 +0000184void Fuzzer::SetDeathCallback() {
Dan Liew1873a492016-06-07 23:32:50 +0000185 CHECK_EXTERNAL_FUNCTION(__sanitizer_set_death_callback);
186 EF->__sanitizer_set_death_callback(StaticDeathCallback);
Kostya Serebryany52a788e2015-03-31 20:13:20 +0000187}
188
Kostya Serebryany52a788e2015-03-31 20:13:20 +0000189void Fuzzer::StaticDeathCallback() {
190 assert(F);
191 F->DeathCallback();
Aaron Ballmanef116982015-01-29 16:58:29 +0000192}
193
Kostya Serebryanyb991cc12016-09-10 00:15:41 +0000194static void WarnOnUnsuccessfullMerge(bool DoWarn) {
Kostya Serebryany8c537c52016-09-10 02:17:22 +0000195 if (!DoWarn) return;
Kostya Serebryanyb991cc12016-09-10 00:15:41 +0000196 Printf(
197 "***\n"
198 "***\n"
199 "***\n"
200 "*** NOTE: merge did not succeed due to a failure on one of the inputs.\n"
201 "*** You will need to filter out crashes from the corpus, e.g. like this:\n"
202 "*** for f in WITH_CRASHES/*; do ./fuzzer $f && cp $f NO_CRASHES; done\n"
203 "*** Future versions may have crash-resistant merge, stay tuned.\n"
204 "***\n"
205 "***\n"
206 "***\n");
207}
208
Kostya Serebryany228d5b12016-03-01 22:19:21 +0000209void Fuzzer::DumpCurrentUnit(const char *Prefix) {
Kostya Serebryanyb991cc12016-09-10 00:15:41 +0000210 WarnOnUnsuccessfullMerge(InMergeMode);
Kostya Serebryany311cc832016-05-28 04:19:46 +0000211 if (!CurrentUnitData) return; // Happens when running individual inputs.
Kostya Serebryanya9a54802016-08-17 20:45:23 +0000212 MD.PrintMutationSequence();
213 Printf("; base unit: %s\n", Sha1ToString(BaseSha1).c_str());
Kostya Serebryany0edb5632016-05-27 00:54:15 +0000214 size_t UnitSize = CurrentUnitSize;
Kostya Serebryanyd8384122016-05-26 22:17:32 +0000215 if (UnitSize <= kMaxUnitSizeToPrint) {
Kostya Serebryany0edb5632016-05-27 00:54:15 +0000216 PrintHexArray(CurrentUnitData, UnitSize, "\n");
217 PrintASCII(CurrentUnitData, UnitSize, "\n");
Kostya Serebryanye95022a2015-10-09 04:03:14 +0000218 }
Kostya Serebryany0edb5632016-05-27 00:54:15 +0000219 WriteUnitToFileWithPrefix({CurrentUnitData, CurrentUnitData + UnitSize},
220 Prefix);
Kostya Serebryany228d5b12016-03-01 22:19:21 +0000221}
222
Benjamin Kramerd96b0c12016-03-18 14:19:19 +0000223NO_SANITIZE_MEMORY
Kostya Serebryany228d5b12016-03-01 22:19:21 +0000224void Fuzzer::DeathCallback() {
Kostya Serebryanyd8384122016-05-26 22:17:32 +0000225 DumpCurrentUnit("crash-");
Kostya Serebryany66ff0752016-02-26 22:42:23 +0000226 PrintFinalStats();
Aaron Ballmanef116982015-01-29 16:58:29 +0000227}
228
Kostya Serebryany52a788e2015-03-31 20:13:20 +0000229void Fuzzer::StaticAlarmCallback() {
230 assert(F);
231 F->AlarmCallback();
232}
233
Kostya Serebryany228d5b12016-03-01 22:19:21 +0000234void Fuzzer::StaticCrashSignalCallback() {
235 assert(F);
236 F->CrashCallback();
237}
238
239void Fuzzer::StaticInterruptCallback() {
240 assert(F);
241 F->InterruptCallback();
242}
243
244void Fuzzer::CrashCallback() {
245 Printf("==%d== ERROR: libFuzzer: deadly signal\n", GetPid());
Dan Liew1873a492016-06-07 23:32:50 +0000246 if (EF->__sanitizer_print_stack_trace)
247 EF->__sanitizer_print_stack_trace();
Kostya Serebryany228d5b12016-03-01 22:19:21 +0000248 Printf("NOTE: libFuzzer has rudimentary signal handlers.\n"
249 " Combine libFuzzer with AddressSanitizer or similar for better "
250 "crash reports.\n");
251 Printf("SUMMARY: libFuzzer: deadly signal\n");
252 DumpCurrentUnit("crash-");
253 PrintFinalStats();
254 exit(Options.ErrorExitCode);
255}
256
257void Fuzzer::InterruptCallback() {
258 Printf("==%d== libFuzzer: run interrupted; exiting\n", GetPid());
259 PrintFinalStats();
Kostya Serebryanye483ed22016-03-03 22:36:37 +0000260 _Exit(0); // Stop right now, don't perform any at-exit actions.
Kostya Serebryany228d5b12016-03-01 22:19:21 +0000261}
262
Benjamin Kramerd96b0c12016-03-18 14:19:19 +0000263NO_SANITIZE_MEMORY
Aaron Ballmanef116982015-01-29 16:58:29 +0000264void Fuzzer::AlarmCallback() {
Kostya Serebryany490bbd62015-05-19 22:12:57 +0000265 assert(Options.UnitTimeoutSec > 0);
Kostya Serebryanyd8384122016-05-26 22:17:32 +0000266 if (!InFuzzingThread()) return;
Kostya Serebryany0edb5632016-05-27 00:54:15 +0000267 if (!CurrentUnitSize)
Kostya Serebryanycfbcf902016-02-17 19:42:34 +0000268 return; // We have not started running units yet.
Aaron Ballmanef116982015-01-29 16:58:29 +0000269 size_t Seconds =
270 duration_cast<seconds>(system_clock::now() - UnitStartTime).count();
Ivan Krasindf919102016-01-22 22:28:27 +0000271 if (Seconds == 0)
272 return;
Kostya Serebryany490bbd62015-05-19 22:12:57 +0000273 if (Options.Verbosity >= 2)
Kostya Serebryany7c180ea2015-05-23 01:22:35 +0000274 Printf("AlarmCallback %zd\n", Seconds);
Kostya Serebryany490bbd62015-05-19 22:12:57 +0000275 if (Seconds >= (size_t)Options.UnitTimeoutSec) {
Kostya Serebryany7c180ea2015-05-23 01:22:35 +0000276 Printf("ALARM: working on the last Unit for %zd seconds\n", Seconds);
Kostya Serebryany316b5712015-05-26 20:57:47 +0000277 Printf(" and the timeout value is %d (use -timeout=N to change)\n",
278 Options.UnitTimeoutSec);
Kostya Serebryany228d5b12016-03-01 22:19:21 +0000279 DumpCurrentUnit("timeout-");
Kostya Serebryanyd6edce92015-10-16 23:04:31 +0000280 Printf("==%d== ERROR: libFuzzer: timeout after %d seconds\n", GetPid(),
281 Seconds);
Dan Liew1873a492016-06-07 23:32:50 +0000282 if (EF->__sanitizer_print_stack_trace)
283 EF->__sanitizer_print_stack_trace();
Kostya Serebryanyd6edce92015-10-16 23:04:31 +0000284 Printf("SUMMARY: libFuzzer: timeout\n");
Kostya Serebryany66ff0752016-02-26 22:42:23 +0000285 PrintFinalStats();
Kostya Serebryany31516732016-03-24 01:32:08 +0000286 _Exit(Options.TimeoutExitCode); // Stop right now.
Aaron Ballmanef116982015-01-29 16:58:29 +0000287 }
Aaron Ballmanef116982015-01-29 16:58:29 +0000288}
289
Kostya Serebryany8b8f7a32016-05-06 23:38:07 +0000290void Fuzzer::RssLimitCallback() {
Kostya Serebryany0edb5632016-05-27 00:54:15 +0000291 Printf(
292 "==%d== ERROR: libFuzzer: out-of-memory (used: %zdMb; limit: %zdMb)\n",
293 GetPid(), GetPeakRSSMb(), Options.RssLimitMb);
Kostya Serebryanyf6414422016-06-02 01:33:11 +0000294 Printf(" To change the out-of-memory limit use -rss_limit_mb=<N>\n\n");
Dan Liew1873a492016-06-07 23:32:50 +0000295 if (EF->__sanitizer_print_memory_profile)
296 EF->__sanitizer_print_memory_profile(50);
Kostya Serebryany0edb5632016-05-27 00:54:15 +0000297 DumpCurrentUnit("oom-");
298 Printf("SUMMARY: libFuzzer: out-of-memory\n");
299 PrintFinalStats();
300 _Exit(Options.ErrorExitCode); // Stop right now.
Kostya Serebryany52b394e2016-05-06 21:58:35 +0000301}
302
Kostya Serebryany09d2a5f2015-10-22 22:56:45 +0000303void Fuzzer::PrintStats(const char *Where, const char *End) {
Kostya Serebryany66ff0752016-02-26 22:42:23 +0000304 size_t ExecPerSec = execPerSec();
Mike Aizatskya9c23872015-11-12 04:38:40 +0000305 if (Options.OutputCSV) {
306 static bool csvHeaderPrinted = false;
307 if (!csvHeaderPrinted) {
308 csvHeaderPrinted = true;
309 Printf("runs,block_cov,bits,cc_cov,corpus,execs_per_sec,tbms,reason\n");
310 }
Kostya Serebryany9ba19182016-04-25 19:41:45 +0000311 Printf("%zd,%zd,%zd,%zd,%zd,%zd,%s\n", TotalNumberOfRuns,
Mike Aizatsky1aa501e2016-05-10 23:43:15 +0000312 MaxCoverage.BlockCoverage, MaxCoverage.CounterBitmapBits,
313 MaxCoverage.CallerCalleeCoverage, Corpus.size(), ExecPerSec, Where);
Mike Aizatskya9c23872015-11-12 04:38:40 +0000314 }
315
316 if (!Options.Verbosity)
317 return;
Kostya Serebryany007c9b22015-10-22 22:50:47 +0000318 Printf("#%zd\t%s", TotalNumberOfRuns, Where);
Mike Aizatsky1aa501e2016-05-10 23:43:15 +0000319 if (MaxCoverage.BlockCoverage)
320 Printf(" cov: %zd", MaxCoverage.BlockCoverage);
Kostya Serebryanyd46a59f2016-08-16 19:33:51 +0000321 if (MaxCoverage.VPMapBits)
322 Printf(" vp: %zd", MaxCoverage.VPMapBits);
Mike Aizatsky1aa501e2016-05-10 23:43:15 +0000323 if (auto TB = MaxCoverage.CounterBitmapBits)
Kostya Serebryany007c9b22015-10-22 22:50:47 +0000324 Printf(" bits: %zd", TB);
Mike Aizatsky1aa501e2016-05-10 23:43:15 +0000325 if (MaxCoverage.CallerCalleeCoverage)
326 Printf(" indir: %zd", MaxCoverage.CallerCalleeCoverage);
Kostya Serebryany007c9b22015-10-22 22:50:47 +0000327 Printf(" units: %zd exec/s: %zd", Corpus.size(), ExecPerSec);
Kostya Serebryany12c78372015-08-12 01:55:37 +0000328 Printf("%s", End);
Kostya Serebryany03db8b92015-03-30 22:44:03 +0000329}
330
Kostya Serebryany66ff0752016-02-26 22:42:23 +0000331void Fuzzer::PrintFinalStats() {
Kostya Serebryanyb706b482016-09-18 21:47:08 +0000332 if (Options.PrintCoverage)
333 TPC.PrintCoverage();
Kostya Serebryany66ff0752016-02-26 22:42:23 +0000334 if (!Options.PrintFinalStats) return;
335 size_t ExecPerSec = execPerSec();
336 Printf("stat::number_of_executed_units: %zd\n", TotalNumberOfRuns);
337 Printf("stat::average_exec_per_sec: %zd\n", ExecPerSec);
338 Printf("stat::new_units_added: %zd\n", NumberOfNewUnitsAdded);
339 Printf("stat::slowest_unit_time_sec: %zd\n", TimeOfLongestUnitInSeconds);
340 Printf("stat::peak_rss_mb: %zd\n", GetPeakRSSMb());
341}
342
Kostya Serebryany64d24572016-03-12 01:57:04 +0000343size_t Fuzzer::MaxUnitSizeInCorpus() const {
344 size_t Res = 0;
345 for (auto &X : Corpus)
346 Res = std::max(Res, X.size());
347 return Res;
348}
349
350void Fuzzer::SetMaxLen(size_t MaxLen) {
351 assert(Options.MaxLen == 0); // Can only reset MaxLen from 0 to non-0.
352 assert(MaxLen);
353 Options.MaxLen = MaxLen;
354 Printf("INFO: -max_len is not provided, using %zd\n", Options.MaxLen);
355}
356
357
358void Fuzzer::RereadOutputCorpus(size_t MaxSize) {
Ivan Krasindf919102016-01-22 22:28:27 +0000359 if (Options.OutputCorpus.empty())
360 return;
Kostya Serebryany1ac80552015-05-08 21:30:55 +0000361 std::vector<Unit> AdditionalCorpus;
362 ReadDirToVectorOfUnits(Options.OutputCorpus.c_str(), &AdditionalCorpus,
Kostya Serebryany64d24572016-03-12 01:57:04 +0000363 &EpochOfLastReadOfOutputCorpus, MaxSize);
Kostya Serebryany1ac80552015-05-08 21:30:55 +0000364 if (Corpus.empty()) {
365 Corpus = AdditionalCorpus;
366 return;
367 }
Ivan Krasindf919102016-01-22 22:28:27 +0000368 if (!Options.Reload)
369 return;
Kostya Serebryany490bbd62015-05-19 22:12:57 +0000370 if (Options.Verbosity >= 2)
Ivan Krasindf919102016-01-22 22:28:27 +0000371 Printf("Reload: read %zd new units.\n", AdditionalCorpus.size());
Kostya Serebryany1ac80552015-05-08 21:30:55 +0000372 for (auto &X : AdditionalCorpus) {
Kostya Serebryany64d24572016-03-12 01:57:04 +0000373 if (X.size() > MaxSize)
374 X.resize(MaxSize);
Kostya Serebryanycbb23342015-05-19 01:06:07 +0000375 if (UnitHashesAddedToCorpus.insert(Hash(X)).second) {
Kostya Serebryany98abb2c2016-01-13 23:46:01 +0000376 if (RunOne(X)) {
Kostya Serebryanycbb23342015-05-19 01:06:07 +0000377 Corpus.push_back(X);
Ivan Krasindf919102016-01-22 22:28:27 +0000378 UpdateCorpusDistribution();
Mike Aizatskya9c23872015-11-12 04:38:40 +0000379 PrintStats("RELOAD");
Kostya Serebryanycbb23342015-05-19 01:06:07 +0000380 }
Kostya Serebryany1ac80552015-05-08 21:30:55 +0000381 }
382 }
383}
384
Kostya Serebryany945761b2016-03-18 00:23:29 +0000385void Fuzzer::ShuffleCorpus(UnitVector *V) {
386 std::random_shuffle(V->begin(), V->end(), MD.GetRand());
387 if (Options.PreferSmall)
388 std::stable_sort(V->begin(), V->end(), [](const Unit &A, const Unit &B) {
389 return A.size() < B.size();
390 });
391}
392
Mike Aizatskyaf432a42016-05-24 23:14:29 +0000393// Tries random prefixes of corpus items.
Mike Aizatskyaf432a42016-05-24 23:14:29 +0000394void Fuzzer::TruncateUnits(std::vector<Unit> *NewCorpus) {
Mike Aizatskyb077d3f2016-08-30 20:49:07 +0000395 std::vector<double> Fractions = {0.25, 0.5, 0.75, 1.0};
Mike Aizatskyaf432a42016-05-24 23:14:29 +0000396
Mike Aizatskyb077d3f2016-08-30 20:49:07 +0000397 size_t TruncInputs = 0;
398 for (double Fraction : Fractions) {
Mike Aizatskyaf432a42016-05-24 23:14:29 +0000399 for (const auto &U : Corpus) {
Mike Aizatskyb077d3f2016-08-30 20:49:07 +0000400 uint64_t S = MD.GetRand()(U.size() * Fraction);
401 if (!S || !RunOne(U.data(), S))
402 continue;
403 TruncInputs++;
404 Unit U1(U.begin(), U.begin() + S);
405 NewCorpus->push_back(U1);
Mike Aizatskyaf432a42016-05-24 23:14:29 +0000406 }
407 }
Mike Aizatskyb077d3f2016-08-30 20:49:07 +0000408 if (TruncInputs)
409 Printf("\tINFO TRUNC %zd units added to in-memory corpus\n", TruncInputs);
Mike Aizatskyaf432a42016-05-24 23:14:29 +0000410}
411
Aaron Ballmanef116982015-01-29 16:58:29 +0000412void Fuzzer::ShuffleAndMinimize() {
Kostya Serebryany09d2a5f2015-10-22 22:56:45 +0000413 PrintStats("READ ");
Aaron Ballmanef116982015-01-29 16:58:29 +0000414 std::vector<Unit> NewCorpus;
Kostya Serebryany945761b2016-03-18 00:23:29 +0000415 if (Options.ShuffleAtStartUp)
416 ShuffleCorpus(&Corpus);
417
Mike Aizatskyaf432a42016-05-24 23:14:29 +0000418 if (Options.TruncateUnits) {
419 ResetCoverage();
420 TruncateUnits(&NewCorpus);
421 ResetCoverage();
422 }
423
Kostya Serebryany945761b2016-03-18 00:23:29 +0000424 for (const auto &U : Corpus) {
Mike Aizatsky1f88b122016-06-07 18:16:32 +0000425 bool NewCoverage = RunOne(U);
426 if (!Options.PruneCorpus || NewCoverage) {
Kostya Serebryany945761b2016-03-18 00:23:29 +0000427 NewCorpus.push_back(U);
428 if (Options.Verbosity >= 2)
Mike Aizatsky1aa501e2016-05-10 23:43:15 +0000429 Printf("NEW0: %zd L %zd\n", MaxCoverage.BlockCoverage, U.size());
Aaron Ballmanef116982015-01-29 16:58:29 +0000430 }
Kostya Serebryany4b923262016-05-26 20:25:49 +0000431 TryDetectingAMemoryLeak(U.data(), U.size(),
432 /*DuringInitialCorpusExecution*/ true);
Aaron Ballmanef116982015-01-29 16:58:29 +0000433 }
434 Corpus = NewCorpus;
Ivan Krasindf919102016-01-22 22:28:27 +0000435 UpdateCorpusDistribution();
Kostya Serebryanycbb23342015-05-19 01:06:07 +0000436 for (auto &X : Corpus)
437 UnitHashesAddedToCorpus.insert(Hash(X));
Kostya Serebryany09d2a5f2015-10-22 22:56:45 +0000438 PrintStats("INITED");
Kostya Serebryany76f42522016-06-08 01:46:13 +0000439 if (Corpus.empty()) {
440 Printf("ERROR: no interesting inputs were found. "
441 "Is the code instrumented for coverage? Exiting.\n");
442 exit(1);
443 }
Aaron Ballmanef116982015-01-29 16:58:29 +0000444}
445
Mike Aizatsky1aa501e2016-05-10 23:43:15 +0000446bool Fuzzer::UpdateMaxCoverage() {
Kostya Serebryanyb76a2a52016-09-09 02:38:28 +0000447 PrevPcBufferPos = PcBufferPos;
Kostya Serebryanyf67357c2016-08-25 01:25:03 +0000448 bool Res = RecordMaxCoverage(&MaxCoverage);
Mike Aizatsky1aa501e2016-05-10 23:43:15 +0000449
Mike Aizatsky1aa501e2016-05-10 23:43:15 +0000450 return Res;
451}
452
Kostya Serebryany8a5bef02016-02-13 17:56:51 +0000453bool Fuzzer::RunOne(const uint8_t *Data, size_t Size) {
Aaron Ballmanef116982015-01-29 16:58:29 +0000454 TotalNumberOfRuns++;
Kostya Serebryany007c9b22015-10-22 22:50:47 +0000455
Kostya Serebryany8a5bef02016-02-13 17:56:51 +0000456 ExecuteCallback(Data, Size);
Mike Aizatsky1aa501e2016-05-10 23:43:15 +0000457 bool Res = UpdateMaxCoverage();
Kostya Serebryany007c9b22015-10-22 22:50:47 +0000458
Kostya Serebryany16901a92015-03-30 23:04:35 +0000459 auto UnitStopTime = system_clock::now();
460 auto TimeOfUnit =
461 duration_cast<seconds>(UnitStopTime - UnitStartTime).count();
Mike Aizatskya9c23872015-11-12 04:38:40 +0000462 if (!(TotalNumberOfRuns & (TotalNumberOfRuns - 1)) &&
463 secondsSinceProcessStartUp() >= 2)
Kostya Serebryany09d2a5f2015-10-22 22:56:45 +0000464 PrintStats("pulse ");
Kostya Serebryany70926ae2015-08-05 21:43:48 +0000465 if (TimeOfUnit > TimeOfLongestUnitInSeconds &&
466 TimeOfUnit >= Options.ReportSlowUnits) {
Kostya Serebryany16901a92015-03-30 23:04:35 +0000467 TimeOfLongestUnitInSeconds = TimeOfUnit;
Kostya Serebryany70926ae2015-08-05 21:43:48 +0000468 Printf("Slowest unit: %zd s:\n", TimeOfLongestUnitInSeconds);
Kostya Serebryany8a5bef02016-02-13 17:56:51 +0000469 WriteUnitToFileWithPrefix({Data, Data + Size}, "slow-unit-");
Kostya Serebryany16901a92015-03-30 23:04:35 +0000470 }
471 return Res;
Kostya Serebryany2c1b33b2015-01-29 23:01:07 +0000472}
473
Kostya Serebryanyf1f3f932016-05-26 20:03:02 +0000474void Fuzzer::RunOneAndUpdateCorpus(const uint8_t *Data, size_t Size) {
Kostya Serebryany7d470cf2015-05-07 18:32:29 +0000475 if (TotalNumberOfRuns >= Options.MaxNumberOfRuns)
476 return;
Kostya Serebryany8a5bef02016-02-13 17:56:51 +0000477 if (RunOne(Data, Size))
478 ReportNewCoverage({Data, Data + Size});
Kostya Serebryany7d470cf2015-05-07 18:32:29 +0000479}
480
Kostya Serebryany0edb5632016-05-27 00:54:15 +0000481size_t Fuzzer::GetCurrentUnitInFuzzingThead(const uint8_t **Data) const {
Kostya Serebryanyd8384122016-05-26 22:17:32 +0000482 assert(InFuzzingThread());
Kostya Serebryanyd8384122016-05-26 22:17:32 +0000483 *Data = CurrentUnitData;
484 return CurrentUnitSize;
485}
486
Kostya Serebryany8a5bef02016-02-13 17:56:51 +0000487void Fuzzer::ExecuteCallback(const uint8_t *Data, size_t Size) {
Kostya Serebryany0edb5632016-05-27 00:54:15 +0000488 assert(InFuzzingThread());
Kostya Serebryany8fc3a272016-05-27 00:21:33 +0000489 LazyAllocateCurrentUnitData();
Kostya Serebryanyebb932d2016-04-18 22:50:39 +0000490 UnitStartTime = system_clock::now();
Kostya Serebryanyd50a3ee2016-01-13 23:02:30 +0000491 // We copy the contents of Unit into a separate heap buffer
492 // so that we reliably find buffer overflows in it.
Kostya Serebryanyf67357c2016-08-25 01:25:03 +0000493 uint8_t *DataCopy = new uint8_t[Size];
494 memcpy(DataCopy, Data, Size);
Kostya Serebryany8fc3a272016-05-27 00:21:33 +0000495 if (CurrentUnitData && CurrentUnitData != Data)
496 memcpy(CurrentUnitData, Data, Size);
Kostya Serebryanyf67357c2016-08-25 01:25:03 +0000497 AssignTaintLabels(DataCopy, Size);
Kostya Serebryany0edb5632016-05-27 00:54:15 +0000498 CurrentUnitSize = Size;
Kostya Serebryany1bfd5832016-04-20 00:24:21 +0000499 AllocTracer.Start();
Kostya Serebryanyb76a2a52016-09-09 02:38:28 +0000500 ResetCounters(); // Reset coverage right before the callback.
Kostya Serebryanyf67357c2016-08-25 01:25:03 +0000501 int Res = CB(DataCopy, Size);
Kostya Serebryany1bfd5832016-04-20 00:24:21 +0000502 (void)Res;
503 HasMoreMallocsThanFrees = AllocTracer.Stop();
Kostya Serebryany0edb5632016-05-27 00:54:15 +0000504 CurrentUnitSize = 0;
Kostya Serebryany20bb5e72015-10-02 23:34:06 +0000505 assert(Res == 0);
Kostya Serebryanyf67357c2016-08-25 01:25:03 +0000506 delete[] DataCopy;
Kostya Serebryany52a788e2015-03-31 20:13:20 +0000507}
508
Mike Aizatsky1aa501e2016-05-10 23:43:15 +0000509std::string Fuzzer::Coverage::DebugString() const {
510 std::string Result =
511 std::string("Coverage{") + "BlockCoverage=" +
512 std::to_string(BlockCoverage) + " CallerCalleeCoverage=" +
513 std::to_string(CallerCalleeCoverage) + " CounterBitmapBits=" +
Kostya Serebryanya00b2432016-09-14 02:13:06 +0000514 std::to_string(CounterBitmapBits) +
515 " VPMapBits " + std::to_string(VPMapBits) + "}";
Mike Aizatsky1aa501e2016-05-10 23:43:15 +0000516 return Result;
Aaron Ballmanef116982015-01-29 16:58:29 +0000517}
518
519void Fuzzer::WriteToOutputCorpus(const Unit &U) {
Kostya Serebryanyf1f3f932016-05-26 20:03:02 +0000520 if (Options.OnlyASCII)
521 assert(IsASCII(U));
Ivan Krasindf919102016-01-22 22:28:27 +0000522 if (Options.OutputCorpus.empty())
523 return;
Aaron Ballmanef116982015-01-29 16:58:29 +0000524 std::string Path = DirPlusFile(Options.OutputCorpus, Hash(U));
525 WriteToFile(U, Path);
526 if (Options.Verbosity >= 2)
Kostya Serebryany7c180ea2015-05-23 01:22:35 +0000527 Printf("Written to %s\n", Path.c_str());
Aaron Ballmanef116982015-01-29 16:58:29 +0000528}
529
Kostya Serebryany2b7d2e92015-07-23 18:37:22 +0000530void Fuzzer::WriteUnitToFileWithPrefix(const Unit &U, const char *Prefix) {
Kostya Serebryanyb91c62b2015-10-16 22:41:47 +0000531 if (!Options.SaveArtifacts)
532 return;
Kostya Serebryanybd5d1cd2015-10-09 03:57:59 +0000533 std::string Path = Options.ArtifactPrefix + Prefix + Hash(U);
Kostya Serebryany2d0ef142015-11-25 21:40:46 +0000534 if (!Options.ExactArtifactPath.empty())
Ivan Krasindf919102016-01-22 22:28:27 +0000535 Path = Options.ExactArtifactPath; // Overrides ArtifactPrefix.
Aaron Ballmanef116982015-01-29 16:58:29 +0000536 WriteToFile(U, Path);
Kostya Serebryanybd5d1cd2015-10-09 03:57:59 +0000537 Printf("artifact_prefix='%s'; Test unit written to %s\n",
538 Options.ArtifactPrefix.c_str(), Path.c_str());
Kostya Serebryany9e48cda2015-12-04 22:29:39 +0000539 if (U.size() <= kMaxUnitSizeToPrint)
540 Printf("Base64: %s\n", Base64(U).c_str());
Aaron Ballmanef116982015-01-29 16:58:29 +0000541}
542
543void Fuzzer::SaveCorpus() {
Ivan Krasindf919102016-01-22 22:28:27 +0000544 if (Options.OutputCorpus.empty())
545 return;
Aaron Ballmanef116982015-01-29 16:58:29 +0000546 for (const auto &U : Corpus)
547 WriteToFile(U, DirPlusFile(Options.OutputCorpus, Hash(U)));
548 if (Options.Verbosity)
Kostya Serebryany7c180ea2015-05-23 01:22:35 +0000549 Printf("Written corpus of %zd files to %s\n", Corpus.size(),
550 Options.OutputCorpus.c_str());
Aaron Ballmanef116982015-01-29 16:58:29 +0000551}
552
Kostya Serebryanydc3135d2015-11-12 01:02:01 +0000553void Fuzzer::PrintStatusForNewUnit(const Unit &U) {
554 if (!Options.PrintNEW)
555 return;
Kostya Serebryany09d2a5f2015-10-22 22:56:45 +0000556 PrintStats("NEW ", "");
Kostya Serebryany7d470cf2015-05-07 18:32:29 +0000557 if (Options.Verbosity) {
Kostya Serebryany14c50282015-12-19 01:09:49 +0000558 Printf(" L: %zd ", U.size());
Kostya Serebryany7ec0c562016-02-13 03:25:16 +0000559 MD.PrintMutationSequence();
Kostya Serebryany7c180ea2015-05-23 01:22:35 +0000560 Printf("\n");
Aaron Ballmanef116982015-01-29 16:58:29 +0000561 }
Kostya Serebryanydc3135d2015-11-12 01:02:01 +0000562}
563
Kostya Serebryany53501782016-09-15 04:36:45 +0000564void Fuzzer::PrintOneNewPC(uintptr_t PC) {
Kostya Serebryanyb706b482016-09-18 21:47:08 +0000565 PrintPC("\tNEW_PC: %p %F %L\n",
566 "\tNEW_PC: %p\n", PC);
Kostya Serebryany53501782016-09-15 04:36:45 +0000567}
568
Kostya Serebryany0f0fa4f2016-08-25 22:35:08 +0000569void Fuzzer::PrintNewPCs() {
Kostya Serebryany53501782016-09-15 04:36:45 +0000570 if (!Options.PrintNewCovPcs) return;
571 if (PrevPcBufferPos != PcBufferPos) {
Kostya Serebryanyb76a2a52016-09-09 02:38:28 +0000572 int NumPrinted = 0;
573 for (size_t I = PrevPcBufferPos; I < PcBufferPos; ++I) {
574 if (NumPrinted++ > 30) break; // Don't print too many new PCs.
Kostya Serebryany53501782016-09-15 04:36:45 +0000575 PrintOneNewPC(PcBuffer[I]);
Kostya Serebryany0f0fa4f2016-08-25 22:35:08 +0000576 }
577 }
Kostya Serebryany53501782016-09-15 04:36:45 +0000578 uintptr_t *PCs;
579 if (size_t NumNewPCs = TPC.GetNewPCsAndFlush(&PCs))
580 for (size_t i = 0; i < NumNewPCs; i++)
581 PrintOneNewPC(PCs[i]);
Kostya Serebryany0f0fa4f2016-08-25 22:35:08 +0000582}
583
Kostya Serebryanydc3135d2015-11-12 01:02:01 +0000584void Fuzzer::ReportNewCoverage(const Unit &U) {
585 Corpus.push_back(U);
Ivan Krasindf919102016-01-22 22:28:27 +0000586 UpdateCorpusDistribution();
Kostya Serebryanydc3135d2015-11-12 01:02:01 +0000587 UnitHashesAddedToCorpus.insert(Hash(U));
Kostya Serebryany7ec0c562016-02-13 03:25:16 +0000588 MD.RecordSuccessfulMutationSequence();
Kostya Serebryanydc3135d2015-11-12 01:02:01 +0000589 PrintStatusForNewUnit(U);
Kostya Serebryany7d470cf2015-05-07 18:32:29 +0000590 WriteToOutputCorpus(U);
Kostya Serebryany66ff0752016-02-26 22:42:23 +0000591 NumberOfNewUnitsAdded++;
Kostya Serebryany0f0fa4f2016-08-25 22:35:08 +0000592 PrintNewPCs();
Aaron Ballmanef116982015-01-29 16:58:29 +0000593}
594
Kostya Serebryany945761b2016-03-18 00:23:29 +0000595// Finds minimal number of units in 'Extra' that add coverage to 'Initial'.
596// We do it by actually executing the units, sometimes more than once,
597// because we may be using different coverage-like signals and the only
598// common thing between them is that we can say "this unit found new stuff".
599UnitVector Fuzzer::FindExtraUnits(const UnitVector &Initial,
600 const UnitVector &Extra) {
601 UnitVector Res = Extra;
602 size_t OldSize = Res.size();
603 for (int Iter = 0; Iter < 10; Iter++) {
604 ShuffleCorpus(&Res);
605 ResetCoverage();
606
607 for (auto &U : Initial)
608 RunOne(U);
609
610 Corpus.clear();
611 for (auto &U : Res)
612 if (RunOne(U))
613 Corpus.push_back(U);
614
615 char Stat[7] = "MIN ";
616 Stat[3] = '0' + Iter;
617 PrintStats(Stat);
618
619 size_t NewSize = Corpus.size();
Kostya Serebryanya0788e72016-05-13 22:11:23 +0000620 assert(NewSize <= OldSize);
Kostya Serebryany945761b2016-03-18 00:23:29 +0000621 Res.swap(Corpus);
622
Kostya Serebryanya0788e72016-05-13 22:11:23 +0000623 if (NewSize + 5 >= OldSize)
Kostya Serebryany945761b2016-03-18 00:23:29 +0000624 break;
625 OldSize = NewSize;
626 }
627 return Res;
628}
629
Kostya Serebryany9cc3b0d2015-10-24 01:16:40 +0000630void Fuzzer::Merge(const std::vector<std::string> &Corpora) {
631 if (Corpora.size() <= 1) {
632 Printf("Merge requires two or more corpus dirs\n");
633 return;
634 }
Kostya Serebryanyb991cc12016-09-10 00:15:41 +0000635 InMergeMode = true;
Kostya Serebryany9cc3b0d2015-10-24 01:16:40 +0000636 std::vector<std::string> ExtraCorpora(Corpora.begin() + 1, Corpora.end());
637
Kostya Serebryany945761b2016-03-18 00:23:29 +0000638 assert(Options.MaxLen > 0);
639 UnitVector Initial, Extra;
640 ReadDirToVectorOfUnits(Corpora[0].c_str(), &Initial, nullptr, Options.MaxLen);
641 for (auto &C : ExtraCorpora)
642 ReadDirToVectorOfUnits(C.c_str(), &Extra, nullptr, Options.MaxLen);
643
644 if (!Initial.empty()) {
645 Printf("=== Minimizing the initial corpus of %zd units\n", Initial.size());
646 Initial = FindExtraUnits({}, Initial);
Kostya Serebryany9cc3b0d2015-10-24 01:16:40 +0000647 }
Kostya Serebryany945761b2016-03-18 00:23:29 +0000648
649 Printf("=== Merging extra %zd units\n", Extra.size());
650 auto Res = FindExtraUnits(Initial, Extra);
651
652 for (auto &U: Res)
653 WriteToOutputCorpus(U);
654
655 Printf("=== Merge: written %zd units\n", Res.size());
Kostya Serebryany9cc3b0d2015-10-24 01:16:40 +0000656}
657
Kostya Serebryany1bfd5832016-04-20 00:24:21 +0000658// Tries detecting a memory leak on the particular input that we have just
659// executed before calling this function.
Kostya Serebryany4b923262016-05-26 20:25:49 +0000660void Fuzzer::TryDetectingAMemoryLeak(const uint8_t *Data, size_t Size,
661 bool DuringInitialCorpusExecution) {
Kostya Serebryany1bfd5832016-04-20 00:24:21 +0000662 if (!HasMoreMallocsThanFrees) return; // mallocs==frees, a leak is unlikely.
663 if (!Options.DetectLeaks) return;
Dan Liew1873a492016-06-07 23:32:50 +0000664 if (!&(EF->__lsan_enable) || !&(EF->__lsan_disable) ||
665 !(EF->__lsan_do_recoverable_leak_check))
Kostya Serebryany1bfd5832016-04-20 00:24:21 +0000666 return; // No lsan.
667 // Run the target once again, but with lsan disabled so that if there is
668 // a real leak we do not report it twice.
Dan Liew1873a492016-06-07 23:32:50 +0000669 EF->__lsan_disable();
Kostya Serebryany47952102016-05-29 15:58:57 +0000670 RunOne(Data, Size);
Dan Liew1873a492016-06-07 23:32:50 +0000671 EF->__lsan_enable();
Kostya Serebryany1bfd5832016-04-20 00:24:21 +0000672 if (!HasMoreMallocsThanFrees) return; // a leak is unlikely.
Kostya Serebryany7018a1a2016-04-27 19:52:34 +0000673 if (NumberOfLeakDetectionAttempts++ > 1000) {
674 Options.DetectLeaks = false;
675 Printf("INFO: libFuzzer disabled leak detection after every mutation.\n"
676 " Most likely the target function accumulates allocated\n"
677 " memory in a global state w/o actually leaking it.\n"
678 " If LeakSanitizer is enabled in this process it will still\n"
679 " run on the process shutdown.\n");
680 return;
681 }
Kostya Serebryany1bfd5832016-04-20 00:24:21 +0000682 // Now perform the actual lsan pass. This is expensive and we must ensure
683 // we don't call it too often.
Dan Liew1873a492016-06-07 23:32:50 +0000684 if (EF->__lsan_do_recoverable_leak_check()) { // Leak is found, report it.
Kostya Serebryany4b923262016-05-26 20:25:49 +0000685 if (DuringInitialCorpusExecution)
686 Printf("\nINFO: a leak has been found in the initial corpus.\n\n");
687 Printf("INFO: to ignore leaks on libFuzzer side use -detect_leaks=0.\n\n");
Kostya Serebryany0edb5632016-05-27 00:54:15 +0000688 CurrentUnitSize = Size;
Kostya Serebryany1bfd5832016-04-20 00:24:21 +0000689 DumpCurrentUnit("leak-");
690 PrintFinalStats();
691 _Exit(Options.ErrorExitCode); // not exit() to disable lsan further on.
692 }
693}
694
Kostya Serebryany27ab2d72015-12-19 02:49:09 +0000695void Fuzzer::MutateAndTestOne() {
Kostya Serebryany8fc3a272016-05-27 00:21:33 +0000696 LazyAllocateCurrentUnitData();
Kostya Serebryany7ec0c562016-02-13 03:25:16 +0000697 MD.StartMutationSequence();
Kostya Serebryany27ab2d72015-12-19 02:49:09 +0000698
Kostya Serebryany8a5bef02016-02-13 17:56:51 +0000699 auto &U = ChooseUnitToMutate();
Kostya Serebryanya9a54802016-08-17 20:45:23 +0000700 ComputeSHA1(U.data(), U.size(), BaseSha1); // Remember where we started.
Kostya Serebryany8fc3a272016-05-27 00:21:33 +0000701 assert(CurrentUnitData);
Kostya Serebryany8a5bef02016-02-13 17:56:51 +0000702 size_t Size = U.size();
Mike Aizatsky94e29662016-04-08 23:32:24 +0000703 assert(Size <= Options.MaxLen && "Oversized Unit");
Kostya Serebryany8fc3a272016-05-27 00:21:33 +0000704 memcpy(CurrentUnitData, U.data(), Size);
Kostya Serebryany27ab2d72015-12-19 02:49:09 +0000705
Kostya Serebryany7d470cf2015-05-07 18:32:29 +0000706 for (int i = 0; i < Options.MutateDepth; i++) {
Kostya Serebryany22cc5e22016-02-13 02:29:38 +0000707 size_t NewSize = 0;
Mike Aizatsky70fd3e42016-06-03 21:34:29 +0000708 NewSize = MD.Mutate(CurrentUnitData, Size, Options.MaxLen);
Kostya Serebryany2ea204e2015-05-30 17:33:13 +0000709 assert(NewSize > 0 && "Mutator returned empty unit");
Kostya Serebryany64d24572016-03-12 01:57:04 +0000710 assert(NewSize <= Options.MaxLen &&
Kostya Serebryany2ea204e2015-05-30 17:33:13 +0000711 "Mutator return overisized unit");
Kostya Serebryany8a5bef02016-02-13 17:56:51 +0000712 Size = NewSize;
Kostya Serebryanyb65805a2016-01-09 03:08:58 +0000713 if (i == 0)
714 StartTraceRecording();
Kostya Serebryany8fc3a272016-05-27 00:21:33 +0000715 RunOneAndUpdateCorpus(CurrentUnitData, Size);
Kostya Serebryanyb65805a2016-01-09 03:08:58 +0000716 StopTraceRecording();
Kostya Serebryany8fc3a272016-05-27 00:21:33 +0000717 TryDetectingAMemoryLeak(CurrentUnitData, Size,
Kostya Serebryany4b923262016-05-26 20:25:49 +0000718 /*DuringInitialCorpusExecution*/ false);
Kostya Serebryany7d470cf2015-05-07 18:32:29 +0000719 }
720}
721
Kostya Serebryanye6926212015-11-04 23:22:25 +0000722// Returns an index of random unit from the corpus to mutate.
723// Hypothesis: units added to the corpus last are more likely to be interesting.
Ivan Krasindf919102016-01-22 22:28:27 +0000724// This function gives more weight to the more recent units.
Kostya Serebryanydc3135d2015-11-12 01:02:01 +0000725size_t Fuzzer::ChooseUnitIdxToMutate() {
Kostya Serebryany7ec0c562016-02-13 03:25:16 +0000726 size_t Idx =
727 static_cast<size_t>(CorpusDistribution(MD.GetRand().Get_mt19937()));
Ivan Krasindf919102016-01-22 22:28:27 +0000728 assert(Idx < Corpus.size());
729 return Idx;
Kostya Serebryanye6926212015-11-04 23:22:25 +0000730}
731
Kostya Serebryany945761b2016-03-18 00:23:29 +0000732void Fuzzer::ResetCoverage() {
Kostya Serebryanyf67357c2016-08-25 01:25:03 +0000733 ResetEdgeCoverage();
Mike Aizatsky1aa501e2016-05-10 23:43:15 +0000734 MaxCoverage.Reset();
Kostya Serebryany3e36ec12016-09-17 05:04:47 +0000735 TPC.Reset();
Kostya Serebryanyf67357c2016-08-25 01:25:03 +0000736 PrepareCounters(&MaxCoverage);
Kostya Serebryany945761b2016-03-18 00:23:29 +0000737}
738
Kostya Serebryanydc3135d2015-11-12 01:02:01 +0000739// Experimental search heuristic: drilling.
740// - Read, shuffle, execute and minimize the corpus.
741// - Choose one random unit.
742// - Reset the coverage.
743// - Start fuzzing as if the chosen unit was the only element of the corpus.
744// - When done, reset the coverage again.
745// - Merge the newly created corpus into the original one.
746void Fuzzer::Drill() {
747 // The corpus is already read, shuffled, and minimized.
748 assert(!Corpus.empty());
Ivan Krasindf919102016-01-22 22:28:27 +0000749 Options.PrintNEW = false; // Don't print NEW status lines when drilling.
Kostya Serebryany7d211662015-09-04 00:12:11 +0000750
Kostya Serebryanydc3135d2015-11-12 01:02:01 +0000751 Unit U = ChooseUnitToMutate();
752
Kostya Serebryany945761b2016-03-18 00:23:29 +0000753 ResetCoverage();
Kostya Serebryanydc3135d2015-11-12 01:02:01 +0000754
755 std::vector<Unit> SavedCorpus;
756 SavedCorpus.swap(Corpus);
757 Corpus.push_back(U);
Ivan Krasindf919102016-01-22 22:28:27 +0000758 UpdateCorpusDistribution();
Kostya Serebryanydc3135d2015-11-12 01:02:01 +0000759 assert(Corpus.size() == 1);
760 RunOne(U);
761 PrintStats("DRILL ");
762 std::string SavedOutputCorpusPath; // Don't write new units while drilling.
763 SavedOutputCorpusPath.swap(Options.OutputCorpus);
764 Loop();
765
Kostya Serebryany945761b2016-03-18 00:23:29 +0000766 ResetCoverage();
Kostya Serebryanydc3135d2015-11-12 01:02:01 +0000767
768 PrintStats("REINIT");
769 SavedOutputCorpusPath.swap(Options.OutputCorpus);
Kostya Serebryany98abb2c2016-01-13 23:46:01 +0000770 for (auto &U : SavedCorpus)
Kostya Serebryanydc3135d2015-11-12 01:02:01 +0000771 RunOne(U);
772 PrintStats("MERGE ");
773 Options.PrintNEW = true;
774 size_t NumMerged = 0;
775 for (auto &U : Corpus) {
776 if (RunOne(U)) {
777 PrintStatusForNewUnit(U);
778 NumMerged++;
779 WriteToOutputCorpus(U);
780 }
781 }
782 PrintStats("MERGED");
783 if (NumMerged && Options.Verbosity)
784 Printf("Drilling discovered %zd new units\n", NumMerged);
785}
786
787void Fuzzer::Loop() {
Kostya Serebryany8617aaa2015-12-05 02:09:22 +0000788 system_clock::time_point LastCorpusReload = system_clock::now();
Kostya Serebryany27ab2d72015-12-19 02:49:09 +0000789 if (Options.DoCrossOver)
Kostya Serebryany7ec0c562016-02-13 03:25:16 +0000790 MD.SetCorpus(&Corpus);
Kostya Serebryany468ed782015-09-08 17:30:35 +0000791 while (true) {
Kostya Serebryany8617aaa2015-12-05 02:09:22 +0000792 auto Now = system_clock::now();
793 if (duration_cast<seconds>(Now - LastCorpusReload).count()) {
Kostya Serebryany64d24572016-03-12 01:57:04 +0000794 RereadOutputCorpus(Options.MaxLen);
Kostya Serebryany8617aaa2015-12-05 02:09:22 +0000795 LastCorpusReload = Now;
796 }
Kostya Serebryanye6926212015-11-04 23:22:25 +0000797 if (TotalNumberOfRuns >= Options.MaxNumberOfRuns)
Mike Aizatskya9c23872015-11-12 04:38:40 +0000798 break;
Kostya Serebryanye6926212015-11-04 23:22:25 +0000799 if (Options.MaxTotalTimeSec > 0 &&
800 secondsSinceProcessStartUp() >
Ivan Krasindf919102016-01-22 22:28:27 +0000801 static_cast<size_t>(Options.MaxTotalTimeSec))
Mike Aizatskya9c23872015-11-12 04:38:40 +0000802 break;
Kostya Serebryanye6926212015-11-04 23:22:25 +0000803 // Perform several mutations and runs.
Kostya Serebryany27ab2d72015-12-19 02:49:09 +0000804 MutateAndTestOne();
Aaron Ballmanef116982015-01-29 16:58:29 +0000805 }
Mike Aizatskya9c23872015-11-12 04:38:40 +0000806
807 PrintStats("DONE ", "\n");
Kostya Serebryany7ec0c562016-02-13 03:25:16 +0000808 MD.PrintRecommendedDictionary();
Aaron Ballmanef116982015-01-29 16:58:29 +0000809}
810
Ivan Krasindf919102016-01-22 22:28:27 +0000811void Fuzzer::UpdateCorpusDistribution() {
812 size_t N = Corpus.size();
813 std::vector<double> Intervals(N + 1);
814 std::vector<double> Weights(N);
815 std::iota(Intervals.begin(), Intervals.end(), 0);
816 std::iota(Weights.begin(), Weights.end(), 1);
817 CorpusDistribution = std::piecewise_constant_distribution<double>(
818 Intervals.begin(), Intervals.end(), Weights.begin());
819}
820
821} // namespace fuzzer
Kostya Serebryany8b0d90a2016-05-13 18:04:35 +0000822
823extern "C" {
824
825size_t LLVMFuzzerMutate(uint8_t *Data, size_t Size, size_t MaxSize) {
826 assert(fuzzer::F);
Mike Aizatsky70fd3e42016-06-03 21:34:29 +0000827 return fuzzer::F->GetMD().DefaultMutate(Data, Size, MaxSize);
Kostya Serebryany8b0d90a2016-05-13 18:04:35 +0000828}
829} // extern "C"