FuzzerMerge.cpp 19 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539
  1. //===- FuzzerMerge.cpp - merging corpora ----------------------------------===//
  2. //
  3. // 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
  6. //
  7. //===----------------------------------------------------------------------===//
  8. // Merging corpora.
  9. //===----------------------------------------------------------------------===//
  10. #include "FuzzerCommand.h"
  11. #include "FuzzerMerge.h"
  12. #include "FuzzerIO.h"
  13. #include "FuzzerInternal.h"
  14. #include "FuzzerTracePC.h"
  15. #include "FuzzerUtil.h"
  16. #include <fstream>
  17. #include <iterator>
  18. #include <set>
  19. #include <sstream>
  20. #include <unordered_set>
  21. namespace fuzzer {
  22. bool Merger::Parse(const std::string &Str, bool ParseCoverage) {
  23. std::istringstream SS(Str);
  24. return Parse(SS, ParseCoverage);
  25. }
  26. void Merger::ParseOrExit(std::istream &IS, bool ParseCoverage) {
  27. if (!Parse(IS, ParseCoverage)) {
  28. Printf("MERGE: failed to parse the control file (unexpected error)\n");
  29. exit(1);
  30. }
  31. }
  32. // The control file example:
  33. //
  34. // 3 # The number of inputs
  35. // 1 # The number of inputs in the first corpus, <= the previous number
  36. // file0
  37. // file1
  38. // file2 # One file name per line.
  39. // STARTED 0 123 # FileID, file size
  40. // FT 0 1 4 6 8 # FileID COV1 COV2 ...
  41. // COV 0 7 8 9 # FileID COV1 COV1
  42. // STARTED 1 456 # If FT is missing, the input crashed while processing.
  43. // STARTED 2 567
  44. // FT 2 8 9
  45. // COV 2 11 12
  46. bool Merger::Parse(std::istream &IS, bool ParseCoverage) {
  47. LastFailure.clear();
  48. std::string Line;
  49. // Parse NumFiles.
  50. if (!std::getline(IS, Line, '\n')) return false;
  51. std::istringstream L1(Line);
  52. size_t NumFiles = 0;
  53. L1 >> NumFiles;
  54. if (NumFiles == 0 || NumFiles > 10000000) return false;
  55. // Parse NumFilesInFirstCorpus.
  56. if (!std::getline(IS, Line, '\n')) return false;
  57. std::istringstream L2(Line);
  58. NumFilesInFirstCorpus = NumFiles + 1;
  59. L2 >> NumFilesInFirstCorpus;
  60. if (NumFilesInFirstCorpus > NumFiles) return false;
  61. // Parse file names.
  62. Files.resize(NumFiles);
  63. for (size_t i = 0; i < NumFiles; i++)
  64. if (!std::getline(IS, Files[i].Name, '\n'))
  65. return false;
  66. // Parse STARTED, FT, and COV lines.
  67. size_t ExpectedStartMarker = 0;
  68. const size_t kInvalidStartMarker = -1;
  69. size_t LastSeenStartMarker = kInvalidStartMarker;
  70. bool HaveFtMarker = true;
  71. std::vector<uint32_t> TmpFeatures;
  72. std::set<uint32_t> PCs;
  73. while (std::getline(IS, Line, '\n')) {
  74. std::istringstream ISS1(Line);
  75. std::string Marker;
  76. uint32_t N;
  77. if (!(ISS1 >> Marker) || !(ISS1 >> N))
  78. return false;
  79. if (Marker == "STARTED") {
  80. // STARTED FILE_ID FILE_SIZE
  81. if (ExpectedStartMarker != N)
  82. return false;
  83. ISS1 >> Files[ExpectedStartMarker].Size;
  84. LastSeenStartMarker = ExpectedStartMarker;
  85. assert(ExpectedStartMarker < Files.size());
  86. ExpectedStartMarker++;
  87. HaveFtMarker = false;
  88. } else if (Marker == "FT") {
  89. // FT FILE_ID COV1 COV2 COV3 ...
  90. size_t CurrentFileIdx = N;
  91. if (CurrentFileIdx != LastSeenStartMarker)
  92. return false;
  93. HaveFtMarker = true;
  94. if (ParseCoverage) {
  95. TmpFeatures.clear(); // use a vector from outer scope to avoid resizes.
  96. while (ISS1 >> N)
  97. TmpFeatures.push_back(N);
  98. std::sort(TmpFeatures.begin(), TmpFeatures.end());
  99. Files[CurrentFileIdx].Features = TmpFeatures;
  100. }
  101. } else if (Marker == "COV") {
  102. size_t CurrentFileIdx = N;
  103. if (CurrentFileIdx != LastSeenStartMarker)
  104. return false;
  105. if (ParseCoverage)
  106. while (ISS1 >> N)
  107. if (PCs.insert(N).second)
  108. Files[CurrentFileIdx].Cov.push_back(N);
  109. } else {
  110. return false;
  111. }
  112. }
  113. if (!HaveFtMarker && LastSeenStartMarker != kInvalidStartMarker)
  114. LastFailure = Files[LastSeenStartMarker].Name;
  115. FirstNotProcessedFile = ExpectedStartMarker;
  116. return true;
  117. }
  118. size_t Merger::ApproximateMemoryConsumption() const {
  119. size_t Res = 0;
  120. for (const auto &F: Files)
  121. Res += sizeof(F) + F.Features.size() * sizeof(F.Features[0]);
  122. return Res;
  123. }
  124. // Decides which files need to be merged (add those to NewFiles).
  125. // Returns the number of new features added.
  126. size_t Merger::Merge(const std::set<uint32_t> &InitialFeatures,
  127. std::set<uint32_t> *NewFeatures,
  128. const std::set<uint32_t> &InitialCov,
  129. std::set<uint32_t> *NewCov,
  130. std::vector<std::string> *NewFiles) {
  131. NewFiles->clear();
  132. NewFeatures->clear();
  133. NewCov->clear();
  134. assert(NumFilesInFirstCorpus <= Files.size());
  135. std::set<uint32_t> AllFeatures = InitialFeatures;
  136. // What features are in the initial corpus?
  137. for (size_t i = 0; i < NumFilesInFirstCorpus; i++) {
  138. auto &Cur = Files[i].Features;
  139. AllFeatures.insert(Cur.begin(), Cur.end());
  140. }
  141. // Remove all features that we already know from all other inputs.
  142. for (size_t i = NumFilesInFirstCorpus; i < Files.size(); i++) {
  143. auto &Cur = Files[i].Features;
  144. std::vector<uint32_t> Tmp;
  145. std::set_difference(Cur.begin(), Cur.end(), AllFeatures.begin(),
  146. AllFeatures.end(), std::inserter(Tmp, Tmp.begin()));
  147. Cur.swap(Tmp);
  148. }
  149. // Sort. Give preference to
  150. // * smaller files
  151. // * files with more features.
  152. std::sort(Files.begin() + NumFilesInFirstCorpus, Files.end(),
  153. [&](const MergeFileInfo &a, const MergeFileInfo &b) -> bool {
  154. if (a.Size != b.Size)
  155. return a.Size < b.Size;
  156. return a.Features.size() > b.Features.size();
  157. });
  158. // One greedy pass: add the file's features to AllFeatures.
  159. // If new features were added, add this file to NewFiles.
  160. for (size_t i = NumFilesInFirstCorpus; i < Files.size(); i++) {
  161. auto &Cur = Files[i].Features;
  162. // Printf("%s -> sz %zd ft %zd\n", Files[i].Name.c_str(),
  163. // Files[i].Size, Cur.size());
  164. bool FoundNewFeatures = false;
  165. for (auto Fe: Cur) {
  166. if (AllFeatures.insert(Fe).second) {
  167. FoundNewFeatures = true;
  168. NewFeatures->insert(Fe);
  169. }
  170. }
  171. if (FoundNewFeatures)
  172. NewFiles->push_back(Files[i].Name);
  173. for (auto Cov : Files[i].Cov)
  174. if (InitialCov.find(Cov) == InitialCov.end())
  175. NewCov->insert(Cov);
  176. }
  177. return NewFeatures->size();
  178. }
  179. std::set<uint32_t> Merger::AllFeatures() const {
  180. std::set<uint32_t> S;
  181. for (auto &File : Files)
  182. S.insert(File.Features.begin(), File.Features.end());
  183. return S;
  184. }
  185. // Inner process. May crash if the target crashes.
  186. void Fuzzer::CrashResistantMergeInternalStep(const std::string &CFPath,
  187. bool IsSetCoverMerge) {
  188. Printf("MERGE-INNER: using the control file '%s'\n", CFPath.c_str());
  189. Merger M;
  190. std::ifstream IF(CFPath);
  191. M.ParseOrExit(IF, false);
  192. IF.close();
  193. if (!M.LastFailure.empty())
  194. Printf("MERGE-INNER: '%s' caused a failure at the previous merge step\n",
  195. M.LastFailure.c_str());
  196. Printf("MERGE-INNER: %zd total files;"
  197. " %zd processed earlier; will process %zd files now\n",
  198. M.Files.size(), M.FirstNotProcessedFile,
  199. M.Files.size() - M.FirstNotProcessedFile);
  200. std::ofstream OF(CFPath, std::ofstream::out | std::ofstream::app);
  201. std::set<size_t> AllFeatures;
  202. auto PrintStatsWrapper = [this, &AllFeatures](const char* Where) {
  203. this->PrintStats(Where, "\n", 0, AllFeatures.size());
  204. };
  205. std::set<const TracePC::PCTableEntry *> AllPCs;
  206. for (size_t i = M.FirstNotProcessedFile; i < M.Files.size(); i++) {
  207. Fuzzer::MaybeExitGracefully();
  208. auto U = FileToVector(M.Files[i].Name);
  209. if (U.size() > MaxInputLen) {
  210. U.resize(MaxInputLen);
  211. U.shrink_to_fit();
  212. }
  213. // Write the pre-run marker.
  214. OF << "STARTED " << i << " " << U.size() << "\n";
  215. OF.flush(); // Flush is important since Command::Execute may crash.
  216. // Run.
  217. TPC.ResetMaps();
  218. ExecuteCallback(U.data(), U.size());
  219. // Collect coverage. We are iterating over the files in this order:
  220. // * First, files in the initial corpus ordered by size, smallest first.
  221. // * Then, all other files, smallest first.
  222. std::set<size_t> Features;
  223. if (IsSetCoverMerge)
  224. TPC.CollectFeatures([&](size_t Feature) { Features.insert(Feature); });
  225. else
  226. TPC.CollectFeatures([&](size_t Feature) {
  227. if (AllFeatures.insert(Feature).second)
  228. Features.insert(Feature);
  229. });
  230. TPC.UpdateObservedPCs();
  231. // Show stats.
  232. if (!(TotalNumberOfRuns & (TotalNumberOfRuns - 1)))
  233. PrintStatsWrapper("pulse ");
  234. if (TotalNumberOfRuns == M.NumFilesInFirstCorpus)
  235. PrintStatsWrapper("LOADED");
  236. // Write the post-run marker and the coverage.
  237. OF << "FT " << i;
  238. for (size_t F : Features)
  239. OF << " " << F;
  240. OF << "\n";
  241. OF << "COV " << i;
  242. TPC.ForEachObservedPC([&](const TracePC::PCTableEntry *TE) {
  243. if (AllPCs.insert(TE).second)
  244. OF << " " << TPC.PCTableEntryIdx(TE);
  245. });
  246. OF << "\n";
  247. OF.flush();
  248. }
  249. PrintStatsWrapper("DONE ");
  250. }
  251. // Merges all corpora into the first corpus. A file is added into
  252. // the first corpus only if it adds new features. Unlike `Merger::Merge`,
  253. // this implementation calculates an approximation of the minimum set
  254. // of corpora files, that cover all known features (set cover problem).
  255. // Generally, this means that files with more features are preferred for
  256. // merge into the first corpus. When two files have the same number of
  257. // features, the smaller one is preferred.
  258. size_t Merger::SetCoverMerge(const std::set<uint32_t> &InitialFeatures,
  259. std::set<uint32_t> *NewFeatures,
  260. const std::set<uint32_t> &InitialCov,
  261. std::set<uint32_t> *NewCov,
  262. std::vector<std::string> *NewFiles) {
  263. assert(NumFilesInFirstCorpus <= Files.size());
  264. NewFiles->clear();
  265. NewFeatures->clear();
  266. NewCov->clear();
  267. std::set<uint32_t> AllFeatures;
  268. // 1 << 21 - 1 is the maximum feature index.
  269. // See 'kFeatureSetSize' in 'FuzzerCorpus.h'.
  270. const uint32_t kFeatureSetSize = 1 << 21;
  271. std::vector<bool> Covered(kFeatureSetSize, false);
  272. size_t NumCovered = 0;
  273. std::set<uint32_t> ExistingFeatures = InitialFeatures;
  274. for (size_t i = 0; i < NumFilesInFirstCorpus; ++i)
  275. ExistingFeatures.insert(Files[i].Features.begin(), Files[i].Features.end());
  276. // Mark the existing features as covered.
  277. for (const auto &F : ExistingFeatures) {
  278. if (!Covered[F % kFeatureSetSize]) {
  279. ++NumCovered;
  280. Covered[F % kFeatureSetSize] = true;
  281. }
  282. // Calculate an underestimation of the set of covered features
  283. // since the `Covered` bitvector is smaller than the feature range.
  284. AllFeatures.insert(F % kFeatureSetSize);
  285. }
  286. std::set<size_t> RemainingFiles;
  287. for (size_t i = NumFilesInFirstCorpus; i < Files.size(); ++i) {
  288. // Construct an incremental sequence which represent the
  289. // indices to all files (excluding those in the initial corpus).
  290. // RemainingFiles = range(NumFilesInFirstCorpus..Files.size()).
  291. RemainingFiles.insert(i);
  292. // Insert this file's unique features to all features.
  293. for (const auto &F : Files[i].Features)
  294. AllFeatures.insert(F % kFeatureSetSize);
  295. }
  296. // Integrate files into Covered until set is complete.
  297. while (NumCovered != AllFeatures.size()) {
  298. // Index to file with largest number of unique features.
  299. size_t MaxFeaturesIndex = NumFilesInFirstCorpus;
  300. // Indices to remove from RemainingFiles.
  301. std::set<size_t> RemoveIndices;
  302. // Running max unique feature count.
  303. // Updated upon finding a file with more features.
  304. size_t MaxNumFeatures = 0;
  305. // Iterate over all files not yet integrated into Covered,
  306. // to find the file which has the largest number of
  307. // features that are not already in Covered.
  308. for (const auto &i : RemainingFiles) {
  309. const auto &File = Files[i];
  310. size_t CurrentUnique = 0;
  311. // Count number of features in this file
  312. // which are not yet in Covered.
  313. for (const auto &F : File.Features)
  314. if (!Covered[F % kFeatureSetSize])
  315. ++CurrentUnique;
  316. if (CurrentUnique == 0) {
  317. // All features in this file are already in Covered: skip next time.
  318. RemoveIndices.insert(i);
  319. } else if (CurrentUnique > MaxNumFeatures ||
  320. (CurrentUnique == MaxNumFeatures &&
  321. File.Size < Files[MaxFeaturesIndex].Size)) {
  322. // Update the max features file based on unique features
  323. // Break ties by selecting smaller files.
  324. MaxNumFeatures = CurrentUnique;
  325. MaxFeaturesIndex = i;
  326. }
  327. }
  328. // Must be a valid index/
  329. assert(MaxFeaturesIndex < Files.size());
  330. // Remove any feature-less files found.
  331. for (const auto &i : RemoveIndices)
  332. RemainingFiles.erase(i);
  333. if (MaxNumFeatures == 0) {
  334. // Did not find a file that adds unique features.
  335. // This means that we should have no remaining files.
  336. assert(RemainingFiles.size() == 0);
  337. assert(NumCovered == AllFeatures.size());
  338. break;
  339. }
  340. // MaxFeaturesIndex must be an element of Remaining.
  341. assert(RemainingFiles.find(MaxFeaturesIndex) != RemainingFiles.end());
  342. // Remove the file with the most features from Remaining.
  343. RemainingFiles.erase(MaxFeaturesIndex);
  344. const auto &MaxFeatureFile = Files[MaxFeaturesIndex];
  345. // Add the features of the max feature file to Covered.
  346. for (const auto &F : MaxFeatureFile.Features) {
  347. if (!Covered[F % kFeatureSetSize]) {
  348. ++NumCovered;
  349. Covered[F % kFeatureSetSize] = true;
  350. NewFeatures->insert(F);
  351. }
  352. }
  353. // Add the index to this file to the result.
  354. NewFiles->push_back(MaxFeatureFile.Name);
  355. // Update NewCov with the additional coverage
  356. // that MaxFeatureFile provides.
  357. for (const auto &C : MaxFeatureFile.Cov)
  358. if (InitialCov.find(C) == InitialCov.end())
  359. NewCov->insert(C);
  360. }
  361. return NewFeatures->size();
  362. }
  363. static size_t
  364. WriteNewControlFile(const std::string &CFPath,
  365. const std::vector<SizedFile> &OldCorpus,
  366. const std::vector<SizedFile> &NewCorpus,
  367. const std::vector<MergeFileInfo> &KnownFiles) {
  368. std::unordered_set<std::string> FilesToSkip;
  369. for (auto &SF: KnownFiles)
  370. FilesToSkip.insert(SF.Name);
  371. std::vector<std::string> FilesToUse;
  372. auto MaybeUseFile = [=, &FilesToUse](std::string Name) {
  373. if (FilesToSkip.find(Name) == FilesToSkip.end())
  374. FilesToUse.push_back(Name);
  375. };
  376. for (auto &SF: OldCorpus)
  377. MaybeUseFile(SF.File);
  378. auto FilesToUseFromOldCorpus = FilesToUse.size();
  379. for (auto &SF: NewCorpus)
  380. MaybeUseFile(SF.File);
  381. RemoveFile(CFPath);
  382. std::ofstream ControlFile(CFPath);
  383. ControlFile << FilesToUse.size() << "\n";
  384. ControlFile << FilesToUseFromOldCorpus << "\n";
  385. for (auto &FN: FilesToUse)
  386. ControlFile << FN << "\n";
  387. if (!ControlFile) {
  388. Printf("MERGE-OUTER: failed to write to the control file: %s\n",
  389. CFPath.c_str());
  390. exit(1);
  391. }
  392. return FilesToUse.size();
  393. }
  394. // Outer process. Does not call the target code and thus should not fail.
  395. void CrashResistantMerge(const std::vector<std::string> &Args,
  396. const std::vector<SizedFile> &OldCorpus,
  397. const std::vector<SizedFile> &NewCorpus,
  398. std::vector<std::string> *NewFiles,
  399. const std::set<uint32_t> &InitialFeatures,
  400. std::set<uint32_t> *NewFeatures,
  401. const std::set<uint32_t> &InitialCov,
  402. std::set<uint32_t> *NewCov, const std::string &CFPath,
  403. bool V, /*Verbose*/
  404. bool IsSetCoverMerge) {
  405. if (NewCorpus.empty() && OldCorpus.empty()) return; // Nothing to merge.
  406. size_t NumAttempts = 0;
  407. std::vector<MergeFileInfo> KnownFiles;
  408. if (FileSize(CFPath)) {
  409. VPrintf(V, "MERGE-OUTER: non-empty control file provided: '%s'\n",
  410. CFPath.c_str());
  411. Merger M;
  412. std::ifstream IF(CFPath);
  413. if (M.Parse(IF, /*ParseCoverage=*/true)) {
  414. VPrintf(V, "MERGE-OUTER: control file ok, %zd files total,"
  415. " first not processed file %zd\n",
  416. M.Files.size(), M.FirstNotProcessedFile);
  417. if (!M.LastFailure.empty())
  418. VPrintf(V, "MERGE-OUTER: '%s' will be skipped as unlucky "
  419. "(merge has stumbled on it the last time)\n",
  420. M.LastFailure.c_str());
  421. if (M.FirstNotProcessedFile >= M.Files.size()) {
  422. // Merge has already been completed with the given merge control file.
  423. if (M.Files.size() == OldCorpus.size() + NewCorpus.size()) {
  424. VPrintf(
  425. V,
  426. "MERGE-OUTER: nothing to do, merge has been completed before\n");
  427. exit(0);
  428. }
  429. // Number of input files likely changed, start merge from scratch, but
  430. // reuse coverage information from the given merge control file.
  431. VPrintf(
  432. V,
  433. "MERGE-OUTER: starting merge from scratch, but reusing coverage "
  434. "information from the given control file\n");
  435. KnownFiles = M.Files;
  436. } else {
  437. // There is a merge in progress, continue.
  438. NumAttempts = M.Files.size() - M.FirstNotProcessedFile;
  439. }
  440. } else {
  441. VPrintf(V, "MERGE-OUTER: bad control file, will overwrite it\n");
  442. }
  443. }
  444. if (!NumAttempts) {
  445. // The supplied control file is empty or bad, create a fresh one.
  446. VPrintf(V, "MERGE-OUTER: "
  447. "%zd files, %zd in the initial corpus, %zd processed earlier\n",
  448. OldCorpus.size() + NewCorpus.size(), OldCorpus.size(),
  449. KnownFiles.size());
  450. NumAttempts = WriteNewControlFile(CFPath, OldCorpus, NewCorpus, KnownFiles);
  451. }
  452. // Execute the inner process until it passes.
  453. // Every inner process should execute at least one input.
  454. Command BaseCmd(Args);
  455. BaseCmd.removeFlag("merge");
  456. BaseCmd.removeFlag("set_cover_merge");
  457. BaseCmd.removeFlag("fork");
  458. BaseCmd.removeFlag("collect_data_flow");
  459. for (size_t Attempt = 1; Attempt <= NumAttempts; Attempt++) {
  460. Fuzzer::MaybeExitGracefully();
  461. VPrintf(V, "MERGE-OUTER: attempt %zd\n", Attempt);
  462. Command Cmd(BaseCmd);
  463. Cmd.addFlag("merge_control_file", CFPath);
  464. // If we are going to use the set cover implementation for
  465. // minimization add the merge_inner=2 internal flag.
  466. Cmd.addFlag("merge_inner", IsSetCoverMerge ? "2" : "1");
  467. if (!V) {
  468. Cmd.setOutputFile(getDevNull());
  469. Cmd.combineOutAndErr();
  470. }
  471. auto ExitCode = ExecuteCommand(Cmd);
  472. if (!ExitCode) {
  473. VPrintf(V, "MERGE-OUTER: successful in %zd attempt(s)\n", Attempt);
  474. break;
  475. }
  476. }
  477. // Read the control file and do the merge.
  478. Merger M;
  479. std::ifstream IF(CFPath);
  480. IF.seekg(0, IF.end);
  481. VPrintf(V, "MERGE-OUTER: the control file has %zd bytes\n",
  482. (size_t)IF.tellg());
  483. IF.seekg(0, IF.beg);
  484. M.ParseOrExit(IF, true);
  485. IF.close();
  486. VPrintf(V,
  487. "MERGE-OUTER: consumed %zdMb (%zdMb rss) to parse the control file\n",
  488. M.ApproximateMemoryConsumption() >> 20, GetPeakRSSMb());
  489. M.Files.insert(M.Files.end(), KnownFiles.begin(), KnownFiles.end());
  490. if (IsSetCoverMerge)
  491. M.SetCoverMerge(InitialFeatures, NewFeatures, InitialCov, NewCov, NewFiles);
  492. else
  493. M.Merge(InitialFeatures, NewFeatures, InitialCov, NewCov, NewFiles);
  494. VPrintf(V, "MERGE-OUTER: %zd new files with %zd new features added; "
  495. "%zd new coverage edges\n",
  496. NewFiles->size(), NewFeatures->size(), NewCov->size());
  497. }
  498. } // namespace fuzzer