blob: 7081daa899066cc848c4647cb5c8e16347683a96 [file] [log] [blame]
George Karpenkov10ab2ac2017-08-21 23:25:501//===- FuzzerLoop.cpp - Fuzzer's main loop --------------------------------===//
2//
Chandler Carruth2946cd72019-01-19 08:50:563// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
George Karpenkov10ab2ac2017-08-21 23:25:506//
7//===----------------------------------------------------------------------===//
8// Fuzzer's main loop.
9//===----------------------------------------------------------------------===//
10
11#include "FuzzerCorpus.h"
12#include "FuzzerIO.h"
13#include "FuzzerInternal.h"
14#include "FuzzerMutate.h"
15#include "FuzzerRandom.h"
George Karpenkov10ab2ac2017-08-21 23:25:5016#include "FuzzerTracePC.h"
17#include <algorithm>
18#include <cstring>
19#include <memory>
Vitaly Buka7dbc1d82017-11-01 03:02:5920#include <mutex>
George Karpenkov10ab2ac2017-08-21 23:25:5021#include <set>
22
23#if defined(__has_include)
24#if __has_include(<sanitizer / lsan_interface.h>)
25#include <sanitizer/lsan_interface.h>
26#endif
27#endif
28
29#define NO_SANITIZE_MEMORY
30#if defined(__has_feature)
31#if __has_feature(memory_sanitizer)
32#undef NO_SANITIZE_MEMORY
33#define NO_SANITIZE_MEMORY __attribute__((no_sanitize_memory))
34#endif
35#endif
36
37namespace fuzzer {
38static const size_t kMaxUnitSizeToPrint = 256;
39
40thread_local bool Fuzzer::IsMyThread;
41
Matt Morehouse43a22962018-07-17 16:12:0042bool RunningUserCallback = false;
43
George Karpenkov10ab2ac2017-08-21 23:25:5044// Only one Fuzzer per process.
45static Fuzzer *F;
46
47// Leak detection is expensive, so we first check if there were more mallocs
48// than frees (using the sanitizer malloc hooks) and only then try to call lsan.
49struct MallocFreeTracer {
50 void Start(int TraceLevel) {
51 this->TraceLevel = TraceLevel;
52 if (TraceLevel)
53 Printf("MallocFreeTracer: START\n");
54 Mallocs = 0;
55 Frees = 0;
56 }
57 // Returns true if there were more mallocs than frees.
58 bool Stop() {
59 if (TraceLevel)
60 Printf("MallocFreeTracer: STOP %zd %zd (%s)\n", Mallocs.load(),
61 Frees.load(), Mallocs == Frees ? "same" : "DIFFERENT");
62 bool Result = Mallocs > Frees;
63 Mallocs = 0;
64 Frees = 0;
65 TraceLevel = 0;
66 return Result;
67 }
68 std::atomic<size_t> Mallocs;
69 std::atomic<size_t> Frees;
70 int TraceLevel = 0;
Vitaly Buka7d223242017-11-02 04:12:1071
72 std::recursive_mutex TraceMutex;
73 bool TraceDisabled = false;
George Karpenkov10ab2ac2017-08-21 23:25:5074};
75
76static MallocFreeTracer AllocTracer;
77
Vitaly Buka7d223242017-11-02 04:12:1078// Locks printing and avoids nested hooks triggered from mallocs/frees in
79// sanitizer.
80class TraceLock {
81public:
82 TraceLock() : Lock(AllocTracer.TraceMutex) {
83 AllocTracer.TraceDisabled = !AllocTracer.TraceDisabled;
84 }
85 ~TraceLock() { AllocTracer.TraceDisabled = !AllocTracer.TraceDisabled; }
86
87 bool IsDisabled() const {
88 // This is already inverted value.
89 return !AllocTracer.TraceDisabled;
90 }
91
92private:
93 std::lock_guard<std::recursive_mutex> Lock;
94};
Vitaly Buka7dbc1d82017-11-01 03:02:5995
George Karpenkov10ab2ac2017-08-21 23:25:5096ATTRIBUTE_NO_SANITIZE_MEMORY
97void MallocHook(const volatile void *ptr, size_t size) {
98 size_t N = AllocTracer.Mallocs++;
99 F->HandleMalloc(size);
100 if (int TraceLevel = AllocTracer.TraceLevel) {
Vitaly Buka7d223242017-11-02 04:12:10101 TraceLock Lock;
102 if (Lock.IsDisabled())
103 return;
George Karpenkov10ab2ac2017-08-21 23:25:50104 Printf("MALLOC[%zd] %p %zd\n", N, ptr, size);
105 if (TraceLevel >= 2 && EF)
Matt Morehouse14cf71a2018-05-08 23:45:05106 PrintStackTrace();
George Karpenkov10ab2ac2017-08-21 23:25:50107 }
108}
109
110ATTRIBUTE_NO_SANITIZE_MEMORY
111void FreeHook(const volatile void *ptr) {
112 size_t N = AllocTracer.Frees++;
113 if (int TraceLevel = AllocTracer.TraceLevel) {
Vitaly Buka7d223242017-11-02 04:12:10114 TraceLock Lock;
115 if (Lock.IsDisabled())
116 return;
George Karpenkov10ab2ac2017-08-21 23:25:50117 Printf("FREE[%zd] %p\n", N, ptr);
118 if (TraceLevel >= 2 && EF)
Matt Morehouse14cf71a2018-05-08 23:45:05119 PrintStackTrace();
George Karpenkov10ab2ac2017-08-21 23:25:50120 }
121}
122
123// Crash on a single malloc that exceeds the rss limit.
124void Fuzzer::HandleMalloc(size_t Size) {
Kostya Serebryanyde9bafb2017-12-01 22:12:04125 if (!Options.MallocLimitMb || (Size >> 20) < (size_t)Options.MallocLimitMb)
George Karpenkov10ab2ac2017-08-21 23:25:50126 return;
127 Printf("==%d== ERROR: libFuzzer: out-of-memory (malloc(%zd))\n", GetPid(),
128 Size);
129 Printf(" To change the out-of-memory limit use -rss_limit_mb=<N>\n\n");
Matt Morehouse14cf71a2018-05-08 23:45:05130 PrintStackTrace();
George Karpenkov10ab2ac2017-08-21 23:25:50131 DumpCurrentUnit("oom-");
132 Printf("SUMMARY: libFuzzer: out-of-memory\n");
133 PrintFinalStats();
Kostya Serebryany0fda9dc2019-02-09 00:16:21134 _Exit(Options.OOMExitCode); // Stop right now.
George Karpenkov10ab2ac2017-08-21 23:25:50135}
136
137Fuzzer::Fuzzer(UserCallback CB, InputCorpus &Corpus, MutationDispatcher &MD,
138 FuzzingOptions Options)
139 : CB(CB), Corpus(Corpus), MD(MD), Options(Options) {
140 if (EF->__sanitizer_set_death_callback)
141 EF->__sanitizer_set_death_callback(StaticDeathCallback);
142 assert(!F);
143 F = this;
144 TPC.ResetMaps();
145 IsMyThread = true;
146 if (Options.DetectLeaks && EF->__sanitizer_install_malloc_and_free_hooks)
147 EF->__sanitizer_install_malloc_and_free_hooks(MallocHook, FreeHook);
148 TPC.SetUseCounters(Options.UseCounters);
Kostya Serebryany51ddb882018-07-03 22:33:09149 TPC.SetUseValueProfileMask(Options.UseValueProfile);
George Karpenkov10ab2ac2017-08-21 23:25:50150
151 if (Options.Verbosity)
152 TPC.PrintModuleInfo();
153 if (!Options.OutputCorpus.empty() && Options.ReloadIntervalSec)
154 EpochOfLastReadOfOutputCorpus = GetEpoch(Options.OutputCorpus);
155 MaxInputLen = MaxMutationLen = Options.MaxLen;
Kostya Serebryanyb6ca1e72019-02-16 01:23:41156 TmpMaxMutationLen = 0; // Will be set once we load the corpus.
George Karpenkov10ab2ac2017-08-21 23:25:50157 AllocateCurrentUnitData();
158 CurrentUnitSize = 0;
159 memset(BaseSha1, 0, sizeof(BaseSha1));
George Karpenkov10ab2ac2017-08-21 23:25:50160}
161
Alex Shlyapnikov5ded0702017-10-23 23:24:33162Fuzzer::~Fuzzer() {}
George Karpenkov10ab2ac2017-08-21 23:25:50163
164void Fuzzer::AllocateCurrentUnitData() {
Alex Shlyapnikov5ded0702017-10-23 23:24:33165 if (CurrentUnitData || MaxInputLen == 0)
166 return;
George Karpenkov10ab2ac2017-08-21 23:25:50167 CurrentUnitData = new uint8_t[MaxInputLen];
168}
169
170void Fuzzer::StaticDeathCallback() {
171 assert(F);
172 F->DeathCallback();
173}
174
175void Fuzzer::DumpCurrentUnit(const char *Prefix) {
Alex Shlyapnikov5ded0702017-10-23 23:24:33176 if (!CurrentUnitData)
177 return; // Happens when running individual inputs.
Matt Morehousea34c65e2018-07-09 23:51:08178 ScopedDisableMsanInterceptorChecks S;
George Karpenkov10ab2ac2017-08-21 23:25:50179 MD.PrintMutationSequence();
180 Printf("; base unit: %s\n", Sha1ToString(BaseSha1).c_str());
181 size_t UnitSize = CurrentUnitSize;
182 if (UnitSize <= kMaxUnitSizeToPrint) {
183 PrintHexArray(CurrentUnitData, UnitSize, "\n");
184 PrintASCII(CurrentUnitData, UnitSize, "\n");
185 }
186 WriteUnitToFileWithPrefix({CurrentUnitData, CurrentUnitData + UnitSize},
187 Prefix);
188}
189
190NO_SANITIZE_MEMORY
191void Fuzzer::DeathCallback() {
192 DumpCurrentUnit("crash-");
193 PrintFinalStats();
194}
195
196void Fuzzer::StaticAlarmCallback() {
197 assert(F);
198 F->AlarmCallback();
199}
200
201void Fuzzer::StaticCrashSignalCallback() {
202 assert(F);
203 F->CrashCallback();
204}
205
George Karpenkov10ab2ac2017-08-21 23:25:50206void Fuzzer::StaticExitCallback() {
207 assert(F);
208 F->ExitCallback();
209}
210
211void Fuzzer::StaticInterruptCallback() {
212 assert(F);
213 F->InterruptCallback();
214}
215
Kostya Serebryanya2ca2dc2017-11-09 20:30:19216void Fuzzer::StaticGracefulExitCallback() {
217 assert(F);
218 F->GracefulExitRequested = true;
219 Printf("INFO: signal received, trying to exit gracefully\n");
220}
221
George Karpenkov10ab2ac2017-08-21 23:25:50222void Fuzzer::StaticFileSizeExceedCallback() {
223 Printf("==%lu== ERROR: libFuzzer: file size exceeded\n", GetPid());
224 exit(1);
225}
226
227void Fuzzer::CrashCallback() {
Julian Lettner15df2732019-01-31 01:24:01228 if (EF->__sanitizer_acquire_crash_state &&
229 !EF->__sanitizer_acquire_crash_state())
230 return;
George Karpenkov10ab2ac2017-08-21 23:25:50231 Printf("==%lu== ERROR: libFuzzer: deadly signal\n", GetPid());
Matt Morehouse14cf71a2018-05-08 23:45:05232 PrintStackTrace();
George Karpenkov10ab2ac2017-08-21 23:25:50233 Printf("NOTE: libFuzzer has rudimentary signal handlers.\n"
234 " Combine libFuzzer with AddressSanitizer or similar for better "
235 "crash reports.\n");
236 Printf("SUMMARY: libFuzzer: deadly signal\n");
237 DumpCurrentUnit("crash-");
238 PrintFinalStats();
Alex Shlyapnikov5ded0702017-10-23 23:24:33239 _Exit(Options.ErrorExitCode); // Stop right now.
George Karpenkov10ab2ac2017-08-21 23:25:50240}
241
242void Fuzzer::ExitCallback() {
Matt Morehouse43a22962018-07-17 16:12:00243 if (!RunningUserCallback)
George Karpenkov10ab2ac2017-08-21 23:25:50244 return; // This exit did not come from the user callback
Matt Morehouse52fd1692018-05-01 21:01:53245 if (EF->__sanitizer_acquire_crash_state &&
246 !EF->__sanitizer_acquire_crash_state())
247 return;
George Karpenkov10ab2ac2017-08-21 23:25:50248 Printf("==%lu== ERROR: libFuzzer: fuzz target exited\n", GetPid());
Matt Morehouse14cf71a2018-05-08 23:45:05249 PrintStackTrace();
George Karpenkov10ab2ac2017-08-21 23:25:50250 Printf("SUMMARY: libFuzzer: fuzz target exited\n");
251 DumpCurrentUnit("crash-");
252 PrintFinalStats();
253 _Exit(Options.ErrorExitCode);
254}
255
Kostya Serebryanya2ca2dc2017-11-09 20:30:19256void Fuzzer::MaybeExitGracefully() {
Kostya Serebryanyf762a112019-02-08 21:27:23257 if (!F->GracefulExitRequested) return;
Kostya Serebryanya2ca2dc2017-11-09 20:30:19258 Printf("==%lu== INFO: libFuzzer: exiting as requested\n", GetPid());
Kostya Serebryany312af152019-02-16 00:14:16259 RmDirRecursive(TempPath(".dir"));
Kostya Serebryanyf762a112019-02-08 21:27:23260 F->PrintFinalStats();
Kostya Serebryanya2ca2dc2017-11-09 20:30:19261 _Exit(0);
262}
263
George Karpenkov10ab2ac2017-08-21 23:25:50264void Fuzzer::InterruptCallback() {
265 Printf("==%lu== libFuzzer: run interrupted; exiting\n", GetPid());
266 PrintFinalStats();
Matt Morehouse1b760632019-04-26 00:17:41267 ScopedDisableMsanInterceptorChecks S; // RmDirRecursive may call opendir().
Kostya Serebryany312af152019-02-16 00:14:16268 RmDirRecursive(TempPath(".dir"));
Kostya Serebryany0fda9dc2019-02-09 00:16:21269 // Stop right now, don't perform any at-exit actions.
270 _Exit(Options.InterruptExitCode);
George Karpenkov10ab2ac2017-08-21 23:25:50271}
272
273NO_SANITIZE_MEMORY
274void Fuzzer::AlarmCallback() {
275 assert(Options.UnitTimeoutSec > 0);
276 // In Windows Alarm callback is executed by a different thread.
Kamil Rytarowski2e611862018-11-06 01:28:01277 // NetBSD's current behavior needs this change too.
278#if !LIBFUZZER_WINDOWS && !LIBFUZZER_NETBSD
Alex Shlyapnikov5ded0702017-10-23 23:24:33279 if (!InFuzzingThread())
280 return;
George Karpenkov10ab2ac2017-08-21 23:25:50281#endif
Matt Morehouse43a22962018-07-17 16:12:00282 if (!RunningUserCallback)
George Karpenkov10ab2ac2017-08-21 23:25:50283 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) {
Matt Morehouse52fd1692018-05-01 21:01:53291 if (EF->__sanitizer_acquire_crash_state &&
292 !EF->__sanitizer_acquire_crash_state())
293 return;
George Karpenkov10ab2ac2017-08-21 23:25:50294 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);
Matt Morehouse14cf71a2018-05-08 23:45:05300 PrintStackTrace();
George Karpenkov10ab2ac2017-08-21 23:25:50301 Printf("SUMMARY: libFuzzer: timeout\n");
302 PrintFinalStats();
303 _Exit(Options.TimeoutExitCode); // Stop right now.
304 }
305}
306
307void Fuzzer::RssLimitCallback() {
Matt Morehouse52fd1692018-05-01 21:01:53308 if (EF->__sanitizer_acquire_crash_state &&
309 !EF->__sanitizer_acquire_crash_state())
310 return;
George Karpenkov10ab2ac2017-08-21 23:25:50311 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");
Matt Morehouse14cf71a2018-05-08 23:45:05315 PrintMemoryProfile();
George Karpenkov10ab2ac2017-08-21 23:25:50316 DumpCurrentUnit("oom-");
317 Printf("SUMMARY: libFuzzer: out-of-memory\n");
318 PrintFinalStats();
Kostya Serebryany0fda9dc2019-02-09 00:16:21319 _Exit(Options.OOMExitCode); // Stop right now.
George Karpenkov10ab2ac2017-08-21 23:25:50320}
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())
Alex Shlyapnikov5ded0702017-10-23 23:24:33330 Printf(" ft: %zd", N);
George Karpenkov10ab2ac2017-08-21 23:25:50331 if (!Corpus.empty()) {
332 Printf(" corp: %zd", Corpus.NumActiveUnits());
333 if (size_t N = Corpus.SizeInBytes()) {
Alex Shlyapnikov5ded0702017-10-23 23:24:33334 if (N < (1 << 14))
George Karpenkov10ab2ac2017-08-21 23:25:50335 Printf("/%zdb", N);
336 else if (N < (1 << 24))
337 Printf("/%zdKb", N >> 10);
338 else
339 Printf("/%zdMb", N >> 20);
340 }
Kostya Serebryanye9c6f062018-05-16 23:26:37341 if (size_t FF = Corpus.NumInputsThatTouchFocusFunction())
342 Printf(" focus: %zd", FF);
George Karpenkov10ab2ac2017-08-21 23:25:50343 }
Matt Morehouseddf352b2018-02-22 19:00:17344 if (TmpMaxMutationLen)
345 Printf(" lim: %zd", TmpMaxMutationLen);
George Karpenkov10ab2ac2017-08-21 23:25:50346 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();
George Karpenkov10ab2ac2017-08-21 23:25:50357 if (Options.PrintCorpusStats)
358 Corpus.PrintStats();
Alex Shlyapnikov5ded0702017-10-23 23:24:33359 if (!Options.PrintFinalStats)
360 return;
George Karpenkov10ab2ac2017-08-21 23:25:50361 size_t ExecPerSec = execPerSec();
362 Printf("stat::number_of_executed_units: %zd\n", TotalNumberOfRuns);
363 Printf("stat::average_exec_per_sec: %zd\n", ExecPerSec);
364 Printf("stat::new_units_added: %zd\n", NumberOfNewUnitsAdded);
365 Printf("stat::slowest_unit_time_sec: %zd\n", TimeOfLongestUnitInSeconds);
366 Printf("stat::peak_rss_mb: %zd\n", GetPeakRSSMb());
367}
368
369void Fuzzer::SetMaxInputLen(size_t MaxInputLen) {
370 assert(this->MaxInputLen == 0); // Can only reset MaxInputLen from 0 to non-0.
371 assert(MaxInputLen);
372 this->MaxInputLen = MaxInputLen;
373 this->MaxMutationLen = MaxInputLen;
374 AllocateCurrentUnitData();
375 Printf("INFO: -max_len is not provided; "
376 "libFuzzer will not generate inputs larger than %zd bytes\n",
377 MaxInputLen);
378}
379
380void Fuzzer::SetMaxMutationLen(size_t MaxMutationLen) {
381 assert(MaxMutationLen && MaxMutationLen <= MaxInputLen);
382 this->MaxMutationLen = MaxMutationLen;
383}
384
385void Fuzzer::CheckExitOnSrcPosOrItem() {
386 if (!Options.ExitOnSrcPos.empty()) {
George Karpenkovbebcbfb2017-08-27 23:20:09387 static auto *PCsSet = new Set<uintptr_t>;
Kostya Serebryany96f81bc2019-02-14 23:12:33388 auto HandlePC = [&](const TracePC::PCTableEntry *TE) {
389 if (!PCsSet->insert(TE->PC).second)
Alex Shlyapnikov5ded0702017-10-23 23:24:33390 return;
Kostya Serebryany96f81bc2019-02-14 23:12:33391 std::string Descr = DescribePC("%F %L", TE->PC + 1);
George Karpenkov10ab2ac2017-08-21 23:25:50392 if (Descr.find(Options.ExitOnSrcPos) != std::string::npos) {
393 Printf("INFO: found line matching '%s', exiting.\n",
394 Options.ExitOnSrcPos.c_str());
395 _Exit(0);
396 }
397 };
398 TPC.ForEachObservedPC(HandlePC);
399 }
400 if (!Options.ExitOnItem.empty()) {
401 if (Corpus.HasUnit(Options.ExitOnItem)) {
402 Printf("INFO: found item with checksum '%s', exiting.\n",
403 Options.ExitOnItem.c_str());
404 _Exit(0);
405 }
406 }
407}
408
409void Fuzzer::RereadOutputCorpus(size_t MaxSize) {
Alex Shlyapnikov5ded0702017-10-23 23:24:33410 if (Options.OutputCorpus.empty() || !Options.ReloadIntervalSec)
411 return;
George Karpenkovbebcbfb2017-08-27 23:20:09412 Vector<Unit> AdditionalCorpus;
George Karpenkov10ab2ac2017-08-21 23:25:50413 ReadDirToVectorOfUnits(Options.OutputCorpus.c_str(), &AdditionalCorpus,
414 &EpochOfLastReadOfOutputCorpus, MaxSize,
415 /*ExitOnError*/ false);
416 if (Options.Verbosity >= 2)
417 Printf("Reload: read %zd new units.\n", AdditionalCorpus.size());
418 bool Reloaded = false;
419 for (auto &U : AdditionalCorpus) {
420 if (U.size() > MaxSize)
421 U.resize(MaxSize);
422 if (!Corpus.HasUnit(U)) {
423 if (RunOne(U.data(), U.size())) {
424 CheckExitOnSrcPosOrItem();
425 Reloaded = true;
426 }
427 }
428 }
429 if (Reloaded)
430 PrintStats("RELOAD");
431}
432
George Karpenkov10ab2ac2017-08-21 23:25:50433void Fuzzer::PrintPulseAndReportSlowInput(const uint8_t *Data, size_t Size) {
434 auto TimeOfUnit =
435 duration_cast<seconds>(UnitStopTime - UnitStartTime).count();
436 if (!(TotalNumberOfRuns & (TotalNumberOfRuns - 1)) &&
437 secondsSinceProcessStartUp() >= 2)
438 PrintStats("pulse ");
439 if (TimeOfUnit > TimeOfLongestUnitInSeconds * 1.1 &&
440 TimeOfUnit >= Options.ReportSlowUnits) {
441 TimeOfLongestUnitInSeconds = TimeOfUnit;
442 Printf("Slowest unit: %zd s:\n", TimeOfLongestUnitInSeconds);
443 WriteUnitToFileWithPrefix({Data, Data + Size}, "slow-unit-");
444 }
445}
446
Kostya Serebryany4614cc32019-04-13 00:20:31447static void WriteFeatureSetToFile(const std::string &FeaturesDir,
Kostya Serebryany5e67abd2019-04-13 01:57:33448 const std::string &FileName,
Kostya Serebryany4614cc32019-04-13 00:20:31449 const Vector<uint32_t> &FeatureSet) {
450 if (FeaturesDir.empty() || FeatureSet.empty()) return;
451 WriteToFile(reinterpret_cast<const uint8_t *>(FeatureSet.data()),
452 FeatureSet.size() * sizeof(FeatureSet[0]),
Kostya Serebryany5e67abd2019-04-13 01:57:33453 DirPlusFile(FeaturesDir, FileName));
Kostya Serebryany4614cc32019-04-13 00:20:31454}
455
456static void RenameFeatureSetFile(const std::string &FeaturesDir,
457 const std::string &OldFile,
458 const std::string &NewFile) {
459 if (FeaturesDir.empty()) return;
460 RenameFile(DirPlusFile(FeaturesDir, OldFile),
461 DirPlusFile(FeaturesDir, NewFile));
462}
463
George Karpenkov10ab2ac2017-08-21 23:25:50464bool Fuzzer::RunOne(const uint8_t *Data, size_t Size, bool MayDeleteFile,
Kostya Serebryanyad05ee02017-12-01 19:18:38465 InputInfo *II, bool *FoundUniqFeatures) {
Alex Shlyapnikov5ded0702017-10-23 23:24:33466 if (!Size)
467 return false;
George Karpenkov10ab2ac2017-08-21 23:25:50468
469 ExecuteCallback(Data, Size);
470
471 UniqFeatureSetTmp.clear();
472 size_t FoundUniqFeaturesOfII = 0;
473 size_t NumUpdatesBefore = Corpus.NumFeatureUpdates();
474 TPC.CollectFeatures([&](size_t Feature) {
George Karpenkov10ab2ac2017-08-21 23:25:50475 if (Corpus.AddFeature(Feature, Size, Options.Shrink))
476 UniqFeatureSetTmp.push_back(Feature);
477 if (Options.ReduceInputs && II)
478 if (std::binary_search(II->UniqFeatureSet.begin(),
479 II->UniqFeatureSet.end(), Feature))
480 FoundUniqFeaturesOfII++;
481 });
Kostya Serebryanyad05ee02017-12-01 19:18:38482 if (FoundUniqFeatures)
483 *FoundUniqFeatures = FoundUniqFeaturesOfII;
George Karpenkov10ab2ac2017-08-21 23:25:50484 PrintPulseAndReportSlowInput(Data, Size);
485 size_t NumNewFeatures = Corpus.NumFeatureUpdates() - NumUpdatesBefore;
486 if (NumNewFeatures) {
487 TPC.UpdateObservedPCs();
Kostya Serebryany4614cc32019-04-13 00:20:31488 auto NewII = Corpus.AddToCorpus({Data, Data + Size}, NumNewFeatures,
489 MayDeleteFile, TPC.ObservedFocusFunction(),
490 UniqFeatureSetTmp, DFT, II);
Kostya Serebryany5e67abd2019-04-13 01:57:33491 WriteFeatureSetToFile(Options.FeaturesDir, Sha1ToString(NewII->Sha1),
Kostya Serebryany4614cc32019-04-13 00:20:31492 NewII->UniqFeatureSet);
George Karpenkov10ab2ac2017-08-21 23:25:50493 return true;
494 }
495 if (II && FoundUniqFeaturesOfII &&
Kostya Serebryany67af9922018-06-07 01:40:20496 II->DataFlowTraceForFocusFunction.empty() &&
George Karpenkov10ab2ac2017-08-21 23:25:50497 FoundUniqFeaturesOfII == II->UniqFeatureSet.size() &&
498 II->U.size() > Size) {
Kostya Serebryany4614cc32019-04-13 00:20:31499 auto OldFeaturesFile = Sha1ToString(II->Sha1);
George Karpenkov10ab2ac2017-08-21 23:25:50500 Corpus.Replace(II, {Data, Data + Size});
Kostya Serebryany4614cc32019-04-13 00:20:31501 RenameFeatureSetFile(Options.FeaturesDir, OldFeaturesFile,
502 Sha1ToString(II->Sha1));
George Karpenkov10ab2ac2017-08-21 23:25:50503 return true;
504 }
505 return false;
506}
507
508size_t Fuzzer::GetCurrentUnitInFuzzingThead(const uint8_t **Data) const {
509 assert(InFuzzingThread());
510 *Data = CurrentUnitData;
511 return CurrentUnitSize;
512}
513
514void Fuzzer::CrashOnOverwrittenData() {
515 Printf("==%d== ERROR: libFuzzer: fuzz target overwrites it's const input\n",
516 GetPid());
517 DumpCurrentUnit("crash-");
518 Printf("SUMMARY: libFuzzer: out-of-memory\n");
519 _Exit(Options.ErrorExitCode); // Stop right now.
520}
521
522// Compare two arrays, but not all bytes if the arrays are large.
523static bool LooseMemeq(const uint8_t *A, const uint8_t *B, size_t Size) {
524 const size_t Limit = 64;
525 if (Size <= 64)
526 return !memcmp(A, B, Size);
527 // Compare first and last Limit/2 bytes.
528 return !memcmp(A, B, Limit / 2) &&
529 !memcmp(A + Size - Limit / 2, B + Size - Limit / 2, Limit / 2);
530}
531
532void Fuzzer::ExecuteCallback(const uint8_t *Data, size_t Size) {
533 TPC.RecordInitialStack();
534 TotalNumberOfRuns++;
535 assert(InFuzzingThread());
George Karpenkov10ab2ac2017-08-21 23:25:50536 // We copy the contents of Unit into a separate heap buffer
537 // so that we reliably find buffer overflows in it.
538 uint8_t *DataCopy = new uint8_t[Size];
539 memcpy(DataCopy, Data, Size);
Matt Morehousea34c65e2018-07-09 23:51:08540 if (EF->__msan_unpoison)
541 EF->__msan_unpoison(DataCopy, Size);
Matt Morehouse34784942019-05-09 22:48:46542 if (EF->__msan_unpoison_param)
543 EF->__msan_unpoison_param(2);
George Karpenkov10ab2ac2017-08-21 23:25:50544 if (CurrentUnitData && CurrentUnitData != Data)
545 memcpy(CurrentUnitData, Data, Size);
546 CurrentUnitSize = Size;
Matt Morehousea34c65e2018-07-09 23:51:08547 {
548 ScopedEnableMsanInterceptorChecks S;
549 AllocTracer.Start(Options.TraceMalloc);
550 UnitStartTime = system_clock::now();
551 TPC.ResetMaps();
Matt Morehouse43a22962018-07-17 16:12:00552 RunningUserCallback = true;
Matt Morehousea34c65e2018-07-09 23:51:08553 int Res = CB(DataCopy, Size);
Matt Morehouse43a22962018-07-17 16:12:00554 RunningUserCallback = false;
Matt Morehousea34c65e2018-07-09 23:51:08555 UnitStopTime = system_clock::now();
556 (void)Res;
557 assert(Res == 0);
558 HasMoreMallocsThanFrees = AllocTracer.Stop();
559 }
George Karpenkov10ab2ac2017-08-21 23:25:50560 if (!LooseMemeq(DataCopy, Data, Size))
561 CrashOnOverwrittenData();
562 CurrentUnitSize = 0;
563 delete[] DataCopy;
564}
565
Kostya Serebryany63f48712019-02-12 00:12:33566std::string Fuzzer::WriteToOutputCorpus(const Unit &U) {
George Karpenkov10ab2ac2017-08-21 23:25:50567 if (Options.OnlyASCII)
568 assert(IsASCII(U));
569 if (Options.OutputCorpus.empty())
Kostya Serebryany63f48712019-02-12 00:12:33570 return "";
George Karpenkov10ab2ac2017-08-21 23:25:50571 std::string Path = DirPlusFile(Options.OutputCorpus, Hash(U));
572 WriteToFile(U, Path);
573 if (Options.Verbosity >= 2)
574 Printf("Written %zd bytes to %s\n", U.size(), Path.c_str());
Kostya Serebryany63f48712019-02-12 00:12:33575 return Path;
George Karpenkov10ab2ac2017-08-21 23:25:50576}
577
578void Fuzzer::WriteUnitToFileWithPrefix(const Unit &U, const char *Prefix) {
579 if (!Options.SaveArtifacts)
580 return;
581 std::string Path = Options.ArtifactPrefix + Prefix + Hash(U);
582 if (!Options.ExactArtifactPath.empty())
583 Path = Options.ExactArtifactPath; // Overrides ArtifactPrefix.
584 WriteToFile(U, Path);
585 Printf("artifact_prefix='%s'; Test unit written to %s\n",
586 Options.ArtifactPrefix.c_str(), Path.c_str());
587 if (U.size() <= kMaxUnitSizeToPrint)
588 Printf("Base64: %s\n", Base64(U).c_str());
589}
590
591void Fuzzer::PrintStatusForNewUnit(const Unit &U, const char *Text) {
592 if (!Options.PrintNEW)
593 return;
594 PrintStats(Text, "");
595 if (Options.Verbosity) {
596 Printf(" L: %zd/%zd ", U.size(), Corpus.MaxInputSize());
597 MD.PrintMutationSequence();
598 Printf("\n");
599 }
600}
601
602void Fuzzer::ReportNewCoverage(InputInfo *II, const Unit &U) {
603 II->NumSuccessfullMutations++;
604 MD.RecordSuccessfulMutationSequence();
Alex Shlyapnikov5ded0702017-10-23 23:24:33605 PrintStatusForNewUnit(U, II->Reduced ? "REDUCE" : "NEW ");
George Karpenkov10ab2ac2017-08-21 23:25:50606 WriteToOutputCorpus(U);
607 NumberOfNewUnitsAdded++;
Alex Shlyapnikov5ded0702017-10-23 23:24:33608 CheckExitOnSrcPosOrItem(); // Check only after the unit is saved to corpus.
George Karpenkov10ab2ac2017-08-21 23:25:50609 LastCorpusUpdateRun = TotalNumberOfRuns;
George Karpenkov10ab2ac2017-08-21 23:25:50610}
611
612// Tries detecting a memory leak on the particular input that we have just
613// executed before calling this function.
614void Fuzzer::TryDetectingAMemoryLeak(const uint8_t *Data, size_t Size,
615 bool DuringInitialCorpusExecution) {
Alex Shlyapnikov5ded0702017-10-23 23:24:33616 if (!HasMoreMallocsThanFrees)
617 return; // mallocs==frees, a leak is unlikely.
618 if (!Options.DetectLeaks)
619 return;
Max Moroz3f26dac2017-09-12 02:01:54620 if (!DuringInitialCorpusExecution &&
Alex Shlyapnikov5ded0702017-10-23 23:24:33621 TotalNumberOfRuns >= Options.MaxNumberOfRuns)
622 return;
George Karpenkov10ab2ac2017-08-21 23:25:50623 if (!&(EF->__lsan_enable) || !&(EF->__lsan_disable) ||
624 !(EF->__lsan_do_recoverable_leak_check))
Alex Shlyapnikov5ded0702017-10-23 23:24:33625 return; // No lsan.
George Karpenkov10ab2ac2017-08-21 23:25:50626 // Run the target once again, but with lsan disabled so that if there is
627 // a real leak we do not report it twice.
628 EF->__lsan_disable();
629 ExecuteCallback(Data, Size);
630 EF->__lsan_enable();
Alex Shlyapnikov5ded0702017-10-23 23:24:33631 if (!HasMoreMallocsThanFrees)
632 return; // a leak is unlikely.
George Karpenkov10ab2ac2017-08-21 23:25:50633 if (NumberOfLeakDetectionAttempts++ > 1000) {
634 Options.DetectLeaks = false;
635 Printf("INFO: libFuzzer disabled leak detection after every mutation.\n"
636 " Most likely the target function accumulates allocated\n"
637 " memory in a global state w/o actually leaking it.\n"
638 " You may try running this binary with -trace_malloc=[12]"
639 " to get a trace of mallocs and frees.\n"
640 " If LeakSanitizer is enabled in this process it will still\n"
641 " run on the process shutdown.\n");
642 return;
643 }
644 // Now perform the actual lsan pass. This is expensive and we must ensure
645 // we don't call it too often.
646 if (EF->__lsan_do_recoverable_leak_check()) { // Leak is found, report it.
647 if (DuringInitialCorpusExecution)
648 Printf("\nINFO: a leak has been found in the initial corpus.\n\n");
649 Printf("INFO: to ignore leaks on libFuzzer side use -detect_leaks=0.\n\n");
650 CurrentUnitSize = Size;
651 DumpCurrentUnit("leak-");
652 PrintFinalStats();
Alex Shlyapnikov5ded0702017-10-23 23:24:33653 _Exit(Options.ErrorExitCode); // not exit() to disable lsan further on.
George Karpenkov10ab2ac2017-08-21 23:25:50654 }
655}
656
657void Fuzzer::MutateAndTestOne() {
658 MD.StartMutationSequence();
659
660 auto &II = Corpus.ChooseUnitToMutate(MD.GetRand());
Kostya Serebryany0719b352019-02-08 01:20:54661 if (Options.DoCrossOver)
662 MD.SetCrossOverWith(&Corpus.ChooseUnitToMutate(MD.GetRand()).U);
George Karpenkov10ab2ac2017-08-21 23:25:50663 const auto &U = II.U;
664 memcpy(BaseSha1, II.Sha1, sizeof(BaseSha1));
665 assert(CurrentUnitData);
666 size_t Size = U.size();
667 assert(Size <= MaxInputLen && "Oversized Unit");
668 memcpy(CurrentUnitData, U.data(), Size);
669
670 assert(MaxMutationLen > 0);
671
672 size_t CurrentMaxMutationLen =
673 Min(MaxMutationLen, Max(U.size(), TmpMaxMutationLen));
674 assert(CurrentMaxMutationLen > 0);
675
676 for (int i = 0; i < Options.MutateDepth; i++) {
677 if (TotalNumberOfRuns >= Options.MaxNumberOfRuns)
678 break;
Kostya Serebryanya2ca2dc2017-11-09 20:30:19679 MaybeExitGracefully();
George Karpenkov10ab2ac2017-08-21 23:25:50680 size_t NewSize = 0;
Kostya Serebryany6b87e0c2018-07-19 01:23:32681 if (II.HasFocusFunction && !II.DataFlowTraceForFocusFunction.empty() &&
682 Size <= CurrentMaxMutationLen)
683 NewSize = MD.MutateWithMask(CurrentUnitData, Size, Size,
684 II.DataFlowTraceForFocusFunction);
Matt Morehouse1b760632019-04-26 00:17:41685
Max Moroz9d5e7ee2019-04-11 16:24:53686 // If MutateWithMask either failed or wasn't called, call default Mutate.
687 if (!NewSize)
Kostya Serebryany6b87e0c2018-07-19 01:23:32688 NewSize = MD.Mutate(CurrentUnitData, Size, CurrentMaxMutationLen);
George Karpenkov10ab2ac2017-08-21 23:25:50689 assert(NewSize > 0 && "Mutator returned empty unit");
Alex Shlyapnikov6f1c26f2017-10-23 22:04:30690 assert(NewSize <= CurrentMaxMutationLen && "Mutator return oversized unit");
George Karpenkov10ab2ac2017-08-21 23:25:50691 Size = NewSize;
692 II.NumExecutedMutations++;
George Karpenkov10ab2ac2017-08-21 23:25:50693
Kostya Serebryanyad05ee02017-12-01 19:18:38694 bool FoundUniqFeatures = false;
695 bool NewCov = RunOne(CurrentUnitData, Size, /*MayDeleteFile=*/true, &II,
696 &FoundUniqFeatures);
George Karpenkov10ab2ac2017-08-21 23:25:50697 TryDetectingAMemoryLeak(CurrentUnitData, Size,
698 /*DuringInitialCorpusExecution*/ false);
Kostya Serebryanyad05ee02017-12-01 19:18:38699 if (NewCov) {
Matt Morehouse947838c2017-11-09 20:44:08700 ReportNewCoverage(&II, {CurrentUnitData, CurrentUnitData + Size});
Kostya Serebryanyad05ee02017-12-01 19:18:38701 break; // We will mutate this input more in the next rounds.
702 }
703 if (Options.ReduceDepth && !FoundUniqFeatures)
Matt Morehouse34784942019-05-09 22:48:46704 break;
George Karpenkov10ab2ac2017-08-21 23:25:50705 }
706}
707
Alex Shlyapnikov6f1c26f2017-10-23 22:04:30708void Fuzzer::PurgeAllocator() {
Alex Shlyapnikov5ded0702017-10-23 23:24:33709 if (Options.PurgeAllocatorIntervalSec < 0 || !EF->__sanitizer_purge_allocator)
Alex Shlyapnikov6f1c26f2017-10-23 22:04:30710 return;
Alex Shlyapnikov6f1c26f2017-10-23 22:04:30711 if (duration_cast<seconds>(system_clock::now() -
Alex Shlyapnikov5ded0702017-10-23 23:24:33712 LastAllocatorPurgeAttemptTime)
713 .count() < Options.PurgeAllocatorIntervalSec)
Alex Shlyapnikov6f1c26f2017-10-23 22:04:30714 return;
Alex Shlyapnikov6f1c26f2017-10-23 22:04:30715
716 if (Options.RssLimitMb <= 0 ||
Alex Shlyapnikov5ded0702017-10-23 23:24:33717 GetPeakRSSMb() > static_cast<size_t>(Options.RssLimitMb) / 2)
Alex Shlyapnikov6f1c26f2017-10-23 22:04:30718 EF->__sanitizer_purge_allocator();
Alex Shlyapnikov6f1c26f2017-10-23 22:04:30719
720 LastAllocatorPurgeAttemptTime = system_clock::now();
721}
722
Kostya Serebryany4c7353c2019-05-10 01:34:26723void Fuzzer::ReadAndExecuteSeedCorpora(Vector<SizedFile> &CorporaFiles) {
Kostya Serebryany3a8e3c82017-08-29 02:05:01724 const size_t kMaxSaneLen = 1 << 20;
725 const size_t kMinDefaultLen = 4096;
Kostya Serebryany4faeb872017-08-29 20:51:24726 size_t MaxSize = 0;
727 size_t MinSize = -1;
728 size_t TotalSize = 0;
Kostya Serebryany4c7353c2019-05-10 01:34:26729 for (auto &File : CorporaFiles) {
Kostya Serebryany93679be2017-09-12 21:58:07730 MaxSize = Max(File.Size, MaxSize);
731 MinSize = Min(File.Size, MinSize);
732 TotalSize += File.Size;
Kostya Serebryany3a8e3c82017-08-29 02:05:01733 }
Kostya Serebryany4faeb872017-08-29 20:51:24734 if (Options.MaxLen == 0)
735 SetMaxInputLen(std::min(std::max(kMinDefaultLen, MaxSize), kMaxSaneLen));
736 assert(MaxInputLen > 0);
737
Kostya Serebryany51823d32017-10-13 01:12:23738 // Test the callback with empty input and never try it again.
739 uint8_t dummy = 0;
740 ExecuteCallback(&dummy, 0);
741
Kostya Serebryany23482e12019-01-31 01:40:14742 // Protect lazy counters here, after the once-init code has been executed.
743 if (Options.LazyCounters)
744 TPC.ProtectLazyCounters();
745
Kostya Serebryany4c7353c2019-05-10 01:34:26746 if (CorporaFiles.empty()) {
Kostya Serebryany4faeb872017-08-29 20:51:24747 Printf("INFO: A corpus is not provided, starting from an empty corpus\n");
748 Unit U({'\n'}); // Valid ASCII input.
749 RunOne(U.data(), U.size());
750 } else {
751 Printf("INFO: seed corpus: files: %zd min: %zdb max: %zdb total: %zdb"
752 " rss: %zdMb\n",
Kostya Serebryany4c7353c2019-05-10 01:34:26753 CorporaFiles.size(), MinSize, MaxSize, TotalSize, GetPeakRSSMb());
Kostya Serebryany4faeb872017-08-29 20:51:24754 if (Options.ShuffleAtStartUp)
Kostya Serebryany4c7353c2019-05-10 01:34:26755 std::shuffle(CorporaFiles.begin(), CorporaFiles.end(), MD.GetRand());
Kostya Serebryany4faeb872017-08-29 20:51:24756
Kostya Serebryany93679be2017-09-12 21:58:07757 if (Options.PreferSmall) {
Kostya Serebryany4c7353c2019-05-10 01:34:26758 std::stable_sort(CorporaFiles.begin(), CorporaFiles.end());
759 assert(CorporaFiles.front().Size <= CorporaFiles.back().Size);
Kostya Serebryany93679be2017-09-12 21:58:07760 }
Kostya Serebryany4faeb872017-08-29 20:51:24761
762 // Load and execute inputs one by one.
Kostya Serebryany4c7353c2019-05-10 01:34:26763 for (auto &SF : CorporaFiles) {
Kostya Serebryany082e9a72017-08-31 19:17:15764 auto U = FileToVector(SF.File, MaxInputLen, /*ExitOnError=*/false);
Kostya Serebryany4faeb872017-08-29 20:51:24765 assert(U.size() <= MaxInputLen);
766 RunOne(U.data(), U.size());
767 CheckExitOnSrcPosOrItem();
768 TryDetectingAMemoryLeak(U.data(), U.size(),
769 /*DuringInitialCorpusExecution*/ true);
770 }
Kostya Serebryany3a8e3c82017-08-29 02:05:01771 }
772
Kostya Serebryany4faeb872017-08-29 20:51:24773 PrintStats("INITED");
Kostya Serebryanye9c6f062018-05-16 23:26:37774 if (!Options.FocusFunction.empty())
775 Printf("INFO: %zd/%zd inputs touch the focus function\n",
776 Corpus.NumInputsThatTouchFocusFunction(), Corpus.size());
Kostya Serebryany67af9922018-06-07 01:40:20777 if (!Options.DataFlowTrace.empty())
778 Printf("INFO: %zd/%zd inputs have the Data Flow Trace\n",
779 Corpus.NumInputsWithDataFlowTrace(), Corpus.size());
Kostya Serebryanye9c6f062018-05-16 23:26:37780
Max Morozfe974412018-05-23 19:42:30781 if (Corpus.empty() && Options.MaxNumberOfRuns) {
Kostya Serebryany4faeb872017-08-29 20:51:24782 Printf("ERROR: no interesting inputs were found. "
783 "Is the code instrumented for coverage? Exiting.\n");
784 exit(1);
Kostya Serebryany3a8e3c82017-08-29 02:05:01785 }
Kostya Serebryany3a8e3c82017-08-29 02:05:01786}
787
Kostya Serebryany4c7353c2019-05-10 01:34:26788void Fuzzer::Loop(Vector<SizedFile> &CorporaFiles) {
Kostya Serebryany060f4b42019-05-24 00:43:52789 auto FocusFunctionOrAuto = Options.FocusFunction;
790 DFT.Init(Options.DataFlowTrace, &FocusFunctionOrAuto, CorporaFiles,
791 MD.GetRand());
792 TPC.SetFocusFunction(FocusFunctionOrAuto);
Kostya Serebryany4c7353c2019-05-10 01:34:26793 ReadAndExecuteSeedCorpora(CorporaFiles);
Kostya Serebryany67af9922018-06-07 01:40:20794 DFT.Clear(); // No need for DFT any more.
George Karpenkov10ab2ac2017-08-21 23:25:50795 TPC.SetPrintNewPCs(Options.PrintNewCovPcs);
Kostya Serebryany2eef8162017-08-25 20:09:25796 TPC.SetPrintNewFuncs(Options.PrintNewCovFuncs);
George Karpenkov10ab2ac2017-08-21 23:25:50797 system_clock::time_point LastCorpusReload = system_clock::now();
Kostya Serebryanyb6ca1e72019-02-16 01:23:41798
799 TmpMaxMutationLen =
800 Min(MaxMutationLen, Max(size_t(4), Corpus.MaxInputSize()));
801
George Karpenkov10ab2ac2017-08-21 23:25:50802 while (true) {
803 auto Now = system_clock::now();
804 if (duration_cast<seconds>(Now - LastCorpusReload).count() >=
805 Options.ReloadIntervalSec) {
806 RereadOutputCorpus(MaxInputLen);
807 LastCorpusReload = system_clock::now();
808 }
809 if (TotalNumberOfRuns >= Options.MaxNumberOfRuns)
810 break;
Alex Shlyapnikov5ded0702017-10-23 23:24:33811 if (TimedOut())
812 break;
George Karpenkov10ab2ac2017-08-21 23:25:50813
814 // Update TmpMaxMutationLen
Matt Morehouse36c89b32018-02-13 20:52:15815 if (Options.LenControl) {
George Karpenkov10ab2ac2017-08-21 23:25:50816 if (TmpMaxMutationLen < MaxMutationLen &&
Kostya Serebryanye9ed2322017-12-12 23:11:28817 TotalNumberOfRuns - LastCorpusUpdateRun >
Matt Morehouse36c89b32018-02-13 20:52:15818 Options.LenControl * Log(TmpMaxMutationLen)) {
George Karpenkov10ab2ac2017-08-21 23:25:50819 TmpMaxMutationLen =
Kostya Serebryanye9ed2322017-12-12 23:11:28820 Min(MaxMutationLen, TmpMaxMutationLen + Log(TmpMaxMutationLen));
Kostya Serebryanye9ed2322017-12-12 23:11:28821 LastCorpusUpdateRun = TotalNumberOfRuns;
George Karpenkov10ab2ac2017-08-21 23:25:50822 }
823 } else {
824 TmpMaxMutationLen = MaxMutationLen;
825 }
826
827 // Perform several mutations and runs.
828 MutateAndTestOne();
Alex Shlyapnikov6f1c26f2017-10-23 22:04:30829
830 PurgeAllocator();
George Karpenkov10ab2ac2017-08-21 23:25:50831 }
832
833 PrintStats("DONE ", "\n");
834 MD.PrintRecommendedDictionary();
835}
836
837void Fuzzer::MinimizeCrashLoop(const Unit &U) {
Alex Shlyapnikov5ded0702017-10-23 23:24:33838 if (U.size() <= 1)
839 return;
George Karpenkov10ab2ac2017-08-21 23:25:50840 while (!TimedOut() && TotalNumberOfRuns < Options.MaxNumberOfRuns) {
841 MD.StartMutationSequence();
842 memcpy(CurrentUnitData, U.data(), U.size());
843 for (int i = 0; i < Options.MutateDepth; i++) {
844 size_t NewSize = MD.Mutate(CurrentUnitData, U.size(), MaxMutationLen);
845 assert(NewSize > 0 && NewSize <= MaxMutationLen);
846 ExecuteCallback(CurrentUnitData, NewSize);
847 PrintPulseAndReportSlowInput(CurrentUnitData, NewSize);
848 TryDetectingAMemoryLeak(CurrentUnitData, NewSize,
849 /*DuringInitialCorpusExecution*/ false);
850 }
851 }
852}
853
George Karpenkov10ab2ac2017-08-21 23:25:50854} // namespace fuzzer
855
856extern "C" {
857
Jonathan Metzmanb795c312019-01-17 16:36:05858ATTRIBUTE_INTERFACE size_t
Petr Hosekeac2b472018-01-17 20:39:14859LLVMFuzzerMutate(uint8_t *Data, size_t Size, size_t MaxSize) {
George Karpenkov10ab2ac2017-08-21 23:25:50860 assert(fuzzer::F);
861 return fuzzer::F->GetMD().DefaultMutate(Data, Size, MaxSize);
862}
863
Alex Shlyapnikov5ded0702017-10-23 23:24:33864} // extern "C"