blob: 4bc88365a0b9727187947f3559ced458064559e9 [file] [log] [blame]
george.karpenkov29efa6d2017-08-21 23:25:50 +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 "FuzzerCorpus.h"
13#include "FuzzerIO.h"
14#include "FuzzerInternal.h"
15#include "FuzzerMutate.h"
16#include "FuzzerRandom.h"
17#include "FuzzerShmem.h"
18#include "FuzzerTracePC.h"
19#include <algorithm>
20#include <cstring>
21#include <memory>
vitalybukab3e5a2c2017-11-01 03:02:59 +000022#include <mutex>
george.karpenkov29efa6d2017-08-21 23:25:50 +000023#include <set>
24
25#if defined(__has_include)
26#if __has_include(<sanitizer / lsan_interface.h>)
27#include <sanitizer/lsan_interface.h>
28#endif
29#endif
30
31#define NO_SANITIZE_MEMORY
32#if defined(__has_feature)
33#if __has_feature(memory_sanitizer)
34#undef NO_SANITIZE_MEMORY
35#define NO_SANITIZE_MEMORY __attribute__((no_sanitize_memory))
36#endif
37#endif
38
39namespace fuzzer {
40static const size_t kMaxUnitSizeToPrint = 256;
41
42thread_local bool Fuzzer::IsMyThread;
43
44SharedMemoryRegion SMR;
45
morehousec6ee8752018-07-17 16:12:00 +000046bool RunningUserCallback = false;
47
george.karpenkov29efa6d2017-08-21 23:25:50 +000048// Only one Fuzzer per process.
49static Fuzzer *F;
50
51// Leak detection is expensive, so we first check if there were more mallocs
52// than frees (using the sanitizer malloc hooks) and only then try to call lsan.
53struct MallocFreeTracer {
54 void Start(int TraceLevel) {
55 this->TraceLevel = TraceLevel;
56 if (TraceLevel)
57 Printf("MallocFreeTracer: START\n");
58 Mallocs = 0;
59 Frees = 0;
60 }
61 // Returns true if there were more mallocs than frees.
62 bool Stop() {
63 if (TraceLevel)
64 Printf("MallocFreeTracer: STOP %zd %zd (%s)\n", Mallocs.load(),
65 Frees.load(), Mallocs == Frees ? "same" : "DIFFERENT");
66 bool Result = Mallocs > Frees;
67 Mallocs = 0;
68 Frees = 0;
69 TraceLevel = 0;
70 return Result;
71 }
72 std::atomic<size_t> Mallocs;
73 std::atomic<size_t> Frees;
74 int TraceLevel = 0;
vitalybukae6504cf2017-11-02 04:12:10 +000075
76 std::recursive_mutex TraceMutex;
77 bool TraceDisabled = false;
george.karpenkov29efa6d2017-08-21 23:25:50 +000078};
79
80static MallocFreeTracer AllocTracer;
81
vitalybukae6504cf2017-11-02 04:12:10 +000082// Locks printing and avoids nested hooks triggered from mallocs/frees in
83// sanitizer.
84class TraceLock {
85public:
86 TraceLock() : Lock(AllocTracer.TraceMutex) {
87 AllocTracer.TraceDisabled = !AllocTracer.TraceDisabled;
88 }
89 ~TraceLock() { AllocTracer.TraceDisabled = !AllocTracer.TraceDisabled; }
90
91 bool IsDisabled() const {
92 // This is already inverted value.
93 return !AllocTracer.TraceDisabled;
94 }
95
96private:
97 std::lock_guard<std::recursive_mutex> Lock;
98};
vitalybukab3e5a2c2017-11-01 03:02:59 +000099
george.karpenkov29efa6d2017-08-21 23:25:50 +0000100ATTRIBUTE_NO_SANITIZE_MEMORY
101void MallocHook(const volatile void *ptr, size_t size) {
102 size_t N = AllocTracer.Mallocs++;
103 F->HandleMalloc(size);
104 if (int TraceLevel = AllocTracer.TraceLevel) {
vitalybukae6504cf2017-11-02 04:12:10 +0000105 TraceLock Lock;
106 if (Lock.IsDisabled())
107 return;
george.karpenkov29efa6d2017-08-21 23:25:50 +0000108 Printf("MALLOC[%zd] %p %zd\n", N, ptr, size);
109 if (TraceLevel >= 2 && EF)
morehousebd67cc22018-05-08 23:45:05 +0000110 PrintStackTrace();
george.karpenkov29efa6d2017-08-21 23:25:50 +0000111 }
112}
113
114ATTRIBUTE_NO_SANITIZE_MEMORY
115void FreeHook(const volatile void *ptr) {
116 size_t N = AllocTracer.Frees++;
117 if (int TraceLevel = AllocTracer.TraceLevel) {
vitalybukae6504cf2017-11-02 04:12:10 +0000118 TraceLock Lock;
119 if (Lock.IsDisabled())
120 return;
george.karpenkov29efa6d2017-08-21 23:25:50 +0000121 Printf("FREE[%zd] %p\n", N, ptr);
122 if (TraceLevel >= 2 && EF)
morehousebd67cc22018-05-08 23:45:05 +0000123 PrintStackTrace();
george.karpenkov29efa6d2017-08-21 23:25:50 +0000124 }
125}
126
127// Crash on a single malloc that exceeds the rss limit.
128void Fuzzer::HandleMalloc(size_t Size) {
kcc120e40b2017-12-01 22:12:04 +0000129 if (!Options.MallocLimitMb || (Size >> 20) < (size_t)Options.MallocLimitMb)
george.karpenkov29efa6d2017-08-21 23:25:50 +0000130 return;
131 Printf("==%d== ERROR: libFuzzer: out-of-memory (malloc(%zd))\n", GetPid(),
132 Size);
133 Printf(" To change the out-of-memory limit use -rss_limit_mb=<N>\n\n");
morehousebd67cc22018-05-08 23:45:05 +0000134 PrintStackTrace();
george.karpenkov29efa6d2017-08-21 23:25:50 +0000135 DumpCurrentUnit("oom-");
136 Printf("SUMMARY: libFuzzer: out-of-memory\n");
137 PrintFinalStats();
138 _Exit(Options.ErrorExitCode); // Stop right now.
139}
140
141Fuzzer::Fuzzer(UserCallback CB, InputCorpus &Corpus, MutationDispatcher &MD,
142 FuzzingOptions Options)
143 : CB(CB), Corpus(Corpus), MD(MD), Options(Options) {
144 if (EF->__sanitizer_set_death_callback)
145 EF->__sanitizer_set_death_callback(StaticDeathCallback);
146 assert(!F);
147 F = this;
148 TPC.ResetMaps();
149 IsMyThread = true;
150 if (Options.DetectLeaks && EF->__sanitizer_install_malloc_and_free_hooks)
151 EF->__sanitizer_install_malloc_and_free_hooks(MallocHook, FreeHook);
152 TPC.SetUseCounters(Options.UseCounters);
kcc3850d062018-07-03 22:33:09 +0000153 TPC.SetUseValueProfileMask(Options.UseValueProfile);
george.karpenkov29efa6d2017-08-21 23:25:50 +0000154
155 if (Options.Verbosity)
156 TPC.PrintModuleInfo();
157 if (!Options.OutputCorpus.empty() && Options.ReloadIntervalSec)
158 EpochOfLastReadOfOutputCorpus = GetEpoch(Options.OutputCorpus);
159 MaxInputLen = MaxMutationLen = Options.MaxLen;
160 TmpMaxMutationLen = Max(size_t(4), Corpus.MaxInputSize());
161 AllocateCurrentUnitData();
162 CurrentUnitSize = 0;
163 memset(BaseSha1, 0, sizeof(BaseSha1));
kcc3acbe072018-05-16 23:26:37 +0000164 TPC.SetFocusFunction(Options.FocusFunction);
kcc86e43882018-06-06 01:23:29 +0000165 DFT.Init(Options.DataFlowTrace, Options.FocusFunction);
george.karpenkov29efa6d2017-08-21 23:25:50 +0000166}
167
alekseyshl9f6a9f22017-10-23 23:24:33 +0000168Fuzzer::~Fuzzer() {}
george.karpenkov29efa6d2017-08-21 23:25:50 +0000169
170void Fuzzer::AllocateCurrentUnitData() {
alekseyshl9f6a9f22017-10-23 23:24:33 +0000171 if (CurrentUnitData || MaxInputLen == 0)
172 return;
george.karpenkov29efa6d2017-08-21 23:25:50 +0000173 CurrentUnitData = new uint8_t[MaxInputLen];
174}
175
176void Fuzzer::StaticDeathCallback() {
177 assert(F);
178 F->DeathCallback();
179}
180
181void Fuzzer::DumpCurrentUnit(const char *Prefix) {
alekseyshl9f6a9f22017-10-23 23:24:33 +0000182 if (!CurrentUnitData)
183 return; // Happens when running individual inputs.
morehouse1467b792018-07-09 23:51:08 +0000184 ScopedDisableMsanInterceptorChecks S;
george.karpenkov29efa6d2017-08-21 23:25:50 +0000185 MD.PrintMutationSequence();
186 Printf("; base unit: %s\n", Sha1ToString(BaseSha1).c_str());
187 size_t UnitSize = CurrentUnitSize;
188 if (UnitSize <= kMaxUnitSizeToPrint) {
189 PrintHexArray(CurrentUnitData, UnitSize, "\n");
190 PrintASCII(CurrentUnitData, UnitSize, "\n");
191 }
192 WriteUnitToFileWithPrefix({CurrentUnitData, CurrentUnitData + UnitSize},
193 Prefix);
194}
195
196NO_SANITIZE_MEMORY
197void Fuzzer::DeathCallback() {
198 DumpCurrentUnit("crash-");
199 PrintFinalStats();
200}
201
202void Fuzzer::StaticAlarmCallback() {
203 assert(F);
204 F->AlarmCallback();
205}
206
207void Fuzzer::StaticCrashSignalCallback() {
208 assert(F);
209 F->CrashCallback();
210}
211
212void Fuzzer::StaticExitCallback() {
213 assert(F);
214 F->ExitCallback();
215}
216
217void Fuzzer::StaticInterruptCallback() {
218 assert(F);
219 F->InterruptCallback();
220}
221
kcc1239a992017-11-09 20:30:19 +0000222void Fuzzer::StaticGracefulExitCallback() {
223 assert(F);
224 F->GracefulExitRequested = true;
225 Printf("INFO: signal received, trying to exit gracefully\n");
226}
227
george.karpenkov29efa6d2017-08-21 23:25:50 +0000228void Fuzzer::StaticFileSizeExceedCallback() {
229 Printf("==%lu== ERROR: libFuzzer: file size exceeded\n", GetPid());
230 exit(1);
231}
232
233void Fuzzer::CrashCallback() {
morehousef7b44452018-05-02 02:55:28 +0000234 if (EF->__sanitizer_acquire_crash_state)
235 EF->__sanitizer_acquire_crash_state();
george.karpenkov29efa6d2017-08-21 23:25:50 +0000236 Printf("==%lu== ERROR: libFuzzer: deadly signal\n", GetPid());
morehousebd67cc22018-05-08 23:45:05 +0000237 PrintStackTrace();
george.karpenkov29efa6d2017-08-21 23:25:50 +0000238 Printf("NOTE: libFuzzer has rudimentary signal handlers.\n"
239 " Combine libFuzzer with AddressSanitizer or similar for better "
240 "crash reports.\n");
241 Printf("SUMMARY: libFuzzer: deadly signal\n");
242 DumpCurrentUnit("crash-");
243 PrintFinalStats();
alekseyshl9f6a9f22017-10-23 23:24:33 +0000244 _Exit(Options.ErrorExitCode); // Stop right now.
george.karpenkov29efa6d2017-08-21 23:25:50 +0000245}
246
247void Fuzzer::ExitCallback() {
morehousec6ee8752018-07-17 16:12:00 +0000248 if (!RunningUserCallback)
george.karpenkov29efa6d2017-08-21 23:25:50 +0000249 return; // This exit did not come from the user callback
morehouse5a4566a2018-05-01 21:01:53 +0000250 if (EF->__sanitizer_acquire_crash_state &&
251 !EF->__sanitizer_acquire_crash_state())
252 return;
george.karpenkov29efa6d2017-08-21 23:25:50 +0000253 Printf("==%lu== ERROR: libFuzzer: fuzz target exited\n", GetPid());
morehousebd67cc22018-05-08 23:45:05 +0000254 PrintStackTrace();
george.karpenkov29efa6d2017-08-21 23:25:50 +0000255 Printf("SUMMARY: libFuzzer: fuzz target exited\n");
256 DumpCurrentUnit("crash-");
257 PrintFinalStats();
258 _Exit(Options.ErrorExitCode);
259}
260
kcc1239a992017-11-09 20:30:19 +0000261void Fuzzer::MaybeExitGracefully() {
262 if (!GracefulExitRequested) return;
263 Printf("==%lu== INFO: libFuzzer: exiting as requested\n", GetPid());
264 PrintFinalStats();
265 _Exit(0);
266}
267
george.karpenkov29efa6d2017-08-21 23:25:50 +0000268void Fuzzer::InterruptCallback() {
269 Printf("==%lu== libFuzzer: run interrupted; exiting\n", GetPid());
270 PrintFinalStats();
alekseyshl9f6a9f22017-10-23 23:24:33 +0000271 _Exit(0); // Stop right now, don't perform any at-exit actions.
george.karpenkov29efa6d2017-08-21 23:25:50 +0000272}
273
274NO_SANITIZE_MEMORY
275void Fuzzer::AlarmCallback() {
276 assert(Options.UnitTimeoutSec > 0);
277 // In Windows Alarm callback is executed by a different thread.
278#if !LIBFUZZER_WINDOWS
alekseyshl9f6a9f22017-10-23 23:24:33 +0000279 if (!InFuzzingThread())
280 return;
george.karpenkov29efa6d2017-08-21 23:25:50 +0000281#endif
morehousec6ee8752018-07-17 16:12:00 +0000282 if (!RunningUserCallback)
george.karpenkov29efa6d2017-08-21 23:25:50 +0000283 return; // We have not started running units yet.
284 size_t Seconds =
285 duration_cast<seconds>(system_clock::now() - UnitStartTime).count();
286 if (Seconds == 0)
287 return;
288 if (Options.Verbosity >= 2)
289 Printf("AlarmCallback %zd\n", Seconds);
290 if (Seconds >= (size_t)Options.UnitTimeoutSec) {
morehouse5a4566a2018-05-01 21:01:53 +0000291 if (EF->__sanitizer_acquire_crash_state &&
292 !EF->__sanitizer_acquire_crash_state())
293 return;
george.karpenkov29efa6d2017-08-21 23:25:50 +0000294 Printf("ALARM: working on the last Unit for %zd seconds\n", Seconds);
295 Printf(" and the timeout value is %d (use -timeout=N to change)\n",
296 Options.UnitTimeoutSec);
297 DumpCurrentUnit("timeout-");
298 Printf("==%lu== ERROR: libFuzzer: timeout after %d seconds\n", GetPid(),
299 Seconds);
morehousebd67cc22018-05-08 23:45:05 +0000300 PrintStackTrace();
george.karpenkov29efa6d2017-08-21 23:25:50 +0000301 Printf("SUMMARY: libFuzzer: timeout\n");
302 PrintFinalStats();
303 _Exit(Options.TimeoutExitCode); // Stop right now.
304 }
305}
306
307void Fuzzer::RssLimitCallback() {
morehouse5a4566a2018-05-01 21:01:53 +0000308 if (EF->__sanitizer_acquire_crash_state &&
309 !EF->__sanitizer_acquire_crash_state())
310 return;
george.karpenkov29efa6d2017-08-21 23:25:50 +0000311 Printf(
312 "==%lu== ERROR: libFuzzer: out-of-memory (used: %zdMb; limit: %zdMb)\n",
313 GetPid(), GetPeakRSSMb(), Options.RssLimitMb);
314 Printf(" To change the out-of-memory limit use -rss_limit_mb=<N>\n\n");
morehousebd67cc22018-05-08 23:45:05 +0000315 PrintMemoryProfile();
george.karpenkov29efa6d2017-08-21 23:25:50 +0000316 DumpCurrentUnit("oom-");
317 Printf("SUMMARY: libFuzzer: out-of-memory\n");
318 PrintFinalStats();
319 _Exit(Options.ErrorExitCode); // Stop right now.
320}
321
322void Fuzzer::PrintStats(const char *Where, const char *End, size_t Units) {
323 size_t ExecPerSec = execPerSec();
324 if (!Options.Verbosity)
325 return;
326 Printf("#%zd\t%s", TotalNumberOfRuns, Where);
327 if (size_t N = TPC.GetTotalPCCoverage())
328 Printf(" cov: %zd", N);
329 if (size_t N = Corpus.NumFeatures())
alekseyshl9f6a9f22017-10-23 23:24:33 +0000330 Printf(" ft: %zd", N);
george.karpenkov29efa6d2017-08-21 23:25:50 +0000331 if (!Corpus.empty()) {
332 Printf(" corp: %zd", Corpus.NumActiveUnits());
333 if (size_t N = Corpus.SizeInBytes()) {
alekseyshl9f6a9f22017-10-23 23:24:33 +0000334 if (N < (1 << 14))
george.karpenkov29efa6d2017-08-21 23:25:50 +0000335 Printf("/%zdb", N);
336 else if (N < (1 << 24))
337 Printf("/%zdKb", N >> 10);
338 else
339 Printf("/%zdMb", N >> 20);
340 }
kcc3acbe072018-05-16 23:26:37 +0000341 if (size_t FF = Corpus.NumInputsThatTouchFocusFunction())
342 Printf(" focus: %zd", FF);
george.karpenkov29efa6d2017-08-21 23:25:50 +0000343 }
morehousea6c692c2018-02-22 19:00:17 +0000344 if (TmpMaxMutationLen)
345 Printf(" lim: %zd", TmpMaxMutationLen);
george.karpenkov29efa6d2017-08-21 23:25:50 +0000346 if (Units)
347 Printf(" units: %zd", Units);
348
349 Printf(" exec/s: %zd", ExecPerSec);
350 Printf(" rss: %zdMb", GetPeakRSSMb());
351 Printf("%s", End);
352}
353
354void Fuzzer::PrintFinalStats() {
355 if (Options.PrintCoverage)
356 TPC.PrintCoverage();
dor1sbb933292018-07-16 16:01:31 +0000357 if (Options.PrintUnstableStats)
358 TPC.PrintUnstableStats();
kcca7dd2a92018-05-21 19:47:00 +0000359 if (Options.DumpCoverage)
360 TPC.DumpCoverage();
george.karpenkov29efa6d2017-08-21 23:25:50 +0000361 if (Options.PrintCorpusStats)
362 Corpus.PrintStats();
dor1s2f728942018-07-17 20:37:40 +0000363 if (Options.PrintMutationStats) MD.PrintMutationStats();
alekseyshl9f6a9f22017-10-23 23:24:33 +0000364 if (!Options.PrintFinalStats)
365 return;
george.karpenkov29efa6d2017-08-21 23:25:50 +0000366 size_t ExecPerSec = execPerSec();
367 Printf("stat::number_of_executed_units: %zd\n", TotalNumberOfRuns);
368 Printf("stat::average_exec_per_sec: %zd\n", ExecPerSec);
369 Printf("stat::new_units_added: %zd\n", NumberOfNewUnitsAdded);
370 Printf("stat::slowest_unit_time_sec: %zd\n", TimeOfLongestUnitInSeconds);
371 Printf("stat::peak_rss_mb: %zd\n", GetPeakRSSMb());
372}
373
374void Fuzzer::SetMaxInputLen(size_t MaxInputLen) {
375 assert(this->MaxInputLen == 0); // Can only reset MaxInputLen from 0 to non-0.
376 assert(MaxInputLen);
377 this->MaxInputLen = MaxInputLen;
378 this->MaxMutationLen = MaxInputLen;
379 AllocateCurrentUnitData();
380 Printf("INFO: -max_len is not provided; "
381 "libFuzzer will not generate inputs larger than %zd bytes\n",
382 MaxInputLen);
383}
384
385void Fuzzer::SetMaxMutationLen(size_t MaxMutationLen) {
386 assert(MaxMutationLen && MaxMutationLen <= MaxInputLen);
387 this->MaxMutationLen = MaxMutationLen;
388}
389
390void Fuzzer::CheckExitOnSrcPosOrItem() {
391 if (!Options.ExitOnSrcPos.empty()) {
george.karpenkovfbfa45c2017-08-27 23:20:09 +0000392 static auto *PCsSet = new Set<uintptr_t>;
george.karpenkov29efa6d2017-08-21 23:25:50 +0000393 auto HandlePC = [&](uintptr_t PC) {
alekseyshl9f6a9f22017-10-23 23:24:33 +0000394 if (!PCsSet->insert(PC).second)
395 return;
george.karpenkov29efa6d2017-08-21 23:25:50 +0000396 std::string Descr = DescribePC("%F %L", PC + 1);
397 if (Descr.find(Options.ExitOnSrcPos) != std::string::npos) {
398 Printf("INFO: found line matching '%s', exiting.\n",
399 Options.ExitOnSrcPos.c_str());
400 _Exit(0);
401 }
402 };
403 TPC.ForEachObservedPC(HandlePC);
404 }
405 if (!Options.ExitOnItem.empty()) {
406 if (Corpus.HasUnit(Options.ExitOnItem)) {
407 Printf("INFO: found item with checksum '%s', exiting.\n",
408 Options.ExitOnItem.c_str());
409 _Exit(0);
410 }
411 }
412}
413
414void Fuzzer::RereadOutputCorpus(size_t MaxSize) {
alekseyshl9f6a9f22017-10-23 23:24:33 +0000415 if (Options.OutputCorpus.empty() || !Options.ReloadIntervalSec)
416 return;
george.karpenkovfbfa45c2017-08-27 23:20:09 +0000417 Vector<Unit> AdditionalCorpus;
george.karpenkov29efa6d2017-08-21 23:25:50 +0000418 ReadDirToVectorOfUnits(Options.OutputCorpus.c_str(), &AdditionalCorpus,
419 &EpochOfLastReadOfOutputCorpus, MaxSize,
420 /*ExitOnError*/ false);
421 if (Options.Verbosity >= 2)
422 Printf("Reload: read %zd new units.\n", AdditionalCorpus.size());
423 bool Reloaded = false;
424 for (auto &U : AdditionalCorpus) {
425 if (U.size() > MaxSize)
426 U.resize(MaxSize);
427 if (!Corpus.HasUnit(U)) {
428 if (RunOne(U.data(), U.size())) {
429 CheckExitOnSrcPosOrItem();
430 Reloaded = true;
431 }
432 }
433 }
434 if (Reloaded)
435 PrintStats("RELOAD");
436}
437
george.karpenkov29efa6d2017-08-21 23:25:50 +0000438void Fuzzer::PrintPulseAndReportSlowInput(const uint8_t *Data, size_t Size) {
439 auto TimeOfUnit =
440 duration_cast<seconds>(UnitStopTime - UnitStartTime).count();
441 if (!(TotalNumberOfRuns & (TotalNumberOfRuns - 1)) &&
442 secondsSinceProcessStartUp() >= 2)
443 PrintStats("pulse ");
444 if (TimeOfUnit > TimeOfLongestUnitInSeconds * 1.1 &&
445 TimeOfUnit >= Options.ReportSlowUnits) {
446 TimeOfLongestUnitInSeconds = TimeOfUnit;
447 Printf("Slowest unit: %zd s:\n", TimeOfLongestUnitInSeconds);
448 WriteUnitToFileWithPrefix({Data, Data + Size}, "slow-unit-");
449 }
450}
451
dor1sbb933292018-07-16 16:01:31 +0000452void Fuzzer::CheckForUnstableCounters(const uint8_t *Data, size_t Size) {
453 auto CBSetupAndRun = [&]() {
454 ScopedEnableMsanInterceptorChecks S;
455 UnitStartTime = system_clock::now();
456 TPC.ResetMaps();
morehousec6ee8752018-07-17 16:12:00 +0000457 RunningUserCallback = true;
dor1sbb933292018-07-16 16:01:31 +0000458 CB(Data, Size);
morehousec6ee8752018-07-17 16:12:00 +0000459 RunningUserCallback = false;
dor1sbb933292018-07-16 16:01:31 +0000460 UnitStopTime = system_clock::now();
461 };
462
463 // Copy original run counters into our unstable counters
464 TPC.InitializeUnstableCounters();
465
466 // First Rerun
467 CBSetupAndRun();
dor1sf50b3bb2018-07-23 14:20:52 +0000468 TPC.UpdateUnstableCounters(Options.HandleUnstable);
dor1sbb933292018-07-16 16:01:31 +0000469
470 // Second Rerun
471 CBSetupAndRun();
dor1sf50b3bb2018-07-23 14:20:52 +0000472 TPC.UpdateUnstableCounters(Options.HandleUnstable);
473
474 // Move minimum hit counts back to ModuleInline8bitCounters
dor1sd6266262018-07-24 21:02:44 +0000475 if (Options.HandleUnstable == TracePC::MinUnstable ||
476 Options.HandleUnstable == TracePC::ZeroUnstable)
dor1sf50b3bb2018-07-23 14:20:52 +0000477 TPC.ApplyUnstableCounters();
dor1sbb933292018-07-16 16:01:31 +0000478}
479
george.karpenkov29efa6d2017-08-21 23:25:50 +0000480bool Fuzzer::RunOne(const uint8_t *Data, size_t Size, bool MayDeleteFile,
kccb6836be2017-12-01 19:18:38 +0000481 InputInfo *II, bool *FoundUniqFeatures) {
alekseyshl9f6a9f22017-10-23 23:24:33 +0000482 if (!Size)
483 return false;
george.karpenkov29efa6d2017-08-21 23:25:50 +0000484
485 ExecuteCallback(Data, Size);
486
487 UniqFeatureSetTmp.clear();
488 size_t FoundUniqFeaturesOfII = 0;
489 size_t NumUpdatesBefore = Corpus.NumFeatureUpdates();
dor1sf50b3bb2018-07-23 14:20:52 +0000490 bool NewFeaturesUnstable = false;
491
492 if (Options.HandleUnstable || Options.PrintUnstableStats) {
493 TPC.CollectFeatures([&](size_t Feature) {
494 if (Corpus.IsFeatureNew(Feature, Size, Options.Shrink))
495 NewFeaturesUnstable = true;
496 });
497 if (NewFeaturesUnstable)
498 CheckForUnstableCounters(Data, Size);
499 }
500
george.karpenkov29efa6d2017-08-21 23:25:50 +0000501 TPC.CollectFeatures([&](size_t Feature) {
502 if (Corpus.AddFeature(Feature, Size, Options.Shrink))
503 UniqFeatureSetTmp.push_back(Feature);
504 if (Options.ReduceInputs && II)
505 if (std::binary_search(II->UniqFeatureSet.begin(),
506 II->UniqFeatureSet.end(), Feature))
507 FoundUniqFeaturesOfII++;
508 });
dor1sf50b3bb2018-07-23 14:20:52 +0000509
kccb6836be2017-12-01 19:18:38 +0000510 if (FoundUniqFeatures)
511 *FoundUniqFeatures = FoundUniqFeaturesOfII;
george.karpenkov29efa6d2017-08-21 23:25:50 +0000512 PrintPulseAndReportSlowInput(Data, Size);
513 size_t NumNewFeatures = Corpus.NumFeatureUpdates() - NumUpdatesBefore;
dor1sbb933292018-07-16 16:01:31 +0000514
george.karpenkov29efa6d2017-08-21 23:25:50 +0000515 if (NumNewFeatures) {
516 TPC.UpdateObservedPCs();
517 Corpus.AddToCorpus({Data, Data + Size}, NumNewFeatures, MayDeleteFile,
kcc0cab3f02018-07-19 01:23:32 +0000518 TPC.ObservedFocusFunction(), UniqFeatureSetTmp, DFT, II);
george.karpenkov29efa6d2017-08-21 23:25:50 +0000519 return true;
520 }
521 if (II && FoundUniqFeaturesOfII &&
kccadf188b2018-06-07 01:40:20 +0000522 II->DataFlowTraceForFocusFunction.empty() &&
george.karpenkov29efa6d2017-08-21 23:25:50 +0000523 FoundUniqFeaturesOfII == II->UniqFeatureSet.size() &&
524 II->U.size() > Size) {
525 Corpus.Replace(II, {Data, Data + Size});
526 return true;
527 }
528 return false;
529}
530
531size_t Fuzzer::GetCurrentUnitInFuzzingThead(const uint8_t **Data) const {
532 assert(InFuzzingThread());
533 *Data = CurrentUnitData;
534 return CurrentUnitSize;
535}
536
537void Fuzzer::CrashOnOverwrittenData() {
538 Printf("==%d== ERROR: libFuzzer: fuzz target overwrites it's const input\n",
539 GetPid());
540 DumpCurrentUnit("crash-");
541 Printf("SUMMARY: libFuzzer: out-of-memory\n");
542 _Exit(Options.ErrorExitCode); // Stop right now.
543}
544
545// Compare two arrays, but not all bytes if the arrays are large.
546static bool LooseMemeq(const uint8_t *A, const uint8_t *B, size_t Size) {
547 const size_t Limit = 64;
548 if (Size <= 64)
549 return !memcmp(A, B, Size);
550 // Compare first and last Limit/2 bytes.
551 return !memcmp(A, B, Limit / 2) &&
552 !memcmp(A + Size - Limit / 2, B + Size - Limit / 2, Limit / 2);
553}
554
555void Fuzzer::ExecuteCallback(const uint8_t *Data, size_t Size) {
556 TPC.RecordInitialStack();
557 TotalNumberOfRuns++;
558 assert(InFuzzingThread());
559 if (SMR.IsClient())
560 SMR.WriteByteArray(Data, Size);
561 // We copy the contents of Unit into a separate heap buffer
562 // so that we reliably find buffer overflows in it.
563 uint8_t *DataCopy = new uint8_t[Size];
564 memcpy(DataCopy, Data, Size);
morehouse1467b792018-07-09 23:51:08 +0000565 if (EF->__msan_unpoison)
566 EF->__msan_unpoison(DataCopy, Size);
george.karpenkov29efa6d2017-08-21 23:25:50 +0000567 if (CurrentUnitData && CurrentUnitData != Data)
568 memcpy(CurrentUnitData, Data, Size);
569 CurrentUnitSize = Size;
morehouse1467b792018-07-09 23:51:08 +0000570 {
571 ScopedEnableMsanInterceptorChecks S;
572 AllocTracer.Start(Options.TraceMalloc);
573 UnitStartTime = system_clock::now();
574 TPC.ResetMaps();
morehousec6ee8752018-07-17 16:12:00 +0000575 RunningUserCallback = true;
morehouse1467b792018-07-09 23:51:08 +0000576 int Res = CB(DataCopy, Size);
morehousec6ee8752018-07-17 16:12:00 +0000577 RunningUserCallback = false;
morehouse1467b792018-07-09 23:51:08 +0000578 UnitStopTime = system_clock::now();
579 (void)Res;
580 assert(Res == 0);
581 HasMoreMallocsThanFrees = AllocTracer.Stop();
582 }
george.karpenkov29efa6d2017-08-21 23:25:50 +0000583 if (!LooseMemeq(DataCopy, Data, Size))
584 CrashOnOverwrittenData();
585 CurrentUnitSize = 0;
586 delete[] DataCopy;
587}
588
589void Fuzzer::WriteToOutputCorpus(const Unit &U) {
590 if (Options.OnlyASCII)
591 assert(IsASCII(U));
592 if (Options.OutputCorpus.empty())
593 return;
594 std::string Path = DirPlusFile(Options.OutputCorpus, Hash(U));
595 WriteToFile(U, Path);
596 if (Options.Verbosity >= 2)
597 Printf("Written %zd bytes to %s\n", U.size(), Path.c_str());
598}
599
600void Fuzzer::WriteUnitToFileWithPrefix(const Unit &U, const char *Prefix) {
601 if (!Options.SaveArtifacts)
602 return;
603 std::string Path = Options.ArtifactPrefix + Prefix + Hash(U);
604 if (!Options.ExactArtifactPath.empty())
605 Path = Options.ExactArtifactPath; // Overrides ArtifactPrefix.
606 WriteToFile(U, Path);
607 Printf("artifact_prefix='%s'; Test unit written to %s\n",
608 Options.ArtifactPrefix.c_str(), Path.c_str());
609 if (U.size() <= kMaxUnitSizeToPrint)
610 Printf("Base64: %s\n", Base64(U).c_str());
611}
612
613void Fuzzer::PrintStatusForNewUnit(const Unit &U, const char *Text) {
614 if (!Options.PrintNEW)
615 return;
616 PrintStats(Text, "");
617 if (Options.Verbosity) {
618 Printf(" L: %zd/%zd ", U.size(), Corpus.MaxInputSize());
619 MD.PrintMutationSequence();
620 Printf("\n");
621 }
622}
623
624void Fuzzer::ReportNewCoverage(InputInfo *II, const Unit &U) {
625 II->NumSuccessfullMutations++;
626 MD.RecordSuccessfulMutationSequence();
alekseyshl9f6a9f22017-10-23 23:24:33 +0000627 PrintStatusForNewUnit(U, II->Reduced ? "REDUCE" : "NEW ");
george.karpenkov29efa6d2017-08-21 23:25:50 +0000628 WriteToOutputCorpus(U);
629 NumberOfNewUnitsAdded++;
alekseyshl9f6a9f22017-10-23 23:24:33 +0000630 CheckExitOnSrcPosOrItem(); // Check only after the unit is saved to corpus.
george.karpenkov29efa6d2017-08-21 23:25:50 +0000631 LastCorpusUpdateRun = TotalNumberOfRuns;
george.karpenkov29efa6d2017-08-21 23:25:50 +0000632}
633
634// Tries detecting a memory leak on the particular input that we have just
635// executed before calling this function.
636void Fuzzer::TryDetectingAMemoryLeak(const uint8_t *Data, size_t Size,
637 bool DuringInitialCorpusExecution) {
alekseyshl9f6a9f22017-10-23 23:24:33 +0000638 if (!HasMoreMallocsThanFrees)
639 return; // mallocs==frees, a leak is unlikely.
640 if (!Options.DetectLeaks)
641 return;
dor1s38279cb2017-09-12 02:01:54 +0000642 if (!DuringInitialCorpusExecution &&
alekseyshl9f6a9f22017-10-23 23:24:33 +0000643 TotalNumberOfRuns >= Options.MaxNumberOfRuns)
644 return;
george.karpenkov29efa6d2017-08-21 23:25:50 +0000645 if (!&(EF->__lsan_enable) || !&(EF->__lsan_disable) ||
646 !(EF->__lsan_do_recoverable_leak_check))
alekseyshl9f6a9f22017-10-23 23:24:33 +0000647 return; // No lsan.
george.karpenkov29efa6d2017-08-21 23:25:50 +0000648 // Run the target once again, but with lsan disabled so that if there is
649 // a real leak we do not report it twice.
650 EF->__lsan_disable();
651 ExecuteCallback(Data, Size);
652 EF->__lsan_enable();
alekseyshl9f6a9f22017-10-23 23:24:33 +0000653 if (!HasMoreMallocsThanFrees)
654 return; // a leak is unlikely.
george.karpenkov29efa6d2017-08-21 23:25:50 +0000655 if (NumberOfLeakDetectionAttempts++ > 1000) {
656 Options.DetectLeaks = false;
657 Printf("INFO: libFuzzer disabled leak detection after every mutation.\n"
658 " Most likely the target function accumulates allocated\n"
659 " memory in a global state w/o actually leaking it.\n"
660 " You may try running this binary with -trace_malloc=[12]"
661 " to get a trace of mallocs and frees.\n"
662 " If LeakSanitizer is enabled in this process it will still\n"
663 " run on the process shutdown.\n");
664 return;
665 }
666 // Now perform the actual lsan pass. This is expensive and we must ensure
667 // we don't call it too often.
668 if (EF->__lsan_do_recoverable_leak_check()) { // Leak is found, report it.
669 if (DuringInitialCorpusExecution)
670 Printf("\nINFO: a leak has been found in the initial corpus.\n\n");
671 Printf("INFO: to ignore leaks on libFuzzer side use -detect_leaks=0.\n\n");
672 CurrentUnitSize = Size;
673 DumpCurrentUnit("leak-");
674 PrintFinalStats();
alekseyshl9f6a9f22017-10-23 23:24:33 +0000675 _Exit(Options.ErrorExitCode); // not exit() to disable lsan further on.
george.karpenkov29efa6d2017-08-21 23:25:50 +0000676 }
677}
678
679void Fuzzer::MutateAndTestOne() {
680 MD.StartMutationSequence();
681
682 auto &II = Corpus.ChooseUnitToMutate(MD.GetRand());
683 const auto &U = II.U;
684 memcpy(BaseSha1, II.Sha1, sizeof(BaseSha1));
685 assert(CurrentUnitData);
686 size_t Size = U.size();
687 assert(Size <= MaxInputLen && "Oversized Unit");
688 memcpy(CurrentUnitData, U.data(), Size);
689
690 assert(MaxMutationLen > 0);
691
692 size_t CurrentMaxMutationLen =
693 Min(MaxMutationLen, Max(U.size(), TmpMaxMutationLen));
694 assert(CurrentMaxMutationLen > 0);
695
696 for (int i = 0; i < Options.MutateDepth; i++) {
697 if (TotalNumberOfRuns >= Options.MaxNumberOfRuns)
698 break;
kcc1239a992017-11-09 20:30:19 +0000699 MaybeExitGracefully();
george.karpenkov29efa6d2017-08-21 23:25:50 +0000700 size_t NewSize = 0;
kcc0cab3f02018-07-19 01:23:32 +0000701 if (II.HasFocusFunction && !II.DataFlowTraceForFocusFunction.empty() &&
702 Size <= CurrentMaxMutationLen)
703 NewSize = MD.MutateWithMask(CurrentUnitData, Size, Size,
704 II.DataFlowTraceForFocusFunction);
705 else
706 NewSize = MD.Mutate(CurrentUnitData, Size, CurrentMaxMutationLen);
george.karpenkov29efa6d2017-08-21 23:25:50 +0000707 assert(NewSize > 0 && "Mutator returned empty unit");
alekseyshld995b552017-10-23 22:04:30 +0000708 assert(NewSize <= CurrentMaxMutationLen && "Mutator return oversized unit");
george.karpenkov29efa6d2017-08-21 23:25:50 +0000709 Size = NewSize;
710 II.NumExecutedMutations++;
george.karpenkov29efa6d2017-08-21 23:25:50 +0000711
kccb6836be2017-12-01 19:18:38 +0000712 bool FoundUniqFeatures = false;
713 bool NewCov = RunOne(CurrentUnitData, Size, /*MayDeleteFile=*/true, &II,
714 &FoundUniqFeatures);
george.karpenkov29efa6d2017-08-21 23:25:50 +0000715 TryDetectingAMemoryLeak(CurrentUnitData, Size,
716 /*DuringInitialCorpusExecution*/ false);
kccb6836be2017-12-01 19:18:38 +0000717 if (NewCov) {
morehouse553f00b2017-11-09 20:44:08 +0000718 ReportNewCoverage(&II, {CurrentUnitData, CurrentUnitData + Size});
kccb6836be2017-12-01 19:18:38 +0000719 break; // We will mutate this input more in the next rounds.
720 }
721 if (Options.ReduceDepth && !FoundUniqFeatures)
dor1se6729cb2018-07-16 15:15:34 +0000722 break;
george.karpenkov29efa6d2017-08-21 23:25:50 +0000723 }
724}
725
alekseyshld995b552017-10-23 22:04:30 +0000726void Fuzzer::PurgeAllocator() {
alekseyshl9f6a9f22017-10-23 23:24:33 +0000727 if (Options.PurgeAllocatorIntervalSec < 0 || !EF->__sanitizer_purge_allocator)
alekseyshld995b552017-10-23 22:04:30 +0000728 return;
alekseyshld995b552017-10-23 22:04:30 +0000729 if (duration_cast<seconds>(system_clock::now() -
alekseyshl9f6a9f22017-10-23 23:24:33 +0000730 LastAllocatorPurgeAttemptTime)
731 .count() < Options.PurgeAllocatorIntervalSec)
alekseyshld995b552017-10-23 22:04:30 +0000732 return;
alekseyshld995b552017-10-23 22:04:30 +0000733
734 if (Options.RssLimitMb <= 0 ||
alekseyshl9f6a9f22017-10-23 23:24:33 +0000735 GetPeakRSSMb() > static_cast<size_t>(Options.RssLimitMb) / 2)
alekseyshld995b552017-10-23 22:04:30 +0000736 EF->__sanitizer_purge_allocator();
alekseyshld995b552017-10-23 22:04:30 +0000737
738 LastAllocatorPurgeAttemptTime = system_clock::now();
739}
740
kcc2e93b3f2017-08-29 02:05:01 +0000741void Fuzzer::ReadAndExecuteSeedCorpora(const Vector<std::string> &CorpusDirs) {
742 const size_t kMaxSaneLen = 1 << 20;
743 const size_t kMinDefaultLen = 4096;
kccdc00cd32017-08-29 20:51:24 +0000744 Vector<SizedFile> SizedFiles;
745 size_t MaxSize = 0;
746 size_t MinSize = -1;
747 size_t TotalSize = 0;
kcc7f5f2222017-09-12 21:58:07 +0000748 size_t LastNumFiles = 0;
kccdc00cd32017-08-29 20:51:24 +0000749 for (auto &Dir : CorpusDirs) {
kcc7f5f2222017-09-12 21:58:07 +0000750 GetSizedFilesFromDir(Dir, &SizedFiles);
751 Printf("INFO: % 8zd files found in %s\n", SizedFiles.size() - LastNumFiles,
752 Dir.c_str());
753 LastNumFiles = SizedFiles.size();
754 }
755 for (auto &File : SizedFiles) {
756 MaxSize = Max(File.Size, MaxSize);
757 MinSize = Min(File.Size, MinSize);
758 TotalSize += File.Size;
kcc2e93b3f2017-08-29 02:05:01 +0000759 }
kccdc00cd32017-08-29 20:51:24 +0000760 if (Options.MaxLen == 0)
761 SetMaxInputLen(std::min(std::max(kMinDefaultLen, MaxSize), kMaxSaneLen));
762 assert(MaxInputLen > 0);
763
kcc2cd9f092017-10-13 01:12:23 +0000764 // Test the callback with empty input and never try it again.
765 uint8_t dummy = 0;
766 ExecuteCallback(&dummy, 0);
767
kccdc00cd32017-08-29 20:51:24 +0000768 if (SizedFiles.empty()) {
769 Printf("INFO: A corpus is not provided, starting from an empty corpus\n");
770 Unit U({'\n'}); // Valid ASCII input.
771 RunOne(U.data(), U.size());
772 } else {
773 Printf("INFO: seed corpus: files: %zd min: %zdb max: %zdb total: %zdb"
774 " rss: %zdMb\n",
775 SizedFiles.size(), MinSize, MaxSize, TotalSize, GetPeakRSSMb());
776 if (Options.ShuffleAtStartUp)
777 std::shuffle(SizedFiles.begin(), SizedFiles.end(), MD.GetRand());
778
kcc7f5f2222017-09-12 21:58:07 +0000779 if (Options.PreferSmall) {
780 std::stable_sort(SizedFiles.begin(), SizedFiles.end());
781 assert(SizedFiles.front().Size <= SizedFiles.back().Size);
782 }
kccdc00cd32017-08-29 20:51:24 +0000783
784 // Load and execute inputs one by one.
785 for (auto &SF : SizedFiles) {
kccae85e292017-08-31 19:17:15 +0000786 auto U = FileToVector(SF.File, MaxInputLen, /*ExitOnError=*/false);
kccdc00cd32017-08-29 20:51:24 +0000787 assert(U.size() <= MaxInputLen);
788 RunOne(U.data(), U.size());
789 CheckExitOnSrcPosOrItem();
790 TryDetectingAMemoryLeak(U.data(), U.size(),
791 /*DuringInitialCorpusExecution*/ true);
792 }
kcc2e93b3f2017-08-29 02:05:01 +0000793 }
794
kccdc00cd32017-08-29 20:51:24 +0000795 PrintStats("INITED");
kcc3acbe072018-05-16 23:26:37 +0000796 if (!Options.FocusFunction.empty())
797 Printf("INFO: %zd/%zd inputs touch the focus function\n",
798 Corpus.NumInputsThatTouchFocusFunction(), Corpus.size());
kccadf188b2018-06-07 01:40:20 +0000799 if (!Options.DataFlowTrace.empty())
800 Printf("INFO: %zd/%zd inputs have the Data Flow Trace\n",
801 Corpus.NumInputsWithDataFlowTrace(), Corpus.size());
kcc3acbe072018-05-16 23:26:37 +0000802
dor1s770a9bc2018-05-23 19:42:30 +0000803 if (Corpus.empty() && Options.MaxNumberOfRuns) {
kccdc00cd32017-08-29 20:51:24 +0000804 Printf("ERROR: no interesting inputs were found. "
805 "Is the code instrumented for coverage? Exiting.\n");
806 exit(1);
kcc2e93b3f2017-08-29 02:05:01 +0000807 }
kcc2e93b3f2017-08-29 02:05:01 +0000808}
809
810void Fuzzer::Loop(const Vector<std::string> &CorpusDirs) {
811 ReadAndExecuteSeedCorpora(CorpusDirs);
kccadf188b2018-06-07 01:40:20 +0000812 DFT.Clear(); // No need for DFT any more.
george.karpenkov29efa6d2017-08-21 23:25:50 +0000813 TPC.SetPrintNewPCs(Options.PrintNewCovPcs);
kcc00da6482017-08-25 20:09:25 +0000814 TPC.SetPrintNewFuncs(Options.PrintNewCovFuncs);
george.karpenkov29efa6d2017-08-21 23:25:50 +0000815 system_clock::time_point LastCorpusReload = system_clock::now();
816 if (Options.DoCrossOver)
817 MD.SetCorpus(&Corpus);
818 while (true) {
819 auto Now = system_clock::now();
820 if (duration_cast<seconds>(Now - LastCorpusReload).count() >=
821 Options.ReloadIntervalSec) {
822 RereadOutputCorpus(MaxInputLen);
823 LastCorpusReload = system_clock::now();
824 }
825 if (TotalNumberOfRuns >= Options.MaxNumberOfRuns)
826 break;
alekseyshl9f6a9f22017-10-23 23:24:33 +0000827 if (TimedOut())
828 break;
george.karpenkov29efa6d2017-08-21 23:25:50 +0000829
830 // Update TmpMaxMutationLen
morehouse8c42ada2018-02-13 20:52:15 +0000831 if (Options.LenControl) {
george.karpenkov29efa6d2017-08-21 23:25:50 +0000832 if (TmpMaxMutationLen < MaxMutationLen &&
kcce29d7e32017-12-12 23:11:28 +0000833 TotalNumberOfRuns - LastCorpusUpdateRun >
morehouse8c42ada2018-02-13 20:52:15 +0000834 Options.LenControl * Log(TmpMaxMutationLen)) {
george.karpenkov29efa6d2017-08-21 23:25:50 +0000835 TmpMaxMutationLen =
kcce29d7e32017-12-12 23:11:28 +0000836 Min(MaxMutationLen, TmpMaxMutationLen + Log(TmpMaxMutationLen));
kcce29d7e32017-12-12 23:11:28 +0000837 LastCorpusUpdateRun = TotalNumberOfRuns;
george.karpenkov29efa6d2017-08-21 23:25:50 +0000838 }
839 } else {
840 TmpMaxMutationLen = MaxMutationLen;
841 }
842
843 // Perform several mutations and runs.
844 MutateAndTestOne();
alekseyshld995b552017-10-23 22:04:30 +0000845
846 PurgeAllocator();
george.karpenkov29efa6d2017-08-21 23:25:50 +0000847 }
848
849 PrintStats("DONE ", "\n");
850 MD.PrintRecommendedDictionary();
851}
852
853void Fuzzer::MinimizeCrashLoop(const Unit &U) {
alekseyshl9f6a9f22017-10-23 23:24:33 +0000854 if (U.size() <= 1)
855 return;
george.karpenkov29efa6d2017-08-21 23:25:50 +0000856 while (!TimedOut() && TotalNumberOfRuns < Options.MaxNumberOfRuns) {
857 MD.StartMutationSequence();
858 memcpy(CurrentUnitData, U.data(), U.size());
859 for (int i = 0; i < Options.MutateDepth; i++) {
860 size_t NewSize = MD.Mutate(CurrentUnitData, U.size(), MaxMutationLen);
861 assert(NewSize > 0 && NewSize <= MaxMutationLen);
862 ExecuteCallback(CurrentUnitData, NewSize);
863 PrintPulseAndReportSlowInput(CurrentUnitData, NewSize);
864 TryDetectingAMemoryLeak(CurrentUnitData, NewSize,
865 /*DuringInitialCorpusExecution*/ false);
866 }
867 }
868}
869
870void Fuzzer::AnnounceOutput(const uint8_t *Data, size_t Size) {
871 if (SMR.IsServer()) {
872 SMR.WriteByteArray(Data, Size);
873 } else if (SMR.IsClient()) {
874 SMR.PostClient();
875 SMR.WaitServer();
876 size_t OtherSize = SMR.ReadByteArraySize();
877 uint8_t *OtherData = SMR.GetByteArray();
878 if (Size != OtherSize || memcmp(Data, OtherData, Size) != 0) {
879 size_t i = 0;
880 for (i = 0; i < Min(Size, OtherSize); i++)
881 if (Data[i] != OtherData[i])
882 break;
883 Printf("==%lu== ERROR: libFuzzer: equivalence-mismatch. Sizes: %zd %zd; "
alekseyshl9f6a9f22017-10-23 23:24:33 +0000884 "offset %zd\n",
885 GetPid(), Size, OtherSize, i);
george.karpenkov29efa6d2017-08-21 23:25:50 +0000886 DumpCurrentUnit("mismatch-");
887 Printf("SUMMARY: libFuzzer: equivalence-mismatch\n");
888 PrintFinalStats();
889 _Exit(Options.ErrorExitCode);
890 }
891 }
892}
893
894} // namespace fuzzer
895
896extern "C" {
897
phosek966475e2018-01-17 20:39:14 +0000898__attribute__((visibility("default"))) size_t
899LLVMFuzzerMutate(uint8_t *Data, size_t Size, size_t MaxSize) {
george.karpenkov29efa6d2017-08-21 23:25:50 +0000900 assert(fuzzer::F);
901 return fuzzer::F->GetMD().DefaultMutate(Data, Size, MaxSize);
902}
903
904// Experimental
phosek966475e2018-01-17 20:39:14 +0000905__attribute__((visibility("default"))) void
906LLVMFuzzerAnnounceOutput(const uint8_t *Data, size_t Size) {
george.karpenkov29efa6d2017-08-21 23:25:50 +0000907 assert(fuzzer::F);
908 fuzzer::F->AnnounceOutput(Data, Size);
909}
alekseyshl9f6a9f22017-10-23 23:24:33 +0000910} // extern "C"