xref: /openbsd-src/gnu/llvm/compiler-rt/lib/fuzzer/FuzzerMerge.cpp (revision 810390e339a5425391477d5d41c78d7cab2424ac)
13cab2bb3Spatrick //===- FuzzerMerge.cpp - merging corpora ----------------------------------===//
23cab2bb3Spatrick //
33cab2bb3Spatrick // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
43cab2bb3Spatrick // See https://llvm.org/LICENSE.txt for license information.
53cab2bb3Spatrick // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
63cab2bb3Spatrick //
73cab2bb3Spatrick //===----------------------------------------------------------------------===//
83cab2bb3Spatrick // Merging corpora.
93cab2bb3Spatrick //===----------------------------------------------------------------------===//
103cab2bb3Spatrick 
113cab2bb3Spatrick #include "FuzzerCommand.h"
123cab2bb3Spatrick #include "FuzzerMerge.h"
133cab2bb3Spatrick #include "FuzzerIO.h"
143cab2bb3Spatrick #include "FuzzerInternal.h"
153cab2bb3Spatrick #include "FuzzerTracePC.h"
163cab2bb3Spatrick #include "FuzzerUtil.h"
173cab2bb3Spatrick 
183cab2bb3Spatrick #include <fstream>
193cab2bb3Spatrick #include <iterator>
203cab2bb3Spatrick #include <set>
213cab2bb3Spatrick #include <sstream>
223cab2bb3Spatrick #include <unordered_set>
233cab2bb3Spatrick 
243cab2bb3Spatrick namespace fuzzer {
253cab2bb3Spatrick 
Parse(const std::string & Str,bool ParseCoverage)263cab2bb3Spatrick bool Merger::Parse(const std::string &Str, bool ParseCoverage) {
273cab2bb3Spatrick   std::istringstream SS(Str);
283cab2bb3Spatrick   return Parse(SS, ParseCoverage);
293cab2bb3Spatrick }
303cab2bb3Spatrick 
ParseOrExit(std::istream & IS,bool ParseCoverage)313cab2bb3Spatrick void Merger::ParseOrExit(std::istream &IS, bool ParseCoverage) {
323cab2bb3Spatrick   if (!Parse(IS, ParseCoverage)) {
333cab2bb3Spatrick     Printf("MERGE: failed to parse the control file (unexpected error)\n");
343cab2bb3Spatrick     exit(1);
353cab2bb3Spatrick   }
363cab2bb3Spatrick }
373cab2bb3Spatrick 
383cab2bb3Spatrick // The control file example:
393cab2bb3Spatrick //
403cab2bb3Spatrick // 3 # The number of inputs
413cab2bb3Spatrick // 1 # The number of inputs in the first corpus, <= the previous number
423cab2bb3Spatrick // file0
433cab2bb3Spatrick // file1
443cab2bb3Spatrick // file2  # One file name per line.
453cab2bb3Spatrick // STARTED 0 123  # FileID, file size
463cab2bb3Spatrick // FT 0 1 4 6 8  # FileID COV1 COV2 ...
473cab2bb3Spatrick // COV 0 7 8 9 # FileID COV1 COV1
483cab2bb3Spatrick // STARTED 1 456  # If FT is missing, the input crashed while processing.
493cab2bb3Spatrick // STARTED 2 567
503cab2bb3Spatrick // FT 2 8 9
513cab2bb3Spatrick // COV 2 11 12
Parse(std::istream & IS,bool ParseCoverage)523cab2bb3Spatrick bool Merger::Parse(std::istream &IS, bool ParseCoverage) {
533cab2bb3Spatrick   LastFailure.clear();
543cab2bb3Spatrick   std::string Line;
553cab2bb3Spatrick 
563cab2bb3Spatrick   // Parse NumFiles.
573cab2bb3Spatrick   if (!std::getline(IS, Line, '\n')) return false;
583cab2bb3Spatrick   std::istringstream L1(Line);
593cab2bb3Spatrick   size_t NumFiles = 0;
603cab2bb3Spatrick   L1 >> NumFiles;
613cab2bb3Spatrick   if (NumFiles == 0 || NumFiles > 10000000) return false;
623cab2bb3Spatrick 
633cab2bb3Spatrick   // Parse NumFilesInFirstCorpus.
643cab2bb3Spatrick   if (!std::getline(IS, Line, '\n')) return false;
653cab2bb3Spatrick   std::istringstream L2(Line);
663cab2bb3Spatrick   NumFilesInFirstCorpus = NumFiles + 1;
673cab2bb3Spatrick   L2 >> NumFilesInFirstCorpus;
683cab2bb3Spatrick   if (NumFilesInFirstCorpus > NumFiles) return false;
693cab2bb3Spatrick 
703cab2bb3Spatrick   // Parse file names.
713cab2bb3Spatrick   Files.resize(NumFiles);
723cab2bb3Spatrick   for (size_t i = 0; i < NumFiles; i++)
733cab2bb3Spatrick     if (!std::getline(IS, Files[i].Name, '\n'))
743cab2bb3Spatrick       return false;
753cab2bb3Spatrick 
763cab2bb3Spatrick   // Parse STARTED, FT, and COV lines.
773cab2bb3Spatrick   size_t ExpectedStartMarker = 0;
783cab2bb3Spatrick   const size_t kInvalidStartMarker = -1;
793cab2bb3Spatrick   size_t LastSeenStartMarker = kInvalidStartMarker;
80*810390e3Srobert   std::vector<uint32_t> TmpFeatures;
81*810390e3Srobert   std::set<uint32_t> PCs;
823cab2bb3Spatrick   while (std::getline(IS, Line, '\n')) {
833cab2bb3Spatrick     std::istringstream ISS1(Line);
843cab2bb3Spatrick     std::string Marker;
85d89ec533Spatrick     uint32_t N;
86d89ec533Spatrick     if (!(ISS1 >> Marker) || !(ISS1 >> N))
87d89ec533Spatrick       return false;
883cab2bb3Spatrick     if (Marker == "STARTED") {
893cab2bb3Spatrick       // STARTED FILE_ID FILE_SIZE
903cab2bb3Spatrick       if (ExpectedStartMarker != N)
913cab2bb3Spatrick         return false;
923cab2bb3Spatrick       ISS1 >> Files[ExpectedStartMarker].Size;
933cab2bb3Spatrick       LastSeenStartMarker = ExpectedStartMarker;
943cab2bb3Spatrick       assert(ExpectedStartMarker < Files.size());
953cab2bb3Spatrick       ExpectedStartMarker++;
963cab2bb3Spatrick     } else if (Marker == "FT") {
973cab2bb3Spatrick       // FT FILE_ID COV1 COV2 COV3 ...
983cab2bb3Spatrick       size_t CurrentFileIdx = N;
993cab2bb3Spatrick       if (CurrentFileIdx != LastSeenStartMarker)
1003cab2bb3Spatrick         return false;
1013cab2bb3Spatrick       LastSeenStartMarker = kInvalidStartMarker;
1023cab2bb3Spatrick       if (ParseCoverage) {
1033cab2bb3Spatrick         TmpFeatures.clear();  // use a vector from outer scope to avoid resizes.
1043cab2bb3Spatrick         while (ISS1 >> N)
1053cab2bb3Spatrick           TmpFeatures.push_back(N);
1063cab2bb3Spatrick         std::sort(TmpFeatures.begin(), TmpFeatures.end());
1073cab2bb3Spatrick         Files[CurrentFileIdx].Features = TmpFeatures;
1083cab2bb3Spatrick       }
1093cab2bb3Spatrick     } else if (Marker == "COV") {
1103cab2bb3Spatrick       size_t CurrentFileIdx = N;
1113cab2bb3Spatrick       if (ParseCoverage)
1123cab2bb3Spatrick         while (ISS1 >> N)
1133cab2bb3Spatrick           if (PCs.insert(N).second)
1143cab2bb3Spatrick             Files[CurrentFileIdx].Cov.push_back(N);
1153cab2bb3Spatrick     } else {
1163cab2bb3Spatrick       return false;
1173cab2bb3Spatrick     }
1183cab2bb3Spatrick   }
1193cab2bb3Spatrick   if (LastSeenStartMarker != kInvalidStartMarker)
1203cab2bb3Spatrick     LastFailure = Files[LastSeenStartMarker].Name;
1213cab2bb3Spatrick 
1223cab2bb3Spatrick   FirstNotProcessedFile = ExpectedStartMarker;
1233cab2bb3Spatrick   return true;
1243cab2bb3Spatrick }
1253cab2bb3Spatrick 
ApproximateMemoryConsumption() const1263cab2bb3Spatrick size_t Merger::ApproximateMemoryConsumption() const  {
1273cab2bb3Spatrick   size_t Res = 0;
1283cab2bb3Spatrick   for (const auto &F: Files)
1293cab2bb3Spatrick     Res += sizeof(F) + F.Features.size() * sizeof(F.Features[0]);
1303cab2bb3Spatrick   return Res;
1313cab2bb3Spatrick }
1323cab2bb3Spatrick 
1333cab2bb3Spatrick // Decides which files need to be merged (add those to NewFiles).
1343cab2bb3Spatrick // Returns the number of new features added.
Merge(const std::set<uint32_t> & InitialFeatures,std::set<uint32_t> * NewFeatures,const std::set<uint32_t> & InitialCov,std::set<uint32_t> * NewCov,std::vector<std::string> * NewFiles)135*810390e3Srobert size_t Merger::Merge(const std::set<uint32_t> &InitialFeatures,
136*810390e3Srobert                      std::set<uint32_t> *NewFeatures,
137*810390e3Srobert                      const std::set<uint32_t> &InitialCov,
138*810390e3Srobert                      std::set<uint32_t> *NewCov,
139*810390e3Srobert                      std::vector<std::string> *NewFiles) {
1403cab2bb3Spatrick   NewFiles->clear();
141d89ec533Spatrick   NewFeatures->clear();
142d89ec533Spatrick   NewCov->clear();
1433cab2bb3Spatrick   assert(NumFilesInFirstCorpus <= Files.size());
144*810390e3Srobert   std::set<uint32_t> AllFeatures = InitialFeatures;
1453cab2bb3Spatrick 
1463cab2bb3Spatrick   // What features are in the initial corpus?
1473cab2bb3Spatrick   for (size_t i = 0; i < NumFilesInFirstCorpus; i++) {
1483cab2bb3Spatrick     auto &Cur = Files[i].Features;
1493cab2bb3Spatrick     AllFeatures.insert(Cur.begin(), Cur.end());
1503cab2bb3Spatrick   }
1513cab2bb3Spatrick   // Remove all features that we already know from all other inputs.
1523cab2bb3Spatrick   for (size_t i = NumFilesInFirstCorpus; i < Files.size(); i++) {
1533cab2bb3Spatrick     auto &Cur = Files[i].Features;
154*810390e3Srobert     std::vector<uint32_t> Tmp;
1553cab2bb3Spatrick     std::set_difference(Cur.begin(), Cur.end(), AllFeatures.begin(),
1563cab2bb3Spatrick                         AllFeatures.end(), std::inserter(Tmp, Tmp.begin()));
1573cab2bb3Spatrick     Cur.swap(Tmp);
1583cab2bb3Spatrick   }
1593cab2bb3Spatrick 
1603cab2bb3Spatrick   // Sort. Give preference to
1613cab2bb3Spatrick   //   * smaller files
1623cab2bb3Spatrick   //   * files with more features.
1633cab2bb3Spatrick   std::sort(Files.begin() + NumFilesInFirstCorpus, Files.end(),
1643cab2bb3Spatrick             [&](const MergeFileInfo &a, const MergeFileInfo &b) -> bool {
1653cab2bb3Spatrick               if (a.Size != b.Size)
1663cab2bb3Spatrick                 return a.Size < b.Size;
1673cab2bb3Spatrick               return a.Features.size() > b.Features.size();
1683cab2bb3Spatrick             });
1693cab2bb3Spatrick 
1703cab2bb3Spatrick   // One greedy pass: add the file's features to AllFeatures.
1713cab2bb3Spatrick   // If new features were added, add this file to NewFiles.
1723cab2bb3Spatrick   for (size_t i = NumFilesInFirstCorpus; i < Files.size(); i++) {
1733cab2bb3Spatrick     auto &Cur = Files[i].Features;
1743cab2bb3Spatrick     // Printf("%s -> sz %zd ft %zd\n", Files[i].Name.c_str(),
1753cab2bb3Spatrick     //       Files[i].Size, Cur.size());
1763cab2bb3Spatrick     bool FoundNewFeatures = false;
1773cab2bb3Spatrick     for (auto Fe: Cur) {
1783cab2bb3Spatrick       if (AllFeatures.insert(Fe).second) {
1793cab2bb3Spatrick         FoundNewFeatures = true;
1803cab2bb3Spatrick         NewFeatures->insert(Fe);
1813cab2bb3Spatrick       }
1823cab2bb3Spatrick     }
1833cab2bb3Spatrick     if (FoundNewFeatures)
1843cab2bb3Spatrick       NewFiles->push_back(Files[i].Name);
1853cab2bb3Spatrick     for (auto Cov : Files[i].Cov)
1863cab2bb3Spatrick       if (InitialCov.find(Cov) == InitialCov.end())
1873cab2bb3Spatrick         NewCov->insert(Cov);
1883cab2bb3Spatrick   }
1893cab2bb3Spatrick   return NewFeatures->size();
1903cab2bb3Spatrick }
1913cab2bb3Spatrick 
AllFeatures() const192*810390e3Srobert std::set<uint32_t> Merger::AllFeatures() const {
193*810390e3Srobert   std::set<uint32_t> S;
1943cab2bb3Spatrick   for (auto &File : Files)
1953cab2bb3Spatrick     S.insert(File.Features.begin(), File.Features.end());
1963cab2bb3Spatrick   return S;
1973cab2bb3Spatrick }
1983cab2bb3Spatrick 
1993cab2bb3Spatrick // Inner process. May crash if the target crashes.
CrashResistantMergeInternalStep(const std::string & CFPath,bool IsSetCoverMerge)200*810390e3Srobert void Fuzzer::CrashResistantMergeInternalStep(const std::string &CFPath,
201*810390e3Srobert                                              bool IsSetCoverMerge) {
2023cab2bb3Spatrick   Printf("MERGE-INNER: using the control file '%s'\n", CFPath.c_str());
2033cab2bb3Spatrick   Merger M;
2043cab2bb3Spatrick   std::ifstream IF(CFPath);
2053cab2bb3Spatrick   M.ParseOrExit(IF, false);
2063cab2bb3Spatrick   IF.close();
2073cab2bb3Spatrick   if (!M.LastFailure.empty())
2083cab2bb3Spatrick     Printf("MERGE-INNER: '%s' caused a failure at the previous merge step\n",
2093cab2bb3Spatrick            M.LastFailure.c_str());
2103cab2bb3Spatrick 
2113cab2bb3Spatrick   Printf("MERGE-INNER: %zd total files;"
2123cab2bb3Spatrick          " %zd processed earlier; will process %zd files now\n",
2133cab2bb3Spatrick          M.Files.size(), M.FirstNotProcessedFile,
2143cab2bb3Spatrick          M.Files.size() - M.FirstNotProcessedFile);
2153cab2bb3Spatrick 
2163cab2bb3Spatrick   std::ofstream OF(CFPath, std::ofstream::out | std::ofstream::app);
217*810390e3Srobert   std::set<size_t> AllFeatures;
2183cab2bb3Spatrick   auto PrintStatsWrapper = [this, &AllFeatures](const char* Where) {
2193cab2bb3Spatrick     this->PrintStats(Where, "\n", 0, AllFeatures.size());
2203cab2bb3Spatrick   };
221*810390e3Srobert   std::set<const TracePC::PCTableEntry *> AllPCs;
2223cab2bb3Spatrick   for (size_t i = M.FirstNotProcessedFile; i < M.Files.size(); i++) {
2233cab2bb3Spatrick     Fuzzer::MaybeExitGracefully();
2243cab2bb3Spatrick     auto U = FileToVector(M.Files[i].Name);
2253cab2bb3Spatrick     if (U.size() > MaxInputLen) {
2263cab2bb3Spatrick       U.resize(MaxInputLen);
2273cab2bb3Spatrick       U.shrink_to_fit();
2283cab2bb3Spatrick     }
2293cab2bb3Spatrick 
2303cab2bb3Spatrick     // Write the pre-run marker.
2313cab2bb3Spatrick     OF << "STARTED " << i << " " << U.size() << "\n";
2323cab2bb3Spatrick     OF.flush();  // Flush is important since Command::Execute may crash.
2333cab2bb3Spatrick     // Run.
2343cab2bb3Spatrick     TPC.ResetMaps();
2353cab2bb3Spatrick     ExecuteCallback(U.data(), U.size());
2363cab2bb3Spatrick     // Collect coverage. We are iterating over the files in this order:
2373cab2bb3Spatrick     // * First, files in the initial corpus ordered by size, smallest first.
2383cab2bb3Spatrick     // * Then, all other files, smallest first.
239*810390e3Srobert     std::set<size_t> Features;
240*810390e3Srobert     if (IsSetCoverMerge)
241*810390e3Srobert       TPC.CollectFeatures([&](size_t Feature) { Features.insert(Feature); });
242*810390e3Srobert     else
2433cab2bb3Spatrick       TPC.CollectFeatures([&](size_t Feature) {
2443cab2bb3Spatrick         if (AllFeatures.insert(Feature).second)
245*810390e3Srobert           Features.insert(Feature);
2463cab2bb3Spatrick       });
2473cab2bb3Spatrick     TPC.UpdateObservedPCs();
2483cab2bb3Spatrick     // Show stats.
2493cab2bb3Spatrick     if (!(TotalNumberOfRuns & (TotalNumberOfRuns - 1)))
2503cab2bb3Spatrick       PrintStatsWrapper("pulse ");
2513cab2bb3Spatrick     if (TotalNumberOfRuns == M.NumFilesInFirstCorpus)
2523cab2bb3Spatrick       PrintStatsWrapper("LOADED");
2533cab2bb3Spatrick     // Write the post-run marker and the coverage.
2543cab2bb3Spatrick     OF << "FT " << i;
255*810390e3Srobert     for (size_t F : Features)
2563cab2bb3Spatrick       OF << " " << F;
2573cab2bb3Spatrick     OF << "\n";
2583cab2bb3Spatrick     OF << "COV " << i;
2593cab2bb3Spatrick     TPC.ForEachObservedPC([&](const TracePC::PCTableEntry *TE) {
2603cab2bb3Spatrick       if (AllPCs.insert(TE).second)
2613cab2bb3Spatrick         OF << " " << TPC.PCTableEntryIdx(TE);
2623cab2bb3Spatrick     });
2633cab2bb3Spatrick     OF << "\n";
2643cab2bb3Spatrick     OF.flush();
2653cab2bb3Spatrick   }
2663cab2bb3Spatrick   PrintStatsWrapper("DONE  ");
2673cab2bb3Spatrick }
2683cab2bb3Spatrick 
269*810390e3Srobert // Merges all corpora into the first corpus. A file is added into
270*810390e3Srobert // the first corpus only if it adds new features. Unlike `Merger::Merge`,
271*810390e3Srobert // this implementation calculates an approximation of the minimum set
272*810390e3Srobert // of corpora files, that cover all known features (set cover problem).
273*810390e3Srobert // Generally, this means that files with more features are preferred for
274*810390e3Srobert // merge into the first corpus. When two files have the same number of
275*810390e3Srobert // features, the smaller one is preferred.
SetCoverMerge(const std::set<uint32_t> & InitialFeatures,std::set<uint32_t> * NewFeatures,const std::set<uint32_t> & InitialCov,std::set<uint32_t> * NewCov,std::vector<std::string> * NewFiles)276*810390e3Srobert size_t Merger::SetCoverMerge(const std::set<uint32_t> &InitialFeatures,
277*810390e3Srobert                              std::set<uint32_t> *NewFeatures,
278*810390e3Srobert                              const std::set<uint32_t> &InitialCov,
279*810390e3Srobert                              std::set<uint32_t> *NewCov,
280*810390e3Srobert                              std::vector<std::string> *NewFiles) {
281*810390e3Srobert   assert(NumFilesInFirstCorpus <= Files.size());
282*810390e3Srobert   NewFiles->clear();
283*810390e3Srobert   NewFeatures->clear();
284*810390e3Srobert   NewCov->clear();
285*810390e3Srobert   std::set<uint32_t> AllFeatures;
286*810390e3Srobert   // 1 << 21 - 1 is the maximum feature index.
287*810390e3Srobert   // See 'kFeatureSetSize' in 'FuzzerCorpus.h'.
288*810390e3Srobert   const uint32_t kFeatureSetSize = 1 << 21;
289*810390e3Srobert   std::vector<bool> Covered(kFeatureSetSize, false);
290*810390e3Srobert   size_t NumCovered = 0;
291*810390e3Srobert 
292*810390e3Srobert   std::set<uint32_t> ExistingFeatures = InitialFeatures;
293*810390e3Srobert   for (size_t i = 0; i < NumFilesInFirstCorpus; ++i)
294*810390e3Srobert     ExistingFeatures.insert(Files[i].Features.begin(), Files[i].Features.end());
295*810390e3Srobert 
296*810390e3Srobert   // Mark the existing features as covered.
297*810390e3Srobert   for (const auto &F : ExistingFeatures) {
298*810390e3Srobert     if (!Covered[F % kFeatureSetSize]) {
299*810390e3Srobert       ++NumCovered;
300*810390e3Srobert       Covered[F % kFeatureSetSize] = true;
301*810390e3Srobert     }
302*810390e3Srobert     // Calculate an underestimation of the set of covered features
303*810390e3Srobert     // since the `Covered` bitvector is smaller than the feature range.
304*810390e3Srobert     AllFeatures.insert(F % kFeatureSetSize);
305*810390e3Srobert   }
306*810390e3Srobert 
307*810390e3Srobert   std::set<size_t> RemainingFiles;
308*810390e3Srobert   for (size_t i = NumFilesInFirstCorpus; i < Files.size(); ++i) {
309*810390e3Srobert     // Construct an incremental sequence which represent the
310*810390e3Srobert     // indices to all files (excluding those in the initial corpus).
311*810390e3Srobert     // RemainingFiles = range(NumFilesInFirstCorpus..Files.size()).
312*810390e3Srobert     RemainingFiles.insert(i);
313*810390e3Srobert     // Insert this file's unique features to all features.
314*810390e3Srobert     for (const auto &F : Files[i].Features)
315*810390e3Srobert       AllFeatures.insert(F % kFeatureSetSize);
316*810390e3Srobert   }
317*810390e3Srobert 
318*810390e3Srobert   // Integrate files into Covered until set is complete.
319*810390e3Srobert   while (NumCovered != AllFeatures.size()) {
320*810390e3Srobert     // Index to file with largest number of unique features.
321*810390e3Srobert     size_t MaxFeaturesIndex = NumFilesInFirstCorpus;
322*810390e3Srobert     // Indices to remove from RemainingFiles.
323*810390e3Srobert     std::set<size_t> RemoveIndices;
324*810390e3Srobert     // Running max unique feature count.
325*810390e3Srobert     // Updated upon finding a file with more features.
326*810390e3Srobert     size_t MaxNumFeatures = 0;
327*810390e3Srobert 
328*810390e3Srobert     // Iterate over all files not yet integrated into Covered,
329*810390e3Srobert     // to find the file which has the largest number of
330*810390e3Srobert     // features that are not already in Covered.
331*810390e3Srobert     for (const auto &i : RemainingFiles) {
332*810390e3Srobert       const auto &File = Files[i];
333*810390e3Srobert       size_t CurrentUnique = 0;
334*810390e3Srobert       // Count number of features in this file
335*810390e3Srobert       // which are not yet in Covered.
336*810390e3Srobert       for (const auto &F : File.Features)
337*810390e3Srobert         if (!Covered[F % kFeatureSetSize])
338*810390e3Srobert           ++CurrentUnique;
339*810390e3Srobert 
340*810390e3Srobert       if (CurrentUnique == 0) {
341*810390e3Srobert         // All features in this file are already in Covered: skip next time.
342*810390e3Srobert         RemoveIndices.insert(i);
343*810390e3Srobert       } else if (CurrentUnique > MaxNumFeatures ||
344*810390e3Srobert                  (CurrentUnique == MaxNumFeatures &&
345*810390e3Srobert                   File.Size < Files[MaxFeaturesIndex].Size)) {
346*810390e3Srobert         // Update the max features file based on unique features
347*810390e3Srobert         // Break ties by selecting smaller files.
348*810390e3Srobert         MaxNumFeatures = CurrentUnique;
349*810390e3Srobert         MaxFeaturesIndex = i;
350*810390e3Srobert       }
351*810390e3Srobert     }
352*810390e3Srobert     // Must be a valid index/
353*810390e3Srobert     assert(MaxFeaturesIndex < Files.size());
354*810390e3Srobert     // Remove any feature-less files found.
355*810390e3Srobert     for (const auto &i : RemoveIndices)
356*810390e3Srobert       RemainingFiles.erase(i);
357*810390e3Srobert     if (MaxNumFeatures == 0) {
358*810390e3Srobert       // Did not find a file that adds unique features.
359*810390e3Srobert       // This means that we should have no remaining files.
360*810390e3Srobert       assert(RemainingFiles.size() == 0);
361*810390e3Srobert       assert(NumCovered == AllFeatures.size());
362*810390e3Srobert       break;
363*810390e3Srobert     }
364*810390e3Srobert 
365*810390e3Srobert     // MaxFeaturesIndex must be an element of Remaining.
366*810390e3Srobert     assert(RemainingFiles.find(MaxFeaturesIndex) != RemainingFiles.end());
367*810390e3Srobert     // Remove the file with the most features from Remaining.
368*810390e3Srobert     RemainingFiles.erase(MaxFeaturesIndex);
369*810390e3Srobert     const auto &MaxFeatureFile = Files[MaxFeaturesIndex];
370*810390e3Srobert     // Add the features of the max feature file to Covered.
371*810390e3Srobert     for (const auto &F : MaxFeatureFile.Features) {
372*810390e3Srobert       if (!Covered[F % kFeatureSetSize]) {
373*810390e3Srobert         ++NumCovered;
374*810390e3Srobert         Covered[F % kFeatureSetSize] = true;
375*810390e3Srobert         NewFeatures->insert(F);
376*810390e3Srobert       }
377*810390e3Srobert     }
378*810390e3Srobert     // Add the index to this file to the result.
379*810390e3Srobert     NewFiles->push_back(MaxFeatureFile.Name);
380*810390e3Srobert     // Update NewCov with the additional coverage
381*810390e3Srobert     // that MaxFeatureFile provides.
382*810390e3Srobert     for (const auto &C : MaxFeatureFile.Cov)
383*810390e3Srobert       if (InitialCov.find(C) == InitialCov.end())
384*810390e3Srobert         NewCov->insert(C);
385*810390e3Srobert   }
386*810390e3Srobert 
387*810390e3Srobert   return NewFeatures->size();
388*810390e3Srobert }
389*810390e3Srobert 
390*810390e3Srobert static size_t
WriteNewControlFile(const std::string & CFPath,const std::vector<SizedFile> & OldCorpus,const std::vector<SizedFile> & NewCorpus,const std::vector<MergeFileInfo> & KnownFiles)391*810390e3Srobert WriteNewControlFile(const std::string &CFPath,
392*810390e3Srobert                     const std::vector<SizedFile> &OldCorpus,
393*810390e3Srobert                     const std::vector<SizedFile> &NewCorpus,
394*810390e3Srobert                     const std::vector<MergeFileInfo> &KnownFiles) {
3953cab2bb3Spatrick   std::unordered_set<std::string> FilesToSkip;
3963cab2bb3Spatrick   for (auto &SF: KnownFiles)
3973cab2bb3Spatrick     FilesToSkip.insert(SF.Name);
3983cab2bb3Spatrick 
399*810390e3Srobert   std::vector<std::string> FilesToUse;
4003cab2bb3Spatrick   auto MaybeUseFile = [=, &FilesToUse](std::string Name) {
4013cab2bb3Spatrick     if (FilesToSkip.find(Name) == FilesToSkip.end())
4023cab2bb3Spatrick       FilesToUse.push_back(Name);
4033cab2bb3Spatrick   };
4043cab2bb3Spatrick   for (auto &SF: OldCorpus)
4053cab2bb3Spatrick     MaybeUseFile(SF.File);
4063cab2bb3Spatrick   auto FilesToUseFromOldCorpus = FilesToUse.size();
4073cab2bb3Spatrick   for (auto &SF: NewCorpus)
4083cab2bb3Spatrick     MaybeUseFile(SF.File);
4093cab2bb3Spatrick 
4103cab2bb3Spatrick   RemoveFile(CFPath);
4113cab2bb3Spatrick   std::ofstream ControlFile(CFPath);
4123cab2bb3Spatrick   ControlFile << FilesToUse.size() << "\n";
4133cab2bb3Spatrick   ControlFile << FilesToUseFromOldCorpus << "\n";
4143cab2bb3Spatrick   for (auto &FN: FilesToUse)
4153cab2bb3Spatrick     ControlFile << FN << "\n";
4163cab2bb3Spatrick 
4173cab2bb3Spatrick   if (!ControlFile) {
4183cab2bb3Spatrick     Printf("MERGE-OUTER: failed to write to the control file: %s\n",
4193cab2bb3Spatrick            CFPath.c_str());
4203cab2bb3Spatrick     exit(1);
4213cab2bb3Spatrick   }
4223cab2bb3Spatrick 
4233cab2bb3Spatrick   return FilesToUse.size();
4243cab2bb3Spatrick }
4253cab2bb3Spatrick 
4263cab2bb3Spatrick // Outer process. Does not call the target code and thus should not fail.
CrashResistantMerge(const std::vector<std::string> & Args,const std::vector<SizedFile> & OldCorpus,const std::vector<SizedFile> & NewCorpus,std::vector<std::string> * NewFiles,const std::set<uint32_t> & InitialFeatures,std::set<uint32_t> * NewFeatures,const std::set<uint32_t> & InitialCov,std::set<uint32_t> * NewCov,const std::string & CFPath,bool V,bool IsSetCoverMerge)427*810390e3Srobert void CrashResistantMerge(const std::vector<std::string> &Args,
428*810390e3Srobert                          const std::vector<SizedFile> &OldCorpus,
429*810390e3Srobert                          const std::vector<SizedFile> &NewCorpus,
430*810390e3Srobert                          std::vector<std::string> *NewFiles,
431*810390e3Srobert                          const std::set<uint32_t> &InitialFeatures,
432*810390e3Srobert                          std::set<uint32_t> *NewFeatures,
433*810390e3Srobert                          const std::set<uint32_t> &InitialCov,
434*810390e3Srobert                          std::set<uint32_t> *NewCov, const std::string &CFPath,
435*810390e3Srobert                          bool V, /*Verbose*/
436*810390e3Srobert                          bool IsSetCoverMerge) {
4373cab2bb3Spatrick   if (NewCorpus.empty() && OldCorpus.empty()) return;  // Nothing to merge.
4383cab2bb3Spatrick   size_t NumAttempts = 0;
439*810390e3Srobert   std::vector<MergeFileInfo> KnownFiles;
4403cab2bb3Spatrick   if (FileSize(CFPath)) {
4413cab2bb3Spatrick     VPrintf(V, "MERGE-OUTER: non-empty control file provided: '%s'\n",
4423cab2bb3Spatrick            CFPath.c_str());
4433cab2bb3Spatrick     Merger M;
4443cab2bb3Spatrick     std::ifstream IF(CFPath);
4453cab2bb3Spatrick     if (M.Parse(IF, /*ParseCoverage=*/true)) {
4463cab2bb3Spatrick       VPrintf(V, "MERGE-OUTER: control file ok, %zd files total,"
4473cab2bb3Spatrick              " first not processed file %zd\n",
4483cab2bb3Spatrick              M.Files.size(), M.FirstNotProcessedFile);
4493cab2bb3Spatrick       if (!M.LastFailure.empty())
4503cab2bb3Spatrick         VPrintf(V, "MERGE-OUTER: '%s' will be skipped as unlucky "
4513cab2bb3Spatrick                "(merge has stumbled on it the last time)\n",
4523cab2bb3Spatrick                M.LastFailure.c_str());
4533cab2bb3Spatrick       if (M.FirstNotProcessedFile >= M.Files.size()) {
4543cab2bb3Spatrick         // Merge has already been completed with the given merge control file.
4553cab2bb3Spatrick         if (M.Files.size() == OldCorpus.size() + NewCorpus.size()) {
4563cab2bb3Spatrick           VPrintf(
4573cab2bb3Spatrick               V,
4583cab2bb3Spatrick               "MERGE-OUTER: nothing to do, merge has been completed before\n");
4593cab2bb3Spatrick           exit(0);
4603cab2bb3Spatrick         }
4613cab2bb3Spatrick 
4623cab2bb3Spatrick         // Number of input files likely changed, start merge from scratch, but
4633cab2bb3Spatrick         // reuse coverage information from the given merge control file.
4643cab2bb3Spatrick         VPrintf(
4653cab2bb3Spatrick             V,
4663cab2bb3Spatrick             "MERGE-OUTER: starting merge from scratch, but reusing coverage "
4673cab2bb3Spatrick             "information from the given control file\n");
4683cab2bb3Spatrick         KnownFiles = M.Files;
4693cab2bb3Spatrick       } else {
4703cab2bb3Spatrick         // There is a merge in progress, continue.
4713cab2bb3Spatrick         NumAttempts = M.Files.size() - M.FirstNotProcessedFile;
4723cab2bb3Spatrick       }
4733cab2bb3Spatrick     } else {
4743cab2bb3Spatrick       VPrintf(V, "MERGE-OUTER: bad control file, will overwrite it\n");
4753cab2bb3Spatrick     }
4763cab2bb3Spatrick   }
4773cab2bb3Spatrick 
4783cab2bb3Spatrick   if (!NumAttempts) {
4793cab2bb3Spatrick     // The supplied control file is empty or bad, create a fresh one.
4803cab2bb3Spatrick     VPrintf(V, "MERGE-OUTER: "
4813cab2bb3Spatrick             "%zd files, %zd in the initial corpus, %zd processed earlier\n",
4823cab2bb3Spatrick             OldCorpus.size() + NewCorpus.size(), OldCorpus.size(),
4833cab2bb3Spatrick             KnownFiles.size());
4843cab2bb3Spatrick     NumAttempts = WriteNewControlFile(CFPath, OldCorpus, NewCorpus, KnownFiles);
4853cab2bb3Spatrick   }
4863cab2bb3Spatrick 
4873cab2bb3Spatrick   // Execute the inner process until it passes.
4883cab2bb3Spatrick   // Every inner process should execute at least one input.
4893cab2bb3Spatrick   Command BaseCmd(Args);
4903cab2bb3Spatrick   BaseCmd.removeFlag("merge");
491*810390e3Srobert   BaseCmd.removeFlag("set_cover_merge");
4923cab2bb3Spatrick   BaseCmd.removeFlag("fork");
4933cab2bb3Spatrick   BaseCmd.removeFlag("collect_data_flow");
4943cab2bb3Spatrick   for (size_t Attempt = 1; Attempt <= NumAttempts; Attempt++) {
4953cab2bb3Spatrick     Fuzzer::MaybeExitGracefully();
4963cab2bb3Spatrick     VPrintf(V, "MERGE-OUTER: attempt %zd\n", Attempt);
4973cab2bb3Spatrick     Command Cmd(BaseCmd);
4983cab2bb3Spatrick     Cmd.addFlag("merge_control_file", CFPath);
499*810390e3Srobert     // If we are going to use the set cover implementation for
500*810390e3Srobert     // minimization add the merge_inner=2 internal flag.
501*810390e3Srobert     Cmd.addFlag("merge_inner", IsSetCoverMerge ? "2" : "1");
5023cab2bb3Spatrick     if (!V) {
5033cab2bb3Spatrick       Cmd.setOutputFile(getDevNull());
5043cab2bb3Spatrick       Cmd.combineOutAndErr();
5053cab2bb3Spatrick     }
5063cab2bb3Spatrick     auto ExitCode = ExecuteCommand(Cmd);
5073cab2bb3Spatrick     if (!ExitCode) {
508*810390e3Srobert       VPrintf(V, "MERGE-OUTER: successful in %zd attempt(s)\n", Attempt);
5093cab2bb3Spatrick       break;
5103cab2bb3Spatrick     }
5113cab2bb3Spatrick   }
5123cab2bb3Spatrick   // Read the control file and do the merge.
5133cab2bb3Spatrick   Merger M;
5143cab2bb3Spatrick   std::ifstream IF(CFPath);
5153cab2bb3Spatrick   IF.seekg(0, IF.end);
5163cab2bb3Spatrick   VPrintf(V, "MERGE-OUTER: the control file has %zd bytes\n",
5173cab2bb3Spatrick           (size_t)IF.tellg());
5183cab2bb3Spatrick   IF.seekg(0, IF.beg);
5193cab2bb3Spatrick   M.ParseOrExit(IF, true);
5203cab2bb3Spatrick   IF.close();
5213cab2bb3Spatrick   VPrintf(V,
5223cab2bb3Spatrick           "MERGE-OUTER: consumed %zdMb (%zdMb rss) to parse the control file\n",
5233cab2bb3Spatrick           M.ApproximateMemoryConsumption() >> 20, GetPeakRSSMb());
5243cab2bb3Spatrick 
5253cab2bb3Spatrick   M.Files.insert(M.Files.end(), KnownFiles.begin(), KnownFiles.end());
526*810390e3Srobert   if (IsSetCoverMerge)
527*810390e3Srobert     M.SetCoverMerge(InitialFeatures, NewFeatures, InitialCov, NewCov, NewFiles);
528*810390e3Srobert   else
5293cab2bb3Spatrick     M.Merge(InitialFeatures, NewFeatures, InitialCov, NewCov, NewFiles);
5303cab2bb3Spatrick   VPrintf(V, "MERGE-OUTER: %zd new files with %zd new features added; "
5313cab2bb3Spatrick           "%zd new coverage edges\n",
5323cab2bb3Spatrick          NewFiles->size(), NewFeatures->size(), NewCov->size());
5333cab2bb3Spatrick }
5343cab2bb3Spatrick 
5353cab2bb3Spatrick } // namespace fuzzer
536