blob: 7ef310d37ab8512e7365bc8cd1235109791a5f2a [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"
16#include "FuzzerShmem.h"
17#include "FuzzerTracePC.h"
18#include <algorithm>
19#include <cstring>
20#include <memory>
Vitaly Buka7dbc1d82017-11-01 03:02:5921#include <mutex>
George Karpenkov10ab2ac2017-08-21 23:25:5022#include <set>
23
24#if defined(__has_include)
25#if __has_include(<sanitizer / lsan_interface.h>)
26#include <sanitizer/lsan_interface.h>
27#endif
28#endif
29
30#define NO_SANITIZE_MEMORY
31#if defined(__has_feature)
32#if __has_feature(memory_sanitizer)
33#undef NO_SANITIZE_MEMORY
34#define NO_SANITIZE_MEMORY __attribute__((no_sanitize_memory))
35#endif
36#endif
37
38namespace fuzzer {
39static const size_t kMaxUnitSizeToPrint = 256;
40
41thread_local bool Fuzzer::IsMyThread;
42
43SharedMemoryRegion SMR;
44
Matt Morehouse43a22962018-07-17 16:12:0045bool RunningUserCallback = false;
46
George Karpenkov10ab2ac2017-08-21 23:25:5047// Only one Fuzzer per process.
48static Fuzzer *F;
49
50// Leak detection is expensive, so we first check if there were more mallocs
51// than frees (using the sanitizer malloc hooks) and only then try to call lsan.
52struct MallocFreeTracer {
53 void Start(int TraceLevel) {
54 this->TraceLevel = TraceLevel;
55 if (TraceLevel)
56 Printf("MallocFreeTracer: START\n");
57 Mallocs = 0;
58 Frees = 0;
59 }
60 // Returns true if there were more mallocs than frees.
61 bool Stop() {
62 if (TraceLevel)
63 Printf("MallocFreeTracer: STOP %zd %zd (%s)\n", Mallocs.load(),
64 Frees.load(), Mallocs == Frees ? "same" : "DIFFERENT");
65 bool Result = Mallocs > Frees;
66 Mallocs = 0;
67 Frees = 0;
68 TraceLevel = 0;
69 return Result;
70 }
71 std::atomic<size_t> Mallocs;
72 std::atomic<size_t> Frees;
73 int TraceLevel = 0;
Vitaly Buka7d223242017-11-02 04:12:1074
75 std::recursive_mutex TraceMutex;
76 bool TraceDisabled = false;
George Karpenkov10ab2ac2017-08-21 23:25:5077};
78
79static MallocFreeTracer AllocTracer;
80
Vitaly Buka7d223242017-11-02 04:12:1081// Locks printing and avoids nested hooks triggered from mallocs/frees in
82// sanitizer.
83class TraceLock {
84public:
85 TraceLock() : Lock(AllocTracer.TraceMutex) {
86 AllocTracer.TraceDisabled = !AllocTracer.TraceDisabled;
87 }
88 ~TraceLock() { AllocTracer.TraceDisabled = !AllocTracer.TraceDisabled; }
89
90 bool IsDisabled() const {
91 // This is already inverted value.
92 return !AllocTracer.TraceDisabled;
93 }
94
95private:
96 std::lock_guard<std::recursive_mutex> Lock;
97};
Vitaly Buka7dbc1d82017-11-01 03:02:5998
George Karpenkov10ab2ac2017-08-21 23:25:5099ATTRIBUTE_NO_SANITIZE_MEMORY
100void MallocHook(const volatile void *ptr, size_t size) {
101 size_t N = AllocTracer.Mallocs++;
102 F->HandleMalloc(size);
103 if (int TraceLevel = AllocTracer.TraceLevel) {
Vitaly Buka7d223242017-11-02 04:12:10104 TraceLock Lock;
105 if (Lock.IsDisabled())
106 return;
George Karpenkov10ab2ac2017-08-21 23:25:50107 Printf("MALLOC[%zd] %p %zd\n", N, ptr, size);
108 if (TraceLevel >= 2 && EF)
Matt Morehouse14cf71a2018-05-08 23:45:05109 PrintStackTrace();
George Karpenkov10ab2ac2017-08-21 23:25:50110 }
111}
112
113ATTRIBUTE_NO_SANITIZE_MEMORY
114void FreeHook(const volatile void *ptr) {
115 size_t N = AllocTracer.Frees++;
116 if (int TraceLevel = AllocTracer.TraceLevel) {
Vitaly Buka7d223242017-11-02 04:12:10117 TraceLock Lock;
118 if (Lock.IsDisabled())
119 return;
George Karpenkov10ab2ac2017-08-21 23:25:50120 Printf("FREE[%zd] %p\n", N, ptr);
121 if (TraceLevel >= 2 && EF)
Matt Morehouse14cf71a2018-05-08 23:45:05122 PrintStackTrace();
George Karpenkov10ab2ac2017-08-21 23:25:50123 }
124}
125
126// Crash on a single malloc that exceeds the rss limit.
127void Fuzzer::HandleMalloc(size_t Size) {
Kostya Serebryanyde9bafb2017-12-01 22:12:04128 if (!Options.MallocLimitMb || (Size >> 20) < (size_t)Options.MallocLimitMb)
George Karpenkov10ab2ac2017-08-21 23:25:50129 return;
130 Printf("==%d== ERROR: libFuzzer: out-of-memory (malloc(%zd))\n", GetPid(),
131 Size);
132 Printf(" To change the out-of-memory limit use -rss_limit_mb=<N>\n\n");
Matt Morehouse14cf71a2018-05-08 23:45:05133 PrintStackTrace();
George Karpenkov10ab2ac2017-08-21 23:25:50134 DumpCurrentUnit("oom-");
135 Printf("SUMMARY: libFuzzer: out-of-memory\n");
136 PrintFinalStats();
137 _Exit(Options.ErrorExitCode); // Stop right now.
138}
139
140Fuzzer::Fuzzer(UserCallback CB, InputCorpus &Corpus, MutationDispatcher &MD,
141 FuzzingOptions Options)
142 : CB(CB), Corpus(Corpus), MD(MD), Options(Options) {
143 if (EF->__sanitizer_set_death_callback)
144 EF->__sanitizer_set_death_callback(StaticDeathCallback);
145 assert(!F);
146 F = this;
147 TPC.ResetMaps();
148 IsMyThread = true;
149 if (Options.DetectLeaks && EF->__sanitizer_install_malloc_and_free_hooks)
150 EF->__sanitizer_install_malloc_and_free_hooks(MallocHook, FreeHook);
151 TPC.SetUseCounters(Options.UseCounters);
Kostya Serebryany51ddb882018-07-03 22:33:09152 TPC.SetUseValueProfileMask(Options.UseValueProfile);
George Karpenkov10ab2ac2017-08-21 23:25:50153
154 if (Options.Verbosity)
155 TPC.PrintModuleInfo();
156 if (!Options.OutputCorpus.empty() && Options.ReloadIntervalSec)
157 EpochOfLastReadOfOutputCorpus = GetEpoch(Options.OutputCorpus);
158 MaxInputLen = MaxMutationLen = Options.MaxLen;
159 TmpMaxMutationLen = Max(size_t(4), Corpus.MaxInputSize());
160 AllocateCurrentUnitData();
161 CurrentUnitSize = 0;
162 memset(BaseSha1, 0, sizeof(BaseSha1));
Kostya Serebryanye9c6f062018-05-16 23:26:37163 TPC.SetFocusFunction(Options.FocusFunction);
Kostya Serebryany1fd005f2018-06-06 01:23:29164 DFT.Init(Options.DataFlowTrace, Options.FocusFunction);
George Karpenkov10ab2ac2017-08-21 23:25:50165}
166
Alex Shlyapnikov5ded0702017-10-23 23:24:33167Fuzzer::~Fuzzer() {}
George Karpenkov10ab2ac2017-08-21 23:25:50168
169void Fuzzer::AllocateCurrentUnitData() {
Alex Shlyapnikov5ded0702017-10-23 23:24:33170 if (CurrentUnitData || MaxInputLen == 0)
171 return;
George Karpenkov10ab2ac2017-08-21 23:25:50172 CurrentUnitData = new uint8_t[MaxInputLen];
173}
174
175void Fuzzer::StaticDeathCallback() {
176 assert(F);
177 F->DeathCallback();
178}
179
180void Fuzzer::DumpCurrentUnit(const char *Prefix) {
Alex Shlyapnikov5ded0702017-10-23 23:24:33181 if (!CurrentUnitData)
182 return; // Happens when running individual inputs.
Matt Morehousea34c65e2018-07-09 23:51:08183 ScopedDisableMsanInterceptorChecks S;
George Karpenkov10ab2ac2017-08-21 23:25:50184 MD.PrintMutationSequence();
185 Printf("; base unit: %s\n", Sha1ToString(BaseSha1).c_str());
186 size_t UnitSize = CurrentUnitSize;
187 if (UnitSize <= kMaxUnitSizeToPrint) {
188 PrintHexArray(CurrentUnitData, UnitSize, "\n");
189 PrintASCII(CurrentUnitData, UnitSize, "\n");
190 }
191 WriteUnitToFileWithPrefix({CurrentUnitData, CurrentUnitData + UnitSize},
192 Prefix);
193}
194
195NO_SANITIZE_MEMORY
196void Fuzzer::DeathCallback() {
197 DumpCurrentUnit("crash-");
198 PrintFinalStats();
199}
200
201void Fuzzer::StaticAlarmCallback() {
202 assert(F);
203 F->AlarmCallback();
204}
205
206void Fuzzer::StaticCrashSignalCallback() {
207 assert(F);
208 F->CrashCallback();
209}
210
211void Fuzzer::StaticExitCallback() {
212 assert(F);
213 F->ExitCallback();
214}
215
216void Fuzzer::StaticInterruptCallback() {
217 assert(F);
218 F->InterruptCallback();
219}
220
Kostya Serebryanya2ca2dc2017-11-09 20:30:19221void Fuzzer::StaticGracefulExitCallback() {
222 assert(F);
223 F->GracefulExitRequested = true;
224 Printf("INFO: signal received, trying to exit gracefully\n");
225}
226
George Karpenkov10ab2ac2017-08-21 23:25:50227void Fuzzer::StaticFileSizeExceedCallback() {
228 Printf("==%lu== ERROR: libFuzzer: file size exceeded\n", GetPid());
229 exit(1);
230}
231
232void Fuzzer::CrashCallback() {
Matt Morehouse7764a042018-05-02 02:55:28233 if (EF->__sanitizer_acquire_crash_state)
234 EF->__sanitizer_acquire_crash_state();
George Karpenkov10ab2ac2017-08-21 23:25:50235 Printf("==%lu== ERROR: libFuzzer: deadly signal\n", GetPid());
Matt Morehouse14cf71a2018-05-08 23:45:05236 PrintStackTrace();
George Karpenkov10ab2ac2017-08-21 23:25:50237 Printf("NOTE: libFuzzer has rudimentary signal handlers.\n"
238 " Combine libFuzzer with AddressSanitizer or similar for better "
239 "crash reports.\n");
240 Printf("SUMMARY: libFuzzer: deadly signal\n");
241 DumpCurrentUnit("crash-");
242 PrintFinalStats();
Alex Shlyapnikov5ded0702017-10-23 23:24:33243 _Exit(Options.ErrorExitCode); // Stop right now.
George Karpenkov10ab2ac2017-08-21 23:25:50244}
245
246void Fuzzer::ExitCallback() {
Matt Morehouse43a22962018-07-17 16:12:00247 if (!RunningUserCallback)
George Karpenkov10ab2ac2017-08-21 23:25:50248 return; // This exit did not come from the user callback
Matt Morehouse52fd1692018-05-01 21:01:53249 if (EF->__sanitizer_acquire_crash_state &&
250 !EF->__sanitizer_acquire_crash_state())
251 return;
George Karpenkov10ab2ac2017-08-21 23:25:50252 Printf("==%lu== ERROR: libFuzzer: fuzz target exited\n", GetPid());
Matt Morehouse14cf71a2018-05-08 23:45:05253 PrintStackTrace();
George Karpenkov10ab2ac2017-08-21 23:25:50254 Printf("SUMMARY: libFuzzer: fuzz target exited\n");
255 DumpCurrentUnit("crash-");
256 PrintFinalStats();
257 _Exit(Options.ErrorExitCode);
258}
259
Kostya Serebryanya2ca2dc2017-11-09 20:30:19260void Fuzzer::MaybeExitGracefully() {
261 if (!GracefulExitRequested) return;
262 Printf("==%lu== INFO: libFuzzer: exiting as requested\n", GetPid());
263 PrintFinalStats();
264 _Exit(0);
265}
266
George Karpenkov10ab2ac2017-08-21 23:25:50267void Fuzzer::InterruptCallback() {
268 Printf("==%lu== libFuzzer: run interrupted; exiting\n", GetPid());
269 PrintFinalStats();
Alex Shlyapnikov5ded0702017-10-23 23:24:33270 _Exit(0); // Stop right now, don't perform any at-exit actions.
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();
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())
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();
Kostya Serebryany69c2b712018-05-21 19:47:00357 if (Options.DumpCoverage)
358 TPC.DumpCoverage();
George Karpenkov10ab2ac2017-08-21 23:25:50359 if (Options.PrintCorpusStats)
360 Corpus.PrintStats();
Alex Shlyapnikov5ded0702017-10-23 23:24:33361 if (!Options.PrintFinalStats)
362 return;
George Karpenkov10ab2ac2017-08-21 23:25:50363 size_t ExecPerSec = execPerSec();
364 Printf("stat::number_of_executed_units: %zd\n", TotalNumberOfRuns);
365 Printf("stat::average_exec_per_sec: %zd\n", ExecPerSec);
366 Printf("stat::new_units_added: %zd\n", NumberOfNewUnitsAdded);
367 Printf("stat::slowest_unit_time_sec: %zd\n", TimeOfLongestUnitInSeconds);
368 Printf("stat::peak_rss_mb: %zd\n", GetPeakRSSMb());
369}
370
371void Fuzzer::SetMaxInputLen(size_t MaxInputLen) {
372 assert(this->MaxInputLen == 0); // Can only reset MaxInputLen from 0 to non-0.
373 assert(MaxInputLen);
374 this->MaxInputLen = MaxInputLen;
375 this->MaxMutationLen = MaxInputLen;
376 AllocateCurrentUnitData();
377 Printf("INFO: -max_len is not provided; "
378 "libFuzzer will not generate inputs larger than %zd bytes\n",
379 MaxInputLen);
380}
381
382void Fuzzer::SetMaxMutationLen(size_t MaxMutationLen) {
383 assert(MaxMutationLen && MaxMutationLen <= MaxInputLen);
384 this->MaxMutationLen = MaxMutationLen;
385}
386
387void Fuzzer::CheckExitOnSrcPosOrItem() {
388 if (!Options.ExitOnSrcPos.empty()) {
George Karpenkovbebcbfb2017-08-27 23:20:09389 static auto *PCsSet = new Set<uintptr_t>;
George Karpenkov10ab2ac2017-08-21 23:25:50390 auto HandlePC = [&](uintptr_t PC) {
Alex Shlyapnikov5ded0702017-10-23 23:24:33391 if (!PCsSet->insert(PC).second)
392 return;
George Karpenkov10ab2ac2017-08-21 23:25:50393 std::string Descr = DescribePC("%F %L", PC + 1);
394 if (Descr.find(Options.ExitOnSrcPos) != std::string::npos) {
395 Printf("INFO: found line matching '%s', exiting.\n",
396 Options.ExitOnSrcPos.c_str());
397 _Exit(0);
398 }
399 };
400 TPC.ForEachObservedPC(HandlePC);
401 }
402 if (!Options.ExitOnItem.empty()) {
403 if (Corpus.HasUnit(Options.ExitOnItem)) {
404 Printf("INFO: found item with checksum '%s', exiting.\n",
405 Options.ExitOnItem.c_str());
406 _Exit(0);
407 }
408 }
409}
410
411void Fuzzer::RereadOutputCorpus(size_t MaxSize) {
Alex Shlyapnikov5ded0702017-10-23 23:24:33412 if (Options.OutputCorpus.empty() || !Options.ReloadIntervalSec)
413 return;
George Karpenkovbebcbfb2017-08-27 23:20:09414 Vector<Unit> AdditionalCorpus;
George Karpenkov10ab2ac2017-08-21 23:25:50415 ReadDirToVectorOfUnits(Options.OutputCorpus.c_str(), &AdditionalCorpus,
416 &EpochOfLastReadOfOutputCorpus, MaxSize,
417 /*ExitOnError*/ false);
418 if (Options.Verbosity >= 2)
419 Printf("Reload: read %zd new units.\n", AdditionalCorpus.size());
420 bool Reloaded = false;
421 for (auto &U : AdditionalCorpus) {
422 if (U.size() > MaxSize)
423 U.resize(MaxSize);
424 if (!Corpus.HasUnit(U)) {
425 if (RunOne(U.data(), U.size())) {
426 CheckExitOnSrcPosOrItem();
427 Reloaded = true;
428 }
429 }
430 }
431 if (Reloaded)
432 PrintStats("RELOAD");
433}
434
George Karpenkov10ab2ac2017-08-21 23:25:50435void Fuzzer::PrintPulseAndReportSlowInput(const uint8_t *Data, size_t Size) {
436 auto TimeOfUnit =
437 duration_cast<seconds>(UnitStopTime - UnitStartTime).count();
438 if (!(TotalNumberOfRuns & (TotalNumberOfRuns - 1)) &&
439 secondsSinceProcessStartUp() >= 2)
440 PrintStats("pulse ");
441 if (TimeOfUnit > TimeOfLongestUnitInSeconds * 1.1 &&
442 TimeOfUnit >= Options.ReportSlowUnits) {
443 TimeOfLongestUnitInSeconds = TimeOfUnit;
444 Printf("Slowest unit: %zd s:\n", TimeOfLongestUnitInSeconds);
445 WriteUnitToFileWithPrefix({Data, Data + Size}, "slow-unit-");
446 }
447}
448
449bool Fuzzer::RunOne(const uint8_t *Data, size_t Size, bool MayDeleteFile,
Kostya Serebryanyad05ee02017-12-01 19:18:38450 InputInfo *II, bool *FoundUniqFeatures) {
Alex Shlyapnikov5ded0702017-10-23 23:24:33451 if (!Size)
452 return false;
George Karpenkov10ab2ac2017-08-21 23:25:50453
454 ExecuteCallback(Data, Size);
455
456 UniqFeatureSetTmp.clear();
457 size_t FoundUniqFeaturesOfII = 0;
458 size_t NumUpdatesBefore = Corpus.NumFeatureUpdates();
459 TPC.CollectFeatures([&](size_t Feature) {
George Karpenkov10ab2ac2017-08-21 23:25:50460 if (Corpus.AddFeature(Feature, Size, Options.Shrink))
461 UniqFeatureSetTmp.push_back(Feature);
462 if (Options.ReduceInputs && II)
463 if (std::binary_search(II->UniqFeatureSet.begin(),
464 II->UniqFeatureSet.end(), Feature))
465 FoundUniqFeaturesOfII++;
466 });
Kostya Serebryanyad05ee02017-12-01 19:18:38467 if (FoundUniqFeatures)
468 *FoundUniqFeatures = FoundUniqFeaturesOfII;
George Karpenkov10ab2ac2017-08-21 23:25:50469 PrintPulseAndReportSlowInput(Data, Size);
470 size_t NumNewFeatures = Corpus.NumFeatureUpdates() - NumUpdatesBefore;
471 if (NumNewFeatures) {
472 TPC.UpdateObservedPCs();
473 Corpus.AddToCorpus({Data, Data + Size}, NumNewFeatures, MayDeleteFile,
Kostya Serebryany6b87e0c2018-07-19 01:23:32474 TPC.ObservedFocusFunction(), UniqFeatureSetTmp, DFT, II);
George Karpenkov10ab2ac2017-08-21 23:25:50475 return true;
476 }
477 if (II && FoundUniqFeaturesOfII &&
Kostya Serebryany67af9922018-06-07 01:40:20478 II->DataFlowTraceForFocusFunction.empty() &&
George Karpenkov10ab2ac2017-08-21 23:25:50479 FoundUniqFeaturesOfII == II->UniqFeatureSet.size() &&
480 II->U.size() > Size) {
481 Corpus.Replace(II, {Data, Data + Size});
482 return true;
483 }
484 return false;
485}
486
487size_t Fuzzer::GetCurrentUnitInFuzzingThead(const uint8_t **Data) const {
488 assert(InFuzzingThread());
489 *Data = CurrentUnitData;
490 return CurrentUnitSize;
491}
492
493void Fuzzer::CrashOnOverwrittenData() {
494 Printf("==%d== ERROR: libFuzzer: fuzz target overwrites it's const input\n",
495 GetPid());
496 DumpCurrentUnit("crash-");
497 Printf("SUMMARY: libFuzzer: out-of-memory\n");
498 _Exit(Options.ErrorExitCode); // Stop right now.
499}
500
501// Compare two arrays, but not all bytes if the arrays are large.
502static bool LooseMemeq(const uint8_t *A, const uint8_t *B, size_t Size) {
503 const size_t Limit = 64;
504 if (Size <= 64)
505 return !memcmp(A, B, Size);
506 // Compare first and last Limit/2 bytes.
507 return !memcmp(A, B, Limit / 2) &&
508 !memcmp(A + Size - Limit / 2, B + Size - Limit / 2, Limit / 2);
509}
510
511void Fuzzer::ExecuteCallback(const uint8_t *Data, size_t Size) {
512 TPC.RecordInitialStack();
513 TotalNumberOfRuns++;
514 assert(InFuzzingThread());
515 if (SMR.IsClient())
516 SMR.WriteByteArray(Data, Size);
517 // We copy the contents of Unit into a separate heap buffer
518 // so that we reliably find buffer overflows in it.
519 uint8_t *DataCopy = new uint8_t[Size];
520 memcpy(DataCopy, Data, Size);
Matt Morehousea34c65e2018-07-09 23:51:08521 if (EF->__msan_unpoison)
522 EF->__msan_unpoison(DataCopy, Size);
George Karpenkov10ab2ac2017-08-21 23:25:50523 if (CurrentUnitData && CurrentUnitData != Data)
524 memcpy(CurrentUnitData, Data, Size);
525 CurrentUnitSize = Size;
Matt Morehousea34c65e2018-07-09 23:51:08526 {
527 ScopedEnableMsanInterceptorChecks S;
528 AllocTracer.Start(Options.TraceMalloc);
529 UnitStartTime = system_clock::now();
530 TPC.ResetMaps();
Matt Morehouse43a22962018-07-17 16:12:00531 RunningUserCallback = true;
Matt Morehousea34c65e2018-07-09 23:51:08532 int Res = CB(DataCopy, Size);
Matt Morehouse43a22962018-07-17 16:12:00533 RunningUserCallback = false;
Matt Morehousea34c65e2018-07-09 23:51:08534 UnitStopTime = system_clock::now();
535 (void)Res;
536 assert(Res == 0);
537 HasMoreMallocsThanFrees = AllocTracer.Stop();
538 }
George Karpenkov10ab2ac2017-08-21 23:25:50539 if (!LooseMemeq(DataCopy, Data, Size))
540 CrashOnOverwrittenData();
541 CurrentUnitSize = 0;
542 delete[] DataCopy;
543}
544
545void Fuzzer::WriteToOutputCorpus(const Unit &U) {
546 if (Options.OnlyASCII)
547 assert(IsASCII(U));
548 if (Options.OutputCorpus.empty())
549 return;
550 std::string Path = DirPlusFile(Options.OutputCorpus, Hash(U));
551 WriteToFile(U, Path);
552 if (Options.Verbosity >= 2)
553 Printf("Written %zd bytes to %s\n", U.size(), Path.c_str());
554}
555
556void Fuzzer::WriteUnitToFileWithPrefix(const Unit &U, const char *Prefix) {
557 if (!Options.SaveArtifacts)
558 return;
559 std::string Path = Options.ArtifactPrefix + Prefix + Hash(U);
560 if (!Options.ExactArtifactPath.empty())
561 Path = Options.ExactArtifactPath; // Overrides ArtifactPrefix.
562 WriteToFile(U, Path);
563 Printf("artifact_prefix='%s'; Test unit written to %s\n",
564 Options.ArtifactPrefix.c_str(), Path.c_str());
565 if (U.size() <= kMaxUnitSizeToPrint)
566 Printf("Base64: %s\n", Base64(U).c_str());
567}
568
569void Fuzzer::PrintStatusForNewUnit(const Unit &U, const char *Text) {
570 if (!Options.PrintNEW)
571 return;
572 PrintStats(Text, "");
573 if (Options.Verbosity) {
574 Printf(" L: %zd/%zd ", U.size(), Corpus.MaxInputSize());
575 MD.PrintMutationSequence();
576 Printf("\n");
577 }
578}
579
580void Fuzzer::ReportNewCoverage(InputInfo *II, const Unit &U) {
581 II->NumSuccessfullMutations++;
582 MD.RecordSuccessfulMutationSequence();
Alex Shlyapnikov5ded0702017-10-23 23:24:33583 PrintStatusForNewUnit(U, II->Reduced ? "REDUCE" : "NEW ");
George Karpenkov10ab2ac2017-08-21 23:25:50584 WriteToOutputCorpus(U);
585 NumberOfNewUnitsAdded++;
Alex Shlyapnikov5ded0702017-10-23 23:24:33586 CheckExitOnSrcPosOrItem(); // Check only after the unit is saved to corpus.
George Karpenkov10ab2ac2017-08-21 23:25:50587 LastCorpusUpdateRun = TotalNumberOfRuns;
George Karpenkov10ab2ac2017-08-21 23:25:50588}
589
590// Tries detecting a memory leak on the particular input that we have just
591// executed before calling this function.
592void Fuzzer::TryDetectingAMemoryLeak(const uint8_t *Data, size_t Size,
593 bool DuringInitialCorpusExecution) {
Alex Shlyapnikov5ded0702017-10-23 23:24:33594 if (!HasMoreMallocsThanFrees)
595 return; // mallocs==frees, a leak is unlikely.
596 if (!Options.DetectLeaks)
597 return;
Max Moroz3f26dac2017-09-12 02:01:54598 if (!DuringInitialCorpusExecution &&
Alex Shlyapnikov5ded0702017-10-23 23:24:33599 TotalNumberOfRuns >= Options.MaxNumberOfRuns)
600 return;
George Karpenkov10ab2ac2017-08-21 23:25:50601 if (!&(EF->__lsan_enable) || !&(EF->__lsan_disable) ||
602 !(EF->__lsan_do_recoverable_leak_check))
Alex Shlyapnikov5ded0702017-10-23 23:24:33603 return; // No lsan.
George Karpenkov10ab2ac2017-08-21 23:25:50604 // Run the target once again, but with lsan disabled so that if there is
605 // a real leak we do not report it twice.
606 EF->__lsan_disable();
607 ExecuteCallback(Data, Size);
608 EF->__lsan_enable();
Alex Shlyapnikov5ded0702017-10-23 23:24:33609 if (!HasMoreMallocsThanFrees)
610 return; // a leak is unlikely.
George Karpenkov10ab2ac2017-08-21 23:25:50611 if (NumberOfLeakDetectionAttempts++ > 1000) {
612 Options.DetectLeaks = false;
613 Printf("INFO: libFuzzer disabled leak detection after every mutation.\n"
614 " Most likely the target function accumulates allocated\n"
615 " memory in a global state w/o actually leaking it.\n"
616 " You may try running this binary with -trace_malloc=[12]"
617 " to get a trace of mallocs and frees.\n"
618 " If LeakSanitizer is enabled in this process it will still\n"
619 " run on the process shutdown.\n");
620 return;
621 }
622 // Now perform the actual lsan pass. This is expensive and we must ensure
623 // we don't call it too often.
624 if (EF->__lsan_do_recoverable_leak_check()) { // Leak is found, report it.
625 if (DuringInitialCorpusExecution)
626 Printf("\nINFO: a leak has been found in the initial corpus.\n\n");
627 Printf("INFO: to ignore leaks on libFuzzer side use -detect_leaks=0.\n\n");
628 CurrentUnitSize = Size;
629 DumpCurrentUnit("leak-");
630 PrintFinalStats();
Alex Shlyapnikov5ded0702017-10-23 23:24:33631 _Exit(Options.ErrorExitCode); // not exit() to disable lsan further on.
George Karpenkov10ab2ac2017-08-21 23:25:50632 }
633}
634
635void Fuzzer::MutateAndTestOne() {
636 MD.StartMutationSequence();
637
638 auto &II = Corpus.ChooseUnitToMutate(MD.GetRand());
George Karpenkov10ab2ac2017-08-21 23:25:50639 const auto &U = II.U;
640 memcpy(BaseSha1, II.Sha1, sizeof(BaseSha1));
641 assert(CurrentUnitData);
642 size_t Size = U.size();
643 assert(Size <= MaxInputLen && "Oversized Unit");
644 memcpy(CurrentUnitData, U.data(), Size);
645
646 assert(MaxMutationLen > 0);
647
648 size_t CurrentMaxMutationLen =
649 Min(MaxMutationLen, Max(U.size(), TmpMaxMutationLen));
650 assert(CurrentMaxMutationLen > 0);
651
652 for (int i = 0; i < Options.MutateDepth; i++) {
653 if (TotalNumberOfRuns >= Options.MaxNumberOfRuns)
654 break;
Kostya Serebryanya2ca2dc2017-11-09 20:30:19655 MaybeExitGracefully();
George Karpenkov10ab2ac2017-08-21 23:25:50656 size_t NewSize = 0;
Kostya Serebryany6b87e0c2018-07-19 01:23:32657 if (II.HasFocusFunction && !II.DataFlowTraceForFocusFunction.empty() &&
658 Size <= CurrentMaxMutationLen)
659 NewSize = MD.MutateWithMask(CurrentUnitData, Size, Size,
660 II.DataFlowTraceForFocusFunction);
661 else
662 NewSize = MD.Mutate(CurrentUnitData, Size, CurrentMaxMutationLen);
George Karpenkov10ab2ac2017-08-21 23:25:50663 assert(NewSize > 0 && "Mutator returned empty unit");
Alex Shlyapnikov6f1c26f2017-10-23 22:04:30664 assert(NewSize <= CurrentMaxMutationLen && "Mutator return oversized unit");
George Karpenkov10ab2ac2017-08-21 23:25:50665 Size = NewSize;
666 II.NumExecutedMutations++;
George Karpenkov10ab2ac2017-08-21 23:25:50667
Kostya Serebryanyad05ee02017-12-01 19:18:38668 bool FoundUniqFeatures = false;
669 bool NewCov = RunOne(CurrentUnitData, Size, /*MayDeleteFile=*/true, &II,
670 &FoundUniqFeatures);
George Karpenkov10ab2ac2017-08-21 23:25:50671 TryDetectingAMemoryLeak(CurrentUnitData, Size,
672 /*DuringInitialCorpusExecution*/ false);
Kostya Serebryanyad05ee02017-12-01 19:18:38673 if (NewCov) {
Matt Morehouse947838c2017-11-09 20:44:08674 ReportNewCoverage(&II, {CurrentUnitData, CurrentUnitData + Size});
Kostya Serebryanyad05ee02017-12-01 19:18:38675 break; // We will mutate this input more in the next rounds.
676 }
677 if (Options.ReduceDepth && !FoundUniqFeatures)
Max Moroz1d369a52018-07-16 15:15:34678 break;
George Karpenkov10ab2ac2017-08-21 23:25:50679 }
680}
681
Alex Shlyapnikov6f1c26f2017-10-23 22:04:30682void Fuzzer::PurgeAllocator() {
Alex Shlyapnikov5ded0702017-10-23 23:24:33683 if (Options.PurgeAllocatorIntervalSec < 0 || !EF->__sanitizer_purge_allocator)
Alex Shlyapnikov6f1c26f2017-10-23 22:04:30684 return;
Alex Shlyapnikov6f1c26f2017-10-23 22:04:30685 if (duration_cast<seconds>(system_clock::now() -
Alex Shlyapnikov5ded0702017-10-23 23:24:33686 LastAllocatorPurgeAttemptTime)
687 .count() < Options.PurgeAllocatorIntervalSec)
Alex Shlyapnikov6f1c26f2017-10-23 22:04:30688 return;
Alex Shlyapnikov6f1c26f2017-10-23 22:04:30689
690 if (Options.RssLimitMb <= 0 ||
Alex Shlyapnikov5ded0702017-10-23 23:24:33691 GetPeakRSSMb() > static_cast<size_t>(Options.RssLimitMb) / 2)
Alex Shlyapnikov6f1c26f2017-10-23 22:04:30692 EF->__sanitizer_purge_allocator();
Alex Shlyapnikov6f1c26f2017-10-23 22:04:30693
694 LastAllocatorPurgeAttemptTime = system_clock::now();
695}
696
Kostya Serebryany3a8e3c82017-08-29 02:05:01697void Fuzzer::ReadAndExecuteSeedCorpora(const Vector<std::string> &CorpusDirs) {
698 const size_t kMaxSaneLen = 1 << 20;
699 const size_t kMinDefaultLen = 4096;
Kostya Serebryany4faeb872017-08-29 20:51:24700 Vector<SizedFile> SizedFiles;
701 size_t MaxSize = 0;
702 size_t MinSize = -1;
703 size_t TotalSize = 0;
Kostya Serebryany93679be2017-09-12 21:58:07704 size_t LastNumFiles = 0;
Kostya Serebryany4faeb872017-08-29 20:51:24705 for (auto &Dir : CorpusDirs) {
Kostya Serebryany93679be2017-09-12 21:58:07706 GetSizedFilesFromDir(Dir, &SizedFiles);
707 Printf("INFO: % 8zd files found in %s\n", SizedFiles.size() - LastNumFiles,
708 Dir.c_str());
709 LastNumFiles = SizedFiles.size();
710 }
711 for (auto &File : SizedFiles) {
712 MaxSize = Max(File.Size, MaxSize);
713 MinSize = Min(File.Size, MinSize);
714 TotalSize += File.Size;
Kostya Serebryany3a8e3c82017-08-29 02:05:01715 }
Kostya Serebryany4faeb872017-08-29 20:51:24716 if (Options.MaxLen == 0)
717 SetMaxInputLen(std::min(std::max(kMinDefaultLen, MaxSize), kMaxSaneLen));
718 assert(MaxInputLen > 0);
719
Kostya Serebryany51823d32017-10-13 01:12:23720 // Test the callback with empty input and never try it again.
721 uint8_t dummy = 0;
722 ExecuteCallback(&dummy, 0);
723
Kostya Serebryany4faeb872017-08-29 20:51:24724 if (SizedFiles.empty()) {
725 Printf("INFO: A corpus is not provided, starting from an empty corpus\n");
726 Unit U({'\n'}); // Valid ASCII input.
727 RunOne(U.data(), U.size());
728 } else {
729 Printf("INFO: seed corpus: files: %zd min: %zdb max: %zdb total: %zdb"
730 " rss: %zdMb\n",
731 SizedFiles.size(), MinSize, MaxSize, TotalSize, GetPeakRSSMb());
732 if (Options.ShuffleAtStartUp)
733 std::shuffle(SizedFiles.begin(), SizedFiles.end(), MD.GetRand());
734
Kostya Serebryany93679be2017-09-12 21:58:07735 if (Options.PreferSmall) {
736 std::stable_sort(SizedFiles.begin(), SizedFiles.end());
737 assert(SizedFiles.front().Size <= SizedFiles.back().Size);
738 }
Kostya Serebryany4faeb872017-08-29 20:51:24739
740 // Load and execute inputs one by one.
741 for (auto &SF : SizedFiles) {
Kostya Serebryany082e9a72017-08-31 19:17:15742 auto U = FileToVector(SF.File, MaxInputLen, /*ExitOnError=*/false);
Kostya Serebryany4faeb872017-08-29 20:51:24743 assert(U.size() <= MaxInputLen);
744 RunOne(U.data(), U.size());
745 CheckExitOnSrcPosOrItem();
746 TryDetectingAMemoryLeak(U.data(), U.size(),
747 /*DuringInitialCorpusExecution*/ true);
748 }
Kostya Serebryany3a8e3c82017-08-29 02:05:01749 }
750
Kostya Serebryany4faeb872017-08-29 20:51:24751 PrintStats("INITED");
Kostya Serebryanye9c6f062018-05-16 23:26:37752 if (!Options.FocusFunction.empty())
753 Printf("INFO: %zd/%zd inputs touch the focus function\n",
754 Corpus.NumInputsThatTouchFocusFunction(), Corpus.size());
Kostya Serebryany67af9922018-06-07 01:40:20755 if (!Options.DataFlowTrace.empty())
756 Printf("INFO: %zd/%zd inputs have the Data Flow Trace\n",
757 Corpus.NumInputsWithDataFlowTrace(), Corpus.size());
Kostya Serebryanye9c6f062018-05-16 23:26:37758
Max Morozfe974412018-05-23 19:42:30759 if (Corpus.empty() && Options.MaxNumberOfRuns) {
Kostya Serebryany4faeb872017-08-29 20:51:24760 Printf("ERROR: no interesting inputs were found. "
761 "Is the code instrumented for coverage? Exiting.\n");
762 exit(1);
Kostya Serebryany3a8e3c82017-08-29 02:05:01763 }
Kostya Serebryany3a8e3c82017-08-29 02:05:01764}
765
766void Fuzzer::Loop(const Vector<std::string> &CorpusDirs) {
767 ReadAndExecuteSeedCorpora(CorpusDirs);
Kostya Serebryany67af9922018-06-07 01:40:20768 DFT.Clear(); // No need for DFT any more.
George Karpenkov10ab2ac2017-08-21 23:25:50769 TPC.SetPrintNewPCs(Options.PrintNewCovPcs);
Kostya Serebryany2eef8162017-08-25 20:09:25770 TPC.SetPrintNewFuncs(Options.PrintNewCovFuncs);
George Karpenkov10ab2ac2017-08-21 23:25:50771 system_clock::time_point LastCorpusReload = system_clock::now();
772 if (Options.DoCrossOver)
773 MD.SetCorpus(&Corpus);
774 while (true) {
775 auto Now = system_clock::now();
776 if (duration_cast<seconds>(Now - LastCorpusReload).count() >=
777 Options.ReloadIntervalSec) {
778 RereadOutputCorpus(MaxInputLen);
779 LastCorpusReload = system_clock::now();
780 }
781 if (TotalNumberOfRuns >= Options.MaxNumberOfRuns)
782 break;
Alex Shlyapnikov5ded0702017-10-23 23:24:33783 if (TimedOut())
784 break;
George Karpenkov10ab2ac2017-08-21 23:25:50785
786 // Update TmpMaxMutationLen
Matt Morehouse36c89b32018-02-13 20:52:15787 if (Options.LenControl) {
George Karpenkov10ab2ac2017-08-21 23:25:50788 if (TmpMaxMutationLen < MaxMutationLen &&
Kostya Serebryanye9ed2322017-12-12 23:11:28789 TotalNumberOfRuns - LastCorpusUpdateRun >
Matt Morehouse36c89b32018-02-13 20:52:15790 Options.LenControl * Log(TmpMaxMutationLen)) {
George Karpenkov10ab2ac2017-08-21 23:25:50791 TmpMaxMutationLen =
Kostya Serebryanye9ed2322017-12-12 23:11:28792 Min(MaxMutationLen, TmpMaxMutationLen + Log(TmpMaxMutationLen));
Kostya Serebryanye9ed2322017-12-12 23:11:28793 LastCorpusUpdateRun = TotalNumberOfRuns;
George Karpenkov10ab2ac2017-08-21 23:25:50794 }
795 } else {
796 TmpMaxMutationLen = MaxMutationLen;
797 }
798
799 // Perform several mutations and runs.
800 MutateAndTestOne();
Alex Shlyapnikov6f1c26f2017-10-23 22:04:30801
802 PurgeAllocator();
George Karpenkov10ab2ac2017-08-21 23:25:50803 }
804
805 PrintStats("DONE ", "\n");
806 MD.PrintRecommendedDictionary();
807}
808
809void Fuzzer::MinimizeCrashLoop(const Unit &U) {
Alex Shlyapnikov5ded0702017-10-23 23:24:33810 if (U.size() <= 1)
811 return;
George Karpenkov10ab2ac2017-08-21 23:25:50812 while (!TimedOut() && TotalNumberOfRuns < Options.MaxNumberOfRuns) {
813 MD.StartMutationSequence();
814 memcpy(CurrentUnitData, U.data(), U.size());
815 for (int i = 0; i < Options.MutateDepth; i++) {
816 size_t NewSize = MD.Mutate(CurrentUnitData, U.size(), MaxMutationLen);
817 assert(NewSize > 0 && NewSize <= MaxMutationLen);
818 ExecuteCallback(CurrentUnitData, NewSize);
819 PrintPulseAndReportSlowInput(CurrentUnitData, NewSize);
820 TryDetectingAMemoryLeak(CurrentUnitData, NewSize,
821 /*DuringInitialCorpusExecution*/ false);
822 }
823 }
824}
825
826void Fuzzer::AnnounceOutput(const uint8_t *Data, size_t Size) {
827 if (SMR.IsServer()) {
828 SMR.WriteByteArray(Data, Size);
829 } else if (SMR.IsClient()) {
830 SMR.PostClient();
831 SMR.WaitServer();
832 size_t OtherSize = SMR.ReadByteArraySize();
833 uint8_t *OtherData = SMR.GetByteArray();
834 if (Size != OtherSize || memcmp(Data, OtherData, Size) != 0) {
835 size_t i = 0;
836 for (i = 0; i < Min(Size, OtherSize); i++)
837 if (Data[i] != OtherData[i])
838 break;
839 Printf("==%lu== ERROR: libFuzzer: equivalence-mismatch. Sizes: %zd %zd; "
Alex Shlyapnikov5ded0702017-10-23 23:24:33840 "offset %zd\n",
841 GetPid(), Size, OtherSize, i);
George Karpenkov10ab2ac2017-08-21 23:25:50842 DumpCurrentUnit("mismatch-");
843 Printf("SUMMARY: libFuzzer: equivalence-mismatch\n");
844 PrintFinalStats();
845 _Exit(Options.ErrorExitCode);
846 }
847 }
848}
849
850} // namespace fuzzer
851
852extern "C" {
853
Jonathan Metzmanb795c312019-01-17 16:36:05854ATTRIBUTE_INTERFACE size_t
Petr Hosekeac2b472018-01-17 20:39:14855LLVMFuzzerMutate(uint8_t *Data, size_t Size, size_t MaxSize) {
George Karpenkov10ab2ac2017-08-21 23:25:50856 assert(fuzzer::F);
857 return fuzzer::F->GetMD().DefaultMutate(Data, Size, MaxSize);
858}
859
860// Experimental
Jonathan Metzmanb795c312019-01-17 16:36:05861ATTRIBUTE_INTERFACE void
Petr Hosekeac2b472018-01-17 20:39:14862LLVMFuzzerAnnounceOutput(const uint8_t *Data, size_t Size) {
George Karpenkov10ab2ac2017-08-21 23:25:50863 assert(fuzzer::F);
864 fuzzer::F->AnnounceOutput(Data, Size);
865}
Alex Shlyapnikov5ded0702017-10-23 23:24:33866} // extern "C"