110ab2aceSGeorge Karpenkov //===- FuzzerMerge.cpp - merging corpora ----------------------------------===//
210ab2aceSGeorge Karpenkov //
32946cd70SChandler Carruth // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
42946cd70SChandler Carruth // See https://llvm.org/LICENSE.txt for license information.
52946cd70SChandler Carruth // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
610ab2aceSGeorge Karpenkov //
710ab2aceSGeorge Karpenkov //===----------------------------------------------------------------------===//
810ab2aceSGeorge Karpenkov // Merging corpora.
910ab2aceSGeorge Karpenkov //===----------------------------------------------------------------------===//
1010ab2aceSGeorge Karpenkov 
1104304d12SMatt Morehouse #include "FuzzerCommand.h"
1210ab2aceSGeorge Karpenkov #include "FuzzerMerge.h"
1310ab2aceSGeorge Karpenkov #include "FuzzerIO.h"
1410ab2aceSGeorge Karpenkov #include "FuzzerInternal.h"
1510ab2aceSGeorge Karpenkov #include "FuzzerTracePC.h"
1610ab2aceSGeorge Karpenkov #include "FuzzerUtil.h"
1710ab2aceSGeorge Karpenkov 
1810ab2aceSGeorge Karpenkov #include <fstream>
1910ab2aceSGeorge Karpenkov #include <iterator>
2010ab2aceSGeorge Karpenkov #include <set>
2110ab2aceSGeorge Karpenkov #include <sstream>
22f054067fSMax Moroz #include <unordered_set>
2310ab2aceSGeorge Karpenkov 
2410ab2aceSGeorge Karpenkov namespace fuzzer {
2510ab2aceSGeorge Karpenkov 
Parse(const std::string & Str,bool ParseCoverage)2610ab2aceSGeorge Karpenkov bool Merger::Parse(const std::string &Str, bool ParseCoverage) {
2710ab2aceSGeorge Karpenkov   std::istringstream SS(Str);
2810ab2aceSGeorge Karpenkov   return Parse(SS, ParseCoverage);
2910ab2aceSGeorge Karpenkov }
3010ab2aceSGeorge Karpenkov 
ParseOrExit(std::istream & IS,bool ParseCoverage)3110ab2aceSGeorge Karpenkov void Merger::ParseOrExit(std::istream &IS, bool ParseCoverage) {
3210ab2aceSGeorge Karpenkov   if (!Parse(IS, ParseCoverage)) {
3310ab2aceSGeorge Karpenkov     Printf("MERGE: failed to parse the control file (unexpected error)\n");
3410ab2aceSGeorge Karpenkov     exit(1);
3510ab2aceSGeorge Karpenkov   }
3610ab2aceSGeorge Karpenkov }
3710ab2aceSGeorge Karpenkov 
3810ab2aceSGeorge Karpenkov // The control file example:
3910ab2aceSGeorge Karpenkov //
4010ab2aceSGeorge Karpenkov // 3 # The number of inputs
4110ab2aceSGeorge Karpenkov // 1 # The number of inputs in the first corpus, <= the previous number
4210ab2aceSGeorge Karpenkov // file0
4310ab2aceSGeorge Karpenkov // file1
4410ab2aceSGeorge Karpenkov // file2  # One file name per line.
4510ab2aceSGeorge Karpenkov // STARTED 0 123  # FileID, file size
4696f81bc6SKostya Serebryany // FT 0 1 4 6 8  # FileID COV1 COV2 ...
4796f81bc6SKostya Serebryany // COV 0 7 8 9 # FileID COV1 COV1
4896f81bc6SKostya Serebryany // STARTED 1 456  # If FT is missing, the input crashed while processing.
4910ab2aceSGeorge Karpenkov // STARTED 2 567
5096f81bc6SKostya Serebryany // FT 2 8 9
5196f81bc6SKostya Serebryany // COV 2 11 12
Parse(std::istream & IS,bool ParseCoverage)5210ab2aceSGeorge Karpenkov bool Merger::Parse(std::istream &IS, bool ParseCoverage) {
5310ab2aceSGeorge Karpenkov   LastFailure.clear();
5410ab2aceSGeorge Karpenkov   std::string Line;
5510ab2aceSGeorge Karpenkov 
5610ab2aceSGeorge Karpenkov   // Parse NumFiles.
5710ab2aceSGeorge Karpenkov   if (!std::getline(IS, Line, '\n')) return false;
5810ab2aceSGeorge Karpenkov   std::istringstream L1(Line);
5910ab2aceSGeorge Karpenkov   size_t NumFiles = 0;
6010ab2aceSGeorge Karpenkov   L1 >> NumFiles;
6110ab2aceSGeorge Karpenkov   if (NumFiles == 0 || NumFiles > 10000000) return false;
6210ab2aceSGeorge Karpenkov 
6310ab2aceSGeorge Karpenkov   // Parse NumFilesInFirstCorpus.
6410ab2aceSGeorge Karpenkov   if (!std::getline(IS, Line, '\n')) return false;
6510ab2aceSGeorge Karpenkov   std::istringstream L2(Line);
6610ab2aceSGeorge Karpenkov   NumFilesInFirstCorpus = NumFiles + 1;
6710ab2aceSGeorge Karpenkov   L2 >> NumFilesInFirstCorpus;
6810ab2aceSGeorge Karpenkov   if (NumFilesInFirstCorpus > NumFiles) return false;
6910ab2aceSGeorge Karpenkov 
7010ab2aceSGeorge Karpenkov   // Parse file names.
7110ab2aceSGeorge Karpenkov   Files.resize(NumFiles);
7210ab2aceSGeorge Karpenkov   for (size_t i = 0; i < NumFiles; i++)
7310ab2aceSGeorge Karpenkov     if (!std::getline(IS, Files[i].Name, '\n'))
7410ab2aceSGeorge Karpenkov       return false;
7510ab2aceSGeorge Karpenkov 
7696f81bc6SKostya Serebryany   // Parse STARTED, FT, and COV lines.
7710ab2aceSGeorge Karpenkov   size_t ExpectedStartMarker = 0;
7810ab2aceSGeorge Karpenkov   const size_t kInvalidStartMarker = -1;
7910ab2aceSGeorge Karpenkov   size_t LastSeenStartMarker = kInvalidStartMarker;
807c921753SKostya Serebryany   std::vector<uint32_t> TmpFeatures;
817c921753SKostya Serebryany   std::set<uint32_t> PCs;
8210ab2aceSGeorge Karpenkov   while (std::getline(IS, Line, '\n')) {
8310ab2aceSGeorge Karpenkov     std::istringstream ISS1(Line);
8410ab2aceSGeorge Karpenkov     std::string Marker;
856708186cSAaron Green     uint32_t N;
866708186cSAaron Green     if (!(ISS1 >> Marker) || !(ISS1 >> N))
876708186cSAaron Green       return false;
8810ab2aceSGeorge Karpenkov     if (Marker == "STARTED") {
8910ab2aceSGeorge Karpenkov       // STARTED FILE_ID FILE_SIZE
9010ab2aceSGeorge Karpenkov       if (ExpectedStartMarker != N)
9110ab2aceSGeorge Karpenkov         return false;
9210ab2aceSGeorge Karpenkov       ISS1 >> Files[ExpectedStartMarker].Size;
9310ab2aceSGeorge Karpenkov       LastSeenStartMarker = ExpectedStartMarker;
9410ab2aceSGeorge Karpenkov       assert(ExpectedStartMarker < Files.size());
9510ab2aceSGeorge Karpenkov       ExpectedStartMarker++;
9696f81bc6SKostya Serebryany     } else if (Marker == "FT") {
9796f81bc6SKostya Serebryany       // FT FILE_ID COV1 COV2 COV3 ...
9810ab2aceSGeorge Karpenkov       size_t CurrentFileIdx = N;
9910ab2aceSGeorge Karpenkov       if (CurrentFileIdx != LastSeenStartMarker)
10010ab2aceSGeorge Karpenkov         return false;
10110ab2aceSGeorge Karpenkov       LastSeenStartMarker = kInvalidStartMarker;
10210ab2aceSGeorge Karpenkov       if (ParseCoverage) {
10310ab2aceSGeorge Karpenkov         TmpFeatures.clear();  // use a vector from outer scope to avoid resizes.
10477cbc625SKostya Serebryany         while (ISS1 >> N)
10510ab2aceSGeorge Karpenkov           TmpFeatures.push_back(N);
106a9e74a91SMandeep Singh Grang         std::sort(TmpFeatures.begin(), TmpFeatures.end());
10710ab2aceSGeorge Karpenkov         Files[CurrentFileIdx].Features = TmpFeatures;
10810ab2aceSGeorge Karpenkov       }
10996f81bc6SKostya Serebryany     } else if (Marker == "COV") {
1108c279146SKostya Serebryany       size_t CurrentFileIdx = N;
11196f81bc6SKostya Serebryany       if (ParseCoverage)
11277cbc625SKostya Serebryany         while (ISS1 >> N)
11396f81bc6SKostya Serebryany           if (PCs.insert(N).second)
1148c279146SKostya Serebryany             Files[CurrentFileIdx].Cov.push_back(N);
11510ab2aceSGeorge Karpenkov     } else {
11610ab2aceSGeorge Karpenkov       return false;
11710ab2aceSGeorge Karpenkov     }
11810ab2aceSGeorge Karpenkov   }
11910ab2aceSGeorge Karpenkov   if (LastSeenStartMarker != kInvalidStartMarker)
12010ab2aceSGeorge Karpenkov     LastFailure = Files[LastSeenStartMarker].Name;
12110ab2aceSGeorge Karpenkov 
12210ab2aceSGeorge Karpenkov   FirstNotProcessedFile = ExpectedStartMarker;
12310ab2aceSGeorge Karpenkov   return true;
12410ab2aceSGeorge Karpenkov }
12510ab2aceSGeorge Karpenkov 
ApproximateMemoryConsumption() const12610ab2aceSGeorge Karpenkov size_t Merger::ApproximateMemoryConsumption() const  {
12710ab2aceSGeorge Karpenkov   size_t Res = 0;
12810ab2aceSGeorge Karpenkov   for (const auto &F: Files)
12910ab2aceSGeorge Karpenkov     Res += sizeof(F) + F.Features.size() * sizeof(F.Features[0]);
13010ab2aceSGeorge Karpenkov   return Res;
13110ab2aceSGeorge Karpenkov }
13210ab2aceSGeorge Karpenkov 
13363f48717SKostya Serebryany // Decides which files need to be merged (add those to NewFiles).
13410ab2aceSGeorge Karpenkov // 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)1357c921753SKostya Serebryany size_t Merger::Merge(const std::set<uint32_t> &InitialFeatures,
1367c921753SKostya Serebryany                      std::set<uint32_t> *NewFeatures,
1377c921753SKostya Serebryany                      const std::set<uint32_t> &InitialCov,
1387c921753SKostya Serebryany                      std::set<uint32_t> *NewCov,
1397c921753SKostya Serebryany                      std::vector<std::string> *NewFiles) {
14010ab2aceSGeorge Karpenkov   NewFiles->clear();
1410fe4701eSMarco Vanotti   NewFeatures->clear();
1420fe4701eSMarco Vanotti   NewCov->clear();
14310ab2aceSGeorge Karpenkov   assert(NumFilesInFirstCorpus <= Files.size());
1447c921753SKostya Serebryany   std::set<uint32_t> AllFeatures = InitialFeatures;
14510ab2aceSGeorge Karpenkov 
14610ab2aceSGeorge Karpenkov   // What features are in the initial corpus?
14710ab2aceSGeorge Karpenkov   for (size_t i = 0; i < NumFilesInFirstCorpus; i++) {
14810ab2aceSGeorge Karpenkov     auto &Cur = Files[i].Features;
14963f48717SKostya Serebryany     AllFeatures.insert(Cur.begin(), Cur.end());
15010ab2aceSGeorge Karpenkov   }
15110ab2aceSGeorge Karpenkov   // Remove all features that we already know from all other inputs.
15210ab2aceSGeorge Karpenkov   for (size_t i = NumFilesInFirstCorpus; i < Files.size(); i++) {
15310ab2aceSGeorge Karpenkov     auto &Cur = Files[i].Features;
1547c921753SKostya Serebryany     std::vector<uint32_t> Tmp;
15563f48717SKostya Serebryany     std::set_difference(Cur.begin(), Cur.end(), AllFeatures.begin(),
15663f48717SKostya Serebryany                         AllFeatures.end(), std::inserter(Tmp, Tmp.begin()));
15710ab2aceSGeorge Karpenkov     Cur.swap(Tmp);
15810ab2aceSGeorge Karpenkov   }
15910ab2aceSGeorge Karpenkov 
16010ab2aceSGeorge Karpenkov   // Sort. Give preference to
16110ab2aceSGeorge Karpenkov   //   * smaller files
16210ab2aceSGeorge Karpenkov   //   * files with more features.
163a9e74a91SMandeep Singh Grang   std::sort(Files.begin() + NumFilesInFirstCorpus, Files.end(),
16410ab2aceSGeorge Karpenkov             [&](const MergeFileInfo &a, const MergeFileInfo &b) -> bool {
16510ab2aceSGeorge Karpenkov               if (a.Size != b.Size)
16610ab2aceSGeorge Karpenkov                 return a.Size < b.Size;
16710ab2aceSGeorge Karpenkov               return a.Features.size() > b.Features.size();
16810ab2aceSGeorge Karpenkov             });
16910ab2aceSGeorge Karpenkov 
17010ab2aceSGeorge Karpenkov   // One greedy pass: add the file's features to AllFeatures.
17110ab2aceSGeorge Karpenkov   // If new features were added, add this file to NewFiles.
17210ab2aceSGeorge Karpenkov   for (size_t i = NumFilesInFirstCorpus; i < Files.size(); i++) {
17310ab2aceSGeorge Karpenkov     auto &Cur = Files[i].Features;
17410ab2aceSGeorge Karpenkov     // Printf("%s -> sz %zd ft %zd\n", Files[i].Name.c_str(),
17510ab2aceSGeorge Karpenkov     //       Files[i].Size, Cur.size());
17663f48717SKostya Serebryany     bool FoundNewFeatures = false;
17763f48717SKostya Serebryany     for (auto Fe: Cur) {
17863f48717SKostya Serebryany       if (AllFeatures.insert(Fe).second) {
17963f48717SKostya Serebryany         FoundNewFeatures = true;
18063f48717SKostya Serebryany         NewFeatures->insert(Fe);
18163f48717SKostya Serebryany       }
18263f48717SKostya Serebryany     }
18363f48717SKostya Serebryany     if (FoundNewFeatures)
18410ab2aceSGeorge Karpenkov       NewFiles->push_back(Files[i].Name);
1858c279146SKostya Serebryany     for (auto Cov : Files[i].Cov)
1868c279146SKostya Serebryany       if (InitialCov.find(Cov) == InitialCov.end())
1878c279146SKostya Serebryany         NewCov->insert(Cov);
18810ab2aceSGeorge Karpenkov   }
189b96b10d1SKostya Serebryany   return NewFeatures->size();
19010ab2aceSGeorge Karpenkov }
19110ab2aceSGeorge Karpenkov 
AllFeatures() const1927c921753SKostya Serebryany std::set<uint32_t> Merger::AllFeatures() const {
1937c921753SKostya Serebryany   std::set<uint32_t> S;
19410ab2aceSGeorge Karpenkov   for (auto &File : Files)
19510ab2aceSGeorge Karpenkov     S.insert(File.Features.begin(), File.Features.end());
19610ab2aceSGeorge Karpenkov   return S;
19710ab2aceSGeorge Karpenkov }
19810ab2aceSGeorge Karpenkov 
19910ab2aceSGeorge Karpenkov // Inner process. May crash if the target crashes.
CrashResistantMergeInternalStep(const std::string & CFPath,bool IsSetCoverMerge)200*e6597dbaSaristotelis void Fuzzer::CrashResistantMergeInternalStep(const std::string &CFPath,
201*e6597dbaSaristotelis                                              bool IsSetCoverMerge) {
20210ab2aceSGeorge Karpenkov   Printf("MERGE-INNER: using the control file '%s'\n", CFPath.c_str());
20310ab2aceSGeorge Karpenkov   Merger M;
20410ab2aceSGeorge Karpenkov   std::ifstream IF(CFPath);
20510ab2aceSGeorge Karpenkov   M.ParseOrExit(IF, false);
20610ab2aceSGeorge Karpenkov   IF.close();
20710ab2aceSGeorge Karpenkov   if (!M.LastFailure.empty())
20810ab2aceSGeorge Karpenkov     Printf("MERGE-INNER: '%s' caused a failure at the previous merge step\n",
20910ab2aceSGeorge Karpenkov            M.LastFailure.c_str());
21010ab2aceSGeorge Karpenkov 
21110ab2aceSGeorge Karpenkov   Printf("MERGE-INNER: %zd total files;"
21210ab2aceSGeorge Karpenkov          " %zd processed earlier; will process %zd files now\n",
21310ab2aceSGeorge Karpenkov          M.Files.size(), M.FirstNotProcessedFile,
21410ab2aceSGeorge Karpenkov          M.Files.size() - M.FirstNotProcessedFile);
21510ab2aceSGeorge Karpenkov 
21610ab2aceSGeorge Karpenkov   std::ofstream OF(CFPath, std::ofstream::out | std::ofstream::app);
2177c921753SKostya Serebryany   std::set<size_t> AllFeatures;
21874cec618SMax Moroz   auto PrintStatsWrapper = [this, &AllFeatures](const char* Where) {
21974cec618SMax Moroz     this->PrintStats(Where, "\n", 0, AllFeatures.size());
22074cec618SMax Moroz   };
2217c921753SKostya Serebryany   std::set<const TracePC::PCTableEntry *> AllPCs;
22210ab2aceSGeorge Karpenkov   for (size_t i = M.FirstNotProcessedFile; i < M.Files.size(); i++) {
223f762a115SKostya Serebryany     Fuzzer::MaybeExitGracefully();
22410ab2aceSGeorge Karpenkov     auto U = FileToVector(M.Files[i].Name);
22510ab2aceSGeorge Karpenkov     if (U.size() > MaxInputLen) {
22610ab2aceSGeorge Karpenkov       U.resize(MaxInputLen);
22710ab2aceSGeorge Karpenkov       U.shrink_to_fit();
22810ab2aceSGeorge Karpenkov     }
229f054067fSMax Moroz 
23010ab2aceSGeorge Karpenkov     // Write the pre-run marker.
23177cbc625SKostya Serebryany     OF << "STARTED " << i << " " << U.size() << "\n";
23204304d12SMatt Morehouse     OF.flush();  // Flush is important since Command::Execute may crash.
23310ab2aceSGeorge Karpenkov     // Run.
23410ab2aceSGeorge Karpenkov     TPC.ResetMaps();
23510ab2aceSGeorge Karpenkov     ExecuteCallback(U.data(), U.size());
23697b8b2daSKostya Serebryany     // Collect coverage. We are iterating over the files in this order:
23797b8b2daSKostya Serebryany     // * First, files in the initial corpus ordered by size, smallest first.
23897b8b2daSKostya Serebryany     // * Then, all other files, smallest first.
239*e6597dbaSaristotelis     std::set<size_t> Features;
240*e6597dbaSaristotelis     if (IsSetCoverMerge)
241*e6597dbaSaristotelis       TPC.CollectFeatures([&](size_t Feature) { Features.insert(Feature); });
242*e6597dbaSaristotelis     else
243bcd78491SKostya Serebryany       TPC.CollectFeatures([&](size_t Feature) {
24497b8b2daSKostya Serebryany         if (AllFeatures.insert(Feature).second)
245*e6597dbaSaristotelis           Features.insert(Feature);
24610ab2aceSGeorge Karpenkov       });
24796f81bc6SKostya Serebryany     TPC.UpdateObservedPCs();
24810ab2aceSGeorge Karpenkov     // Show stats.
24910ab2aceSGeorge Karpenkov     if (!(TotalNumberOfRuns & (TotalNumberOfRuns - 1)))
25074cec618SMax Moroz       PrintStatsWrapper("pulse ");
2513653aeefSMax Moroz     if (TotalNumberOfRuns == M.NumFilesInFirstCorpus)
25274cec618SMax Moroz       PrintStatsWrapper("LOADED");
25310ab2aceSGeorge Karpenkov     // Write the post-run marker and the coverage.
25496f81bc6SKostya Serebryany     OF << "FT " << i;
255*e6597dbaSaristotelis     for (size_t F : Features)
25677cbc625SKostya Serebryany       OF << " " << F;
25710ab2aceSGeorge Karpenkov     OF << "\n";
25877cbc625SKostya Serebryany     OF << "COV " << i;
25996f81bc6SKostya Serebryany     TPC.ForEachObservedPC([&](const TracePC::PCTableEntry *TE) {
26096f81bc6SKostya Serebryany       if (AllPCs.insert(TE).second)
26196f81bc6SKostya Serebryany         OF << " " << TPC.PCTableEntryIdx(TE);
26296f81bc6SKostya Serebryany     });
26396f81bc6SKostya Serebryany     OF << "\n";
26454a84560SKostya Serebryany     OF.flush();
26510ab2aceSGeorge Karpenkov   }
26674cec618SMax Moroz   PrintStatsWrapper("DONE  ");
26710ab2aceSGeorge Karpenkov }
26810ab2aceSGeorge Karpenkov 
269*e6597dbaSaristotelis // Merges all corpora into the first corpus. A file is added into
270*e6597dbaSaristotelis // the first corpus only if it adds new features. Unlike `Merger::Merge`,
271*e6597dbaSaristotelis // this implementation calculates an approximation of the minimum set
272*e6597dbaSaristotelis // of corpora files, that cover all known features (set cover problem).
273*e6597dbaSaristotelis // Generally, this means that files with more features are preferred for
274*e6597dbaSaristotelis // merge into the first corpus. When two files have the same number of
275*e6597dbaSaristotelis // 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*e6597dbaSaristotelis size_t Merger::SetCoverMerge(const std::set<uint32_t> &InitialFeatures,
277*e6597dbaSaristotelis                              std::set<uint32_t> *NewFeatures,
278*e6597dbaSaristotelis                              const std::set<uint32_t> &InitialCov,
279*e6597dbaSaristotelis                              std::set<uint32_t> *NewCov,
280*e6597dbaSaristotelis                              std::vector<std::string> *NewFiles) {
281*e6597dbaSaristotelis   assert(NumFilesInFirstCorpus <= Files.size());
282*e6597dbaSaristotelis   NewFiles->clear();
283*e6597dbaSaristotelis   NewFeatures->clear();
284*e6597dbaSaristotelis   NewCov->clear();
285*e6597dbaSaristotelis   std::set<uint32_t> AllFeatures;
286*e6597dbaSaristotelis   // 1 << 21 - 1 is the maximum feature index.
287*e6597dbaSaristotelis   // See 'kFeatureSetSize' in 'FuzzerCorpus.h'.
288*e6597dbaSaristotelis   const uint32_t kFeatureSetSize = 1 << 21;
289*e6597dbaSaristotelis   std::vector<bool> Covered(kFeatureSetSize, false);
290*e6597dbaSaristotelis   size_t NumCovered = 0;
291*e6597dbaSaristotelis 
292*e6597dbaSaristotelis   std::set<uint32_t> ExistingFeatures = InitialFeatures;
293*e6597dbaSaristotelis   for (size_t i = 0; i < NumFilesInFirstCorpus; ++i)
294*e6597dbaSaristotelis     ExistingFeatures.insert(Files[i].Features.begin(), Files[i].Features.end());
295*e6597dbaSaristotelis 
296*e6597dbaSaristotelis   // Mark the existing features as covered.
297*e6597dbaSaristotelis   for (const auto &F : ExistingFeatures) {
298*e6597dbaSaristotelis     if (!Covered[F % kFeatureSetSize]) {
299*e6597dbaSaristotelis       ++NumCovered;
300*e6597dbaSaristotelis       Covered[F % kFeatureSetSize] = true;
301*e6597dbaSaristotelis     }
302*e6597dbaSaristotelis     // Calculate an underestimation of the set of covered features
303*e6597dbaSaristotelis     // since the `Covered` bitvector is smaller than the feature range.
304*e6597dbaSaristotelis     AllFeatures.insert(F % kFeatureSetSize);
305*e6597dbaSaristotelis   }
306*e6597dbaSaristotelis 
307*e6597dbaSaristotelis   std::set<size_t> RemainingFiles;
308*e6597dbaSaristotelis   for (size_t i = NumFilesInFirstCorpus; i < Files.size(); ++i) {
309*e6597dbaSaristotelis     // Construct an incremental sequence which represent the
310*e6597dbaSaristotelis     // indices to all files (excluding those in the initial corpus).
311*e6597dbaSaristotelis     // RemainingFiles = range(NumFilesInFirstCorpus..Files.size()).
312*e6597dbaSaristotelis     RemainingFiles.insert(i);
313*e6597dbaSaristotelis     // Insert this file's unique features to all features.
314*e6597dbaSaristotelis     for (const auto &F : Files[i].Features)
315*e6597dbaSaristotelis       AllFeatures.insert(F % kFeatureSetSize);
316*e6597dbaSaristotelis   }
317*e6597dbaSaristotelis 
318*e6597dbaSaristotelis   // Integrate files into Covered until set is complete.
319*e6597dbaSaristotelis   while (NumCovered != AllFeatures.size()) {
320*e6597dbaSaristotelis     // Index to file with largest number of unique features.
321*e6597dbaSaristotelis     size_t MaxFeaturesIndex = NumFilesInFirstCorpus;
322*e6597dbaSaristotelis     // Indices to remove from RemainingFiles.
323*e6597dbaSaristotelis     std::set<size_t> RemoveIndices;
324*e6597dbaSaristotelis     // Running max unique feature count.
325*e6597dbaSaristotelis     // Updated upon finding a file with more features.
326*e6597dbaSaristotelis     size_t MaxNumFeatures = 0;
327*e6597dbaSaristotelis 
328*e6597dbaSaristotelis     // Iterate over all files not yet integrated into Covered,
329*e6597dbaSaristotelis     // to find the file which has the largest number of
330*e6597dbaSaristotelis     // features that are not already in Covered.
331*e6597dbaSaristotelis     for (const auto &i : RemainingFiles) {
332*e6597dbaSaristotelis       const auto &File = Files[i];
333*e6597dbaSaristotelis       size_t CurrentUnique = 0;
334*e6597dbaSaristotelis       // Count number of features in this file
335*e6597dbaSaristotelis       // which are not yet in Covered.
336*e6597dbaSaristotelis       for (const auto &F : File.Features)
337*e6597dbaSaristotelis         if (!Covered[F % kFeatureSetSize])
338*e6597dbaSaristotelis           ++CurrentUnique;
339*e6597dbaSaristotelis 
340*e6597dbaSaristotelis       if (CurrentUnique == 0) {
341*e6597dbaSaristotelis         // All features in this file are already in Covered: skip next time.
342*e6597dbaSaristotelis         RemoveIndices.insert(i);
343*e6597dbaSaristotelis       } else if (CurrentUnique > MaxNumFeatures ||
344*e6597dbaSaristotelis                  (CurrentUnique == MaxNumFeatures &&
345*e6597dbaSaristotelis                   File.Size < Files[MaxFeaturesIndex].Size)) {
346*e6597dbaSaristotelis         // Update the max features file based on unique features
347*e6597dbaSaristotelis         // Break ties by selecting smaller files.
348*e6597dbaSaristotelis         MaxNumFeatures = CurrentUnique;
349*e6597dbaSaristotelis         MaxFeaturesIndex = i;
350*e6597dbaSaristotelis       }
351*e6597dbaSaristotelis     }
352*e6597dbaSaristotelis     // Must be a valid index/
353*e6597dbaSaristotelis     assert(MaxFeaturesIndex < Files.size());
354*e6597dbaSaristotelis     // Remove any feature-less files found.
355*e6597dbaSaristotelis     for (const auto &i : RemoveIndices)
356*e6597dbaSaristotelis       RemainingFiles.erase(i);
357*e6597dbaSaristotelis     if (MaxNumFeatures == 0) {
358*e6597dbaSaristotelis       // Did not find a file that adds unique features.
359*e6597dbaSaristotelis       // This means that we should have no remaining files.
360*e6597dbaSaristotelis       assert(RemainingFiles.size() == 0);
361*e6597dbaSaristotelis       assert(NumCovered == AllFeatures.size());
362*e6597dbaSaristotelis       break;
363*e6597dbaSaristotelis     }
364*e6597dbaSaristotelis 
365*e6597dbaSaristotelis     // MaxFeaturesIndex must be an element of Remaining.
366*e6597dbaSaristotelis     assert(RemainingFiles.find(MaxFeaturesIndex) != RemainingFiles.end());
367*e6597dbaSaristotelis     // Remove the file with the most features from Remaining.
368*e6597dbaSaristotelis     RemainingFiles.erase(MaxFeaturesIndex);
369*e6597dbaSaristotelis     const auto &MaxFeatureFile = Files[MaxFeaturesIndex];
370*e6597dbaSaristotelis     // Add the features of the max feature file to Covered.
371*e6597dbaSaristotelis     for (const auto &F : MaxFeatureFile.Features) {
372*e6597dbaSaristotelis       if (!Covered[F % kFeatureSetSize]) {
373*e6597dbaSaristotelis         ++NumCovered;
374*e6597dbaSaristotelis         Covered[F % kFeatureSetSize] = true;
375*e6597dbaSaristotelis         NewFeatures->insert(F);
376*e6597dbaSaristotelis       }
377*e6597dbaSaristotelis     }
378*e6597dbaSaristotelis     // Add the index to this file to the result.
379*e6597dbaSaristotelis     NewFiles->push_back(MaxFeatureFile.Name);
380*e6597dbaSaristotelis     // Update NewCov with the additional coverage
381*e6597dbaSaristotelis     // that MaxFeatureFile provides.
382*e6597dbaSaristotelis     for (const auto &C : MaxFeatureFile.Cov)
383*e6597dbaSaristotelis       if (InitialCov.find(C) == InitialCov.end())
384*e6597dbaSaristotelis         NewCov->insert(C);
385*e6597dbaSaristotelis   }
386*e6597dbaSaristotelis 
387*e6597dbaSaristotelis   return NewFeatures->size();
388*e6597dbaSaristotelis }
389*e6597dbaSaristotelis 
3907c921753SKostya Serebryany static size_t
WriteNewControlFile(const std::string & CFPath,const std::vector<SizedFile> & OldCorpus,const std::vector<SizedFile> & NewCorpus,const std::vector<MergeFileInfo> & KnownFiles)3917c921753SKostya Serebryany WriteNewControlFile(const std::string &CFPath,
3927c921753SKostya Serebryany                     const std::vector<SizedFile> &OldCorpus,
3937c921753SKostya Serebryany                     const std::vector<SizedFile> &NewCorpus,
3947c921753SKostya Serebryany                     const std::vector<MergeFileInfo> &KnownFiles) {
395f054067fSMax Moroz   std::unordered_set<std::string> FilesToSkip;
396f054067fSMax Moroz   for (auto &SF: KnownFiles)
397f054067fSMax Moroz     FilesToSkip.insert(SF.Name);
398f054067fSMax Moroz 
3997c921753SKostya Serebryany   std::vector<std::string> FilesToUse;
400f054067fSMax Moroz   auto MaybeUseFile = [=, &FilesToUse](std::string Name) {
401f054067fSMax Moroz     if (FilesToSkip.find(Name) == FilesToSkip.end())
402f054067fSMax Moroz       FilesToUse.push_back(Name);
403f054067fSMax Moroz   };
404f054067fSMax Moroz   for (auto &SF: OldCorpus)
405f054067fSMax Moroz     MaybeUseFile(SF.File);
406f054067fSMax Moroz   auto FilesToUseFromOldCorpus = FilesToUse.size();
407f054067fSMax Moroz   for (auto &SF: NewCorpus)
408f054067fSMax Moroz     MaybeUseFile(SF.File);
409f054067fSMax Moroz 
41010ab2aceSGeorge Karpenkov   RemoveFile(CFPath);
41110ab2aceSGeorge Karpenkov   std::ofstream ControlFile(CFPath);
412f054067fSMax Moroz   ControlFile << FilesToUse.size() << "\n";
413f054067fSMax Moroz   ControlFile << FilesToUseFromOldCorpus << "\n";
414f054067fSMax Moroz   for (auto &FN: FilesToUse)
415f054067fSMax Moroz     ControlFile << FN << "\n";
416f054067fSMax Moroz 
41710ab2aceSGeorge Karpenkov   if (!ControlFile) {
41810ab2aceSGeorge Karpenkov     Printf("MERGE-OUTER: failed to write to the control file: %s\n",
41910ab2aceSGeorge Karpenkov            CFPath.c_str());
42010ab2aceSGeorge Karpenkov     exit(1);
42110ab2aceSGeorge Karpenkov   }
422f054067fSMax Moroz 
423f054067fSMax Moroz   return FilesToUse.size();
4243ac31d44SKostya Serebryany }
42510ab2aceSGeorge Karpenkov 
426114cfafeSKostya Serebryany // 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)4277c921753SKostya Serebryany void CrashResistantMerge(const std::vector<std::string> &Args,
4287c921753SKostya Serebryany                          const std::vector<SizedFile> &OldCorpus,
4297c921753SKostya Serebryany                          const std::vector<SizedFile> &NewCorpus,
4307c921753SKostya Serebryany                          std::vector<std::string> *NewFiles,
4317c921753SKostya Serebryany                          const std::set<uint32_t> &InitialFeatures,
4327c921753SKostya Serebryany                          std::set<uint32_t> *NewFeatures,
4337c921753SKostya Serebryany                          const std::set<uint32_t> &InitialCov,
4347c921753SKostya Serebryany                          std::set<uint32_t> *NewCov, const std::string &CFPath,
435*e6597dbaSaristotelis                          bool V, /*Verbose*/
436*e6597dbaSaristotelis                          bool IsSetCoverMerge) {
437d0857484SKostya Serebryany   if (NewCorpus.empty() && OldCorpus.empty()) return;  // Nothing to merge.
4383ac31d44SKostya Serebryany   size_t NumAttempts = 0;
4397c921753SKostya Serebryany   std::vector<MergeFileInfo> KnownFiles;
440f762a115SKostya Serebryany   if (FileSize(CFPath)) {
4412b9a8f37SKostya Serebryany     VPrintf(V, "MERGE-OUTER: non-empty control file provided: '%s'\n",
442f762a115SKostya Serebryany            CFPath.c_str());
4433ac31d44SKostya Serebryany     Merger M;
444f762a115SKostya Serebryany     std::ifstream IF(CFPath);
445f054067fSMax Moroz     if (M.Parse(IF, /*ParseCoverage=*/true)) {
4462b9a8f37SKostya Serebryany       VPrintf(V, "MERGE-OUTER: control file ok, %zd files total,"
4473ac31d44SKostya Serebryany              " first not processed file %zd\n",
4483ac31d44SKostya Serebryany              M.Files.size(), M.FirstNotProcessedFile);
4493ac31d44SKostya Serebryany       if (!M.LastFailure.empty())
4502b9a8f37SKostya Serebryany         VPrintf(V, "MERGE-OUTER: '%s' will be skipped as unlucky "
4513ac31d44SKostya Serebryany                "(merge has stumbled on it the last time)\n",
4523ac31d44SKostya Serebryany                M.LastFailure.c_str());
4533ac31d44SKostya Serebryany       if (M.FirstNotProcessedFile >= M.Files.size()) {
454f054067fSMax Moroz         // Merge has already been completed with the given merge control file.
455f054067fSMax Moroz         if (M.Files.size() == OldCorpus.size() + NewCorpus.size()) {
4562b9a8f37SKostya Serebryany           VPrintf(
457f054067fSMax Moroz               V,
458f054067fSMax Moroz               "MERGE-OUTER: nothing to do, merge has been completed before\n");
4593ac31d44SKostya Serebryany           exit(0);
4603ac31d44SKostya Serebryany         }
4613ac31d44SKostya Serebryany 
462f054067fSMax Moroz         // Number of input files likely changed, start merge from scratch, but
463f054067fSMax Moroz         // reuse coverage information from the given merge control file.
464f054067fSMax Moroz         VPrintf(
465f054067fSMax Moroz             V,
466f054067fSMax Moroz             "MERGE-OUTER: starting merge from scratch, but reusing coverage "
467f054067fSMax Moroz             "information from the given control file\n");
468f054067fSMax Moroz         KnownFiles = M.Files;
469f054067fSMax Moroz       } else {
470f054067fSMax Moroz         // There is a merge in progress, continue.
4713ac31d44SKostya Serebryany         NumAttempts = M.Files.size() - M.FirstNotProcessedFile;
472f054067fSMax Moroz       }
4733ac31d44SKostya Serebryany     } else {
4742b9a8f37SKostya Serebryany       VPrintf(V, "MERGE-OUTER: bad control file, will overwrite it\n");
4753ac31d44SKostya Serebryany     }
4763ac31d44SKostya Serebryany   }
4773ac31d44SKostya Serebryany 
4783ac31d44SKostya Serebryany   if (!NumAttempts) {
4793ac31d44SKostya Serebryany     // The supplied control file is empty or bad, create a fresh one.
480f054067fSMax Moroz     VPrintf(V, "MERGE-OUTER: "
481f054067fSMax Moroz             "%zd files, %zd in the initial corpus, %zd processed earlier\n",
482f054067fSMax Moroz             OldCorpus.size() + NewCorpus.size(), OldCorpus.size(),
483f054067fSMax Moroz             KnownFiles.size());
484f054067fSMax Moroz     NumAttempts = WriteNewControlFile(CFPath, OldCorpus, NewCorpus, KnownFiles);
4853ac31d44SKostya Serebryany   }
4863ac31d44SKostya Serebryany 
4873ac31d44SKostya Serebryany   // Execute the inner process until it passes.
48810ab2aceSGeorge Karpenkov   // Every inner process should execute at least one input.
48904304d12SMatt Morehouse   Command BaseCmd(Args);
49004304d12SMatt Morehouse   BaseCmd.removeFlag("merge");
491*e6597dbaSaristotelis   BaseCmd.removeFlag("set_cover_merge");
492f762a115SKostya Serebryany   BaseCmd.removeFlag("fork");
493b7cc3d99SKostya Serebryany   BaseCmd.removeFlag("collect_data_flow");
4943ac31d44SKostya Serebryany   for (size_t Attempt = 1; Attempt <= NumAttempts; Attempt++) {
495f762a115SKostya Serebryany     Fuzzer::MaybeExitGracefully();
4962b9a8f37SKostya Serebryany     VPrintf(V, "MERGE-OUTER: attempt %zd\n", Attempt);
49704304d12SMatt Morehouse     Command Cmd(BaseCmd);
49804304d12SMatt Morehouse     Cmd.addFlag("merge_control_file", CFPath);
499*e6597dbaSaristotelis     // If we are going to use the set cover implementation for
500*e6597dbaSaristotelis     // minimization add the merge_inner=2 internal flag.
501*e6597dbaSaristotelis     Cmd.addFlag("merge_inner", IsSetCoverMerge ? "2" : "1");
5022b9a8f37SKostya Serebryany     if (!V) {
503518514e8SJonathan Metzman       Cmd.setOutputFile(getDevNull());
5042b9a8f37SKostya Serebryany       Cmd.combineOutAndErr();
5052b9a8f37SKostya Serebryany     }
50604304d12SMatt Morehouse     auto ExitCode = ExecuteCommand(Cmd);
50710ab2aceSGeorge Karpenkov     if (!ExitCode) {
508a1e7e401SKazuaki Ishizaki       VPrintf(V, "MERGE-OUTER: successful in %zd attempt(s)\n", Attempt);
50910ab2aceSGeorge Karpenkov       break;
51010ab2aceSGeorge Karpenkov     }
51110ab2aceSGeorge Karpenkov   }
51210ab2aceSGeorge Karpenkov   // Read the control file and do the merge.
51310ab2aceSGeorge Karpenkov   Merger M;
51410ab2aceSGeorge Karpenkov   std::ifstream IF(CFPath);
51510ab2aceSGeorge Karpenkov   IF.seekg(0, IF.end);
5162b9a8f37SKostya Serebryany   VPrintf(V, "MERGE-OUTER: the control file has %zd bytes\n",
5172b9a8f37SKostya Serebryany           (size_t)IF.tellg());
51810ab2aceSGeorge Karpenkov   IF.seekg(0, IF.beg);
51910ab2aceSGeorge Karpenkov   M.ParseOrExit(IF, true);
52010ab2aceSGeorge Karpenkov   IF.close();
5212b9a8f37SKostya Serebryany   VPrintf(V,
5222b9a8f37SKostya Serebryany           "MERGE-OUTER: consumed %zdMb (%zdMb rss) to parse the control file\n",
52310ab2aceSGeorge Karpenkov           M.ApproximateMemoryConsumption() >> 20, GetPeakRSSMb());
524f054067fSMax Moroz 
525f054067fSMax Moroz   M.Files.insert(M.Files.end(), KnownFiles.begin(), KnownFiles.end());
526*e6597dbaSaristotelis   if (IsSetCoverMerge)
527*e6597dbaSaristotelis     M.SetCoverMerge(InitialFeatures, NewFeatures, InitialCov, NewCov, NewFiles);
528*e6597dbaSaristotelis   else
5298c279146SKostya Serebryany     M.Merge(InitialFeatures, NewFeatures, InitialCov, NewCov, NewFiles);
5308c279146SKostya Serebryany   VPrintf(V, "MERGE-OUTER: %zd new files with %zd new features added; "
5318c279146SKostya Serebryany           "%zd new coverage edges\n",
5328c279146SKostya Serebryany          NewFiles->size(), NewFeatures->size(), NewCov->size());
53310ab2aceSGeorge Karpenkov }
53410ab2aceSGeorge Karpenkov 
53510ab2aceSGeorge Karpenkov } // namespace fuzzer
536