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;
80*c2df1d8aSWu, Yingcong bool HaveFtMarker = true;
817c921753SKostya Serebryany std::vector<uint32_t> TmpFeatures;
827c921753SKostya Serebryany std::set<uint32_t> PCs;
8310ab2aceSGeorge Karpenkov while (std::getline(IS, Line, '\n')) {
8410ab2aceSGeorge Karpenkov std::istringstream ISS1(Line);
8510ab2aceSGeorge Karpenkov std::string Marker;
866708186cSAaron Green uint32_t N;
876708186cSAaron Green if (!(ISS1 >> Marker) || !(ISS1 >> N))
886708186cSAaron Green return false;
8910ab2aceSGeorge Karpenkov if (Marker == "STARTED") {
9010ab2aceSGeorge Karpenkov // STARTED FILE_ID FILE_SIZE
9110ab2aceSGeorge Karpenkov if (ExpectedStartMarker != N)
9210ab2aceSGeorge Karpenkov return false;
9310ab2aceSGeorge Karpenkov ISS1 >> Files[ExpectedStartMarker].Size;
9410ab2aceSGeorge Karpenkov LastSeenStartMarker = ExpectedStartMarker;
9510ab2aceSGeorge Karpenkov assert(ExpectedStartMarker < Files.size());
9610ab2aceSGeorge Karpenkov ExpectedStartMarker++;
97*c2df1d8aSWu, Yingcong HaveFtMarker = false;
9896f81bc6SKostya Serebryany } else if (Marker == "FT") {
9996f81bc6SKostya Serebryany // FT FILE_ID COV1 COV2 COV3 ...
10010ab2aceSGeorge Karpenkov size_t CurrentFileIdx = N;
10110ab2aceSGeorge Karpenkov if (CurrentFileIdx != LastSeenStartMarker)
10210ab2aceSGeorge Karpenkov return false;
103*c2df1d8aSWu, Yingcong HaveFtMarker = true;
10410ab2aceSGeorge Karpenkov if (ParseCoverage) {
10510ab2aceSGeorge Karpenkov TmpFeatures.clear(); // use a vector from outer scope to avoid resizes.
10677cbc625SKostya Serebryany while (ISS1 >> N)
10710ab2aceSGeorge Karpenkov TmpFeatures.push_back(N);
108a9e74a91SMandeep Singh Grang std::sort(TmpFeatures.begin(), TmpFeatures.end());
10910ab2aceSGeorge Karpenkov Files[CurrentFileIdx].Features = TmpFeatures;
11010ab2aceSGeorge Karpenkov }
11196f81bc6SKostya Serebryany } else if (Marker == "COV") {
1128c279146SKostya Serebryany size_t CurrentFileIdx = N;
113*c2df1d8aSWu, Yingcong if (CurrentFileIdx != LastSeenStartMarker)
114*c2df1d8aSWu, Yingcong return false;
11596f81bc6SKostya Serebryany if (ParseCoverage)
11677cbc625SKostya Serebryany while (ISS1 >> N)
11796f81bc6SKostya Serebryany if (PCs.insert(N).second)
1188c279146SKostya Serebryany Files[CurrentFileIdx].Cov.push_back(N);
11910ab2aceSGeorge Karpenkov } else {
12010ab2aceSGeorge Karpenkov return false;
12110ab2aceSGeorge Karpenkov }
12210ab2aceSGeorge Karpenkov }
123*c2df1d8aSWu, Yingcong if (!HaveFtMarker && LastSeenStartMarker != kInvalidStartMarker)
12410ab2aceSGeorge Karpenkov LastFailure = Files[LastSeenStartMarker].Name;
12510ab2aceSGeorge Karpenkov
12610ab2aceSGeorge Karpenkov FirstNotProcessedFile = ExpectedStartMarker;
12710ab2aceSGeorge Karpenkov return true;
12810ab2aceSGeorge Karpenkov }
12910ab2aceSGeorge Karpenkov
ApproximateMemoryConsumption() const13010ab2aceSGeorge Karpenkov size_t Merger::ApproximateMemoryConsumption() const {
13110ab2aceSGeorge Karpenkov size_t Res = 0;
13210ab2aceSGeorge Karpenkov for (const auto &F: Files)
13310ab2aceSGeorge Karpenkov Res += sizeof(F) + F.Features.size() * sizeof(F.Features[0]);
13410ab2aceSGeorge Karpenkov return Res;
13510ab2aceSGeorge Karpenkov }
13610ab2aceSGeorge Karpenkov
13763f48717SKostya Serebryany // Decides which files need to be merged (add those to NewFiles).
13810ab2aceSGeorge 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)1397c921753SKostya Serebryany size_t Merger::Merge(const std::set<uint32_t> &InitialFeatures,
1407c921753SKostya Serebryany std::set<uint32_t> *NewFeatures,
1417c921753SKostya Serebryany const std::set<uint32_t> &InitialCov,
1427c921753SKostya Serebryany std::set<uint32_t> *NewCov,
1437c921753SKostya Serebryany std::vector<std::string> *NewFiles) {
14410ab2aceSGeorge Karpenkov NewFiles->clear();
1450fe4701eSMarco Vanotti NewFeatures->clear();
1460fe4701eSMarco Vanotti NewCov->clear();
14710ab2aceSGeorge Karpenkov assert(NumFilesInFirstCorpus <= Files.size());
1487c921753SKostya Serebryany std::set<uint32_t> AllFeatures = InitialFeatures;
14910ab2aceSGeorge Karpenkov
15010ab2aceSGeorge Karpenkov // What features are in the initial corpus?
15110ab2aceSGeorge Karpenkov for (size_t i = 0; i < NumFilesInFirstCorpus; i++) {
15210ab2aceSGeorge Karpenkov auto &Cur = Files[i].Features;
15363f48717SKostya Serebryany AllFeatures.insert(Cur.begin(), Cur.end());
15410ab2aceSGeorge Karpenkov }
15510ab2aceSGeorge Karpenkov // Remove all features that we already know from all other inputs.
15610ab2aceSGeorge Karpenkov for (size_t i = NumFilesInFirstCorpus; i < Files.size(); i++) {
15710ab2aceSGeorge Karpenkov auto &Cur = Files[i].Features;
1587c921753SKostya Serebryany std::vector<uint32_t> Tmp;
15963f48717SKostya Serebryany std::set_difference(Cur.begin(), Cur.end(), AllFeatures.begin(),
16063f48717SKostya Serebryany AllFeatures.end(), std::inserter(Tmp, Tmp.begin()));
16110ab2aceSGeorge Karpenkov Cur.swap(Tmp);
16210ab2aceSGeorge Karpenkov }
16310ab2aceSGeorge Karpenkov
16410ab2aceSGeorge Karpenkov // Sort. Give preference to
16510ab2aceSGeorge Karpenkov // * smaller files
16610ab2aceSGeorge Karpenkov // * files with more features.
167a9e74a91SMandeep Singh Grang std::sort(Files.begin() + NumFilesInFirstCorpus, Files.end(),
16810ab2aceSGeorge Karpenkov [&](const MergeFileInfo &a, const MergeFileInfo &b) -> bool {
16910ab2aceSGeorge Karpenkov if (a.Size != b.Size)
17010ab2aceSGeorge Karpenkov return a.Size < b.Size;
17110ab2aceSGeorge Karpenkov return a.Features.size() > b.Features.size();
17210ab2aceSGeorge Karpenkov });
17310ab2aceSGeorge Karpenkov
17410ab2aceSGeorge Karpenkov // One greedy pass: add the file's features to AllFeatures.
17510ab2aceSGeorge Karpenkov // If new features were added, add this file to NewFiles.
17610ab2aceSGeorge Karpenkov for (size_t i = NumFilesInFirstCorpus; i < Files.size(); i++) {
17710ab2aceSGeorge Karpenkov auto &Cur = Files[i].Features;
17810ab2aceSGeorge Karpenkov // Printf("%s -> sz %zd ft %zd\n", Files[i].Name.c_str(),
17910ab2aceSGeorge Karpenkov // Files[i].Size, Cur.size());
18063f48717SKostya Serebryany bool FoundNewFeatures = false;
18163f48717SKostya Serebryany for (auto Fe: Cur) {
18263f48717SKostya Serebryany if (AllFeatures.insert(Fe).second) {
18363f48717SKostya Serebryany FoundNewFeatures = true;
18463f48717SKostya Serebryany NewFeatures->insert(Fe);
18563f48717SKostya Serebryany }
18663f48717SKostya Serebryany }
18763f48717SKostya Serebryany if (FoundNewFeatures)
18810ab2aceSGeorge Karpenkov NewFiles->push_back(Files[i].Name);
1898c279146SKostya Serebryany for (auto Cov : Files[i].Cov)
1908c279146SKostya Serebryany if (InitialCov.find(Cov) == InitialCov.end())
1918c279146SKostya Serebryany NewCov->insert(Cov);
19210ab2aceSGeorge Karpenkov }
193b96b10d1SKostya Serebryany return NewFeatures->size();
19410ab2aceSGeorge Karpenkov }
19510ab2aceSGeorge Karpenkov
AllFeatures() const1967c921753SKostya Serebryany std::set<uint32_t> Merger::AllFeatures() const {
1977c921753SKostya Serebryany std::set<uint32_t> S;
19810ab2aceSGeorge Karpenkov for (auto &File : Files)
19910ab2aceSGeorge Karpenkov S.insert(File.Features.begin(), File.Features.end());
20010ab2aceSGeorge Karpenkov return S;
20110ab2aceSGeorge Karpenkov }
20210ab2aceSGeorge Karpenkov
20310ab2aceSGeorge Karpenkov // Inner process. May crash if the target crashes.
CrashResistantMergeInternalStep(const std::string & CFPath,bool IsSetCoverMerge)204e6597dbaSaristotelis void Fuzzer::CrashResistantMergeInternalStep(const std::string &CFPath,
205e6597dbaSaristotelis bool IsSetCoverMerge) {
20610ab2aceSGeorge Karpenkov Printf("MERGE-INNER: using the control file '%s'\n", CFPath.c_str());
20710ab2aceSGeorge Karpenkov Merger M;
20810ab2aceSGeorge Karpenkov std::ifstream IF(CFPath);
20910ab2aceSGeorge Karpenkov M.ParseOrExit(IF, false);
21010ab2aceSGeorge Karpenkov IF.close();
21110ab2aceSGeorge Karpenkov if (!M.LastFailure.empty())
21210ab2aceSGeorge Karpenkov Printf("MERGE-INNER: '%s' caused a failure at the previous merge step\n",
21310ab2aceSGeorge Karpenkov M.LastFailure.c_str());
21410ab2aceSGeorge Karpenkov
21510ab2aceSGeorge Karpenkov Printf("MERGE-INNER: %zd total files;"
21610ab2aceSGeorge Karpenkov " %zd processed earlier; will process %zd files now\n",
21710ab2aceSGeorge Karpenkov M.Files.size(), M.FirstNotProcessedFile,
21810ab2aceSGeorge Karpenkov M.Files.size() - M.FirstNotProcessedFile);
21910ab2aceSGeorge Karpenkov
22010ab2aceSGeorge Karpenkov std::ofstream OF(CFPath, std::ofstream::out | std::ofstream::app);
2217c921753SKostya Serebryany std::set<size_t> AllFeatures;
22274cec618SMax Moroz auto PrintStatsWrapper = [this, &AllFeatures](const char* Where) {
22374cec618SMax Moroz this->PrintStats(Where, "\n", 0, AllFeatures.size());
22474cec618SMax Moroz };
2257c921753SKostya Serebryany std::set<const TracePC::PCTableEntry *> AllPCs;
22610ab2aceSGeorge Karpenkov for (size_t i = M.FirstNotProcessedFile; i < M.Files.size(); i++) {
227f762a115SKostya Serebryany Fuzzer::MaybeExitGracefully();
22810ab2aceSGeorge Karpenkov auto U = FileToVector(M.Files[i].Name);
22910ab2aceSGeorge Karpenkov if (U.size() > MaxInputLen) {
23010ab2aceSGeorge Karpenkov U.resize(MaxInputLen);
23110ab2aceSGeorge Karpenkov U.shrink_to_fit();
23210ab2aceSGeorge Karpenkov }
233f054067fSMax Moroz
23410ab2aceSGeorge Karpenkov // Write the pre-run marker.
23577cbc625SKostya Serebryany OF << "STARTED " << i << " " << U.size() << "\n";
23604304d12SMatt Morehouse OF.flush(); // Flush is important since Command::Execute may crash.
23710ab2aceSGeorge Karpenkov // Run.
23810ab2aceSGeorge Karpenkov TPC.ResetMaps();
23910ab2aceSGeorge Karpenkov ExecuteCallback(U.data(), U.size());
24097b8b2daSKostya Serebryany // Collect coverage. We are iterating over the files in this order:
24197b8b2daSKostya Serebryany // * First, files in the initial corpus ordered by size, smallest first.
24297b8b2daSKostya Serebryany // * Then, all other files, smallest first.
243e6597dbaSaristotelis std::set<size_t> Features;
244e6597dbaSaristotelis if (IsSetCoverMerge)
245e6597dbaSaristotelis TPC.CollectFeatures([&](size_t Feature) { Features.insert(Feature); });
246e6597dbaSaristotelis else
247bcd78491SKostya Serebryany TPC.CollectFeatures([&](size_t Feature) {
24897b8b2daSKostya Serebryany if (AllFeatures.insert(Feature).second)
249e6597dbaSaristotelis Features.insert(Feature);
25010ab2aceSGeorge Karpenkov });
25196f81bc6SKostya Serebryany TPC.UpdateObservedPCs();
25210ab2aceSGeorge Karpenkov // Show stats.
25310ab2aceSGeorge Karpenkov if (!(TotalNumberOfRuns & (TotalNumberOfRuns - 1)))
25474cec618SMax Moroz PrintStatsWrapper("pulse ");
2553653aeefSMax Moroz if (TotalNumberOfRuns == M.NumFilesInFirstCorpus)
25674cec618SMax Moroz PrintStatsWrapper("LOADED");
25710ab2aceSGeorge Karpenkov // Write the post-run marker and the coverage.
25896f81bc6SKostya Serebryany OF << "FT " << i;
259e6597dbaSaristotelis for (size_t F : Features)
26077cbc625SKostya Serebryany OF << " " << F;
26110ab2aceSGeorge Karpenkov OF << "\n";
26277cbc625SKostya Serebryany OF << "COV " << i;
26396f81bc6SKostya Serebryany TPC.ForEachObservedPC([&](const TracePC::PCTableEntry *TE) {
26496f81bc6SKostya Serebryany if (AllPCs.insert(TE).second)
26596f81bc6SKostya Serebryany OF << " " << TPC.PCTableEntryIdx(TE);
26696f81bc6SKostya Serebryany });
26796f81bc6SKostya Serebryany OF << "\n";
26854a84560SKostya Serebryany OF.flush();
26910ab2aceSGeorge Karpenkov }
27074cec618SMax Moroz PrintStatsWrapper("DONE ");
27110ab2aceSGeorge Karpenkov }
27210ab2aceSGeorge Karpenkov
273e6597dbaSaristotelis // Merges all corpora into the first corpus. A file is added into
274e6597dbaSaristotelis // the first corpus only if it adds new features. Unlike `Merger::Merge`,
275e6597dbaSaristotelis // this implementation calculates an approximation of the minimum set
276e6597dbaSaristotelis // of corpora files, that cover all known features (set cover problem).
277e6597dbaSaristotelis // Generally, this means that files with more features are preferred for
278e6597dbaSaristotelis // merge into the first corpus. When two files have the same number of
279e6597dbaSaristotelis // 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)280e6597dbaSaristotelis size_t Merger::SetCoverMerge(const std::set<uint32_t> &InitialFeatures,
281e6597dbaSaristotelis std::set<uint32_t> *NewFeatures,
282e6597dbaSaristotelis const std::set<uint32_t> &InitialCov,
283e6597dbaSaristotelis std::set<uint32_t> *NewCov,
284e6597dbaSaristotelis std::vector<std::string> *NewFiles) {
285e6597dbaSaristotelis assert(NumFilesInFirstCorpus <= Files.size());
286e6597dbaSaristotelis NewFiles->clear();
287e6597dbaSaristotelis NewFeatures->clear();
288e6597dbaSaristotelis NewCov->clear();
289e6597dbaSaristotelis std::set<uint32_t> AllFeatures;
290e6597dbaSaristotelis // 1 << 21 - 1 is the maximum feature index.
291e6597dbaSaristotelis // See 'kFeatureSetSize' in 'FuzzerCorpus.h'.
292e6597dbaSaristotelis const uint32_t kFeatureSetSize = 1 << 21;
293e6597dbaSaristotelis std::vector<bool> Covered(kFeatureSetSize, false);
294e6597dbaSaristotelis size_t NumCovered = 0;
295e6597dbaSaristotelis
296e6597dbaSaristotelis std::set<uint32_t> ExistingFeatures = InitialFeatures;
297e6597dbaSaristotelis for (size_t i = 0; i < NumFilesInFirstCorpus; ++i)
298e6597dbaSaristotelis ExistingFeatures.insert(Files[i].Features.begin(), Files[i].Features.end());
299e6597dbaSaristotelis
300e6597dbaSaristotelis // Mark the existing features as covered.
301e6597dbaSaristotelis for (const auto &F : ExistingFeatures) {
302e6597dbaSaristotelis if (!Covered[F % kFeatureSetSize]) {
303e6597dbaSaristotelis ++NumCovered;
304e6597dbaSaristotelis Covered[F % kFeatureSetSize] = true;
305e6597dbaSaristotelis }
306e6597dbaSaristotelis // Calculate an underestimation of the set of covered features
307e6597dbaSaristotelis // since the `Covered` bitvector is smaller than the feature range.
308e6597dbaSaristotelis AllFeatures.insert(F % kFeatureSetSize);
309e6597dbaSaristotelis }
310e6597dbaSaristotelis
311e6597dbaSaristotelis std::set<size_t> RemainingFiles;
312e6597dbaSaristotelis for (size_t i = NumFilesInFirstCorpus; i < Files.size(); ++i) {
313e6597dbaSaristotelis // Construct an incremental sequence which represent the
314e6597dbaSaristotelis // indices to all files (excluding those in the initial corpus).
315e6597dbaSaristotelis // RemainingFiles = range(NumFilesInFirstCorpus..Files.size()).
316e6597dbaSaristotelis RemainingFiles.insert(i);
317e6597dbaSaristotelis // Insert this file's unique features to all features.
318e6597dbaSaristotelis for (const auto &F : Files[i].Features)
319e6597dbaSaristotelis AllFeatures.insert(F % kFeatureSetSize);
320e6597dbaSaristotelis }
321e6597dbaSaristotelis
322e6597dbaSaristotelis // Integrate files into Covered until set is complete.
323e6597dbaSaristotelis while (NumCovered != AllFeatures.size()) {
324e6597dbaSaristotelis // Index to file with largest number of unique features.
325e6597dbaSaristotelis size_t MaxFeaturesIndex = NumFilesInFirstCorpus;
326e6597dbaSaristotelis // Indices to remove from RemainingFiles.
327e6597dbaSaristotelis std::set<size_t> RemoveIndices;
328e6597dbaSaristotelis // Running max unique feature count.
329e6597dbaSaristotelis // Updated upon finding a file with more features.
330e6597dbaSaristotelis size_t MaxNumFeatures = 0;
331e6597dbaSaristotelis
332e6597dbaSaristotelis // Iterate over all files not yet integrated into Covered,
333e6597dbaSaristotelis // to find the file which has the largest number of
334e6597dbaSaristotelis // features that are not already in Covered.
335e6597dbaSaristotelis for (const auto &i : RemainingFiles) {
336e6597dbaSaristotelis const auto &File = Files[i];
337e6597dbaSaristotelis size_t CurrentUnique = 0;
338e6597dbaSaristotelis // Count number of features in this file
339e6597dbaSaristotelis // which are not yet in Covered.
340e6597dbaSaristotelis for (const auto &F : File.Features)
341e6597dbaSaristotelis if (!Covered[F % kFeatureSetSize])
342e6597dbaSaristotelis ++CurrentUnique;
343e6597dbaSaristotelis
344e6597dbaSaristotelis if (CurrentUnique == 0) {
345e6597dbaSaristotelis // All features in this file are already in Covered: skip next time.
346e6597dbaSaristotelis RemoveIndices.insert(i);
347e6597dbaSaristotelis } else if (CurrentUnique > MaxNumFeatures ||
348e6597dbaSaristotelis (CurrentUnique == MaxNumFeatures &&
349e6597dbaSaristotelis File.Size < Files[MaxFeaturesIndex].Size)) {
350e6597dbaSaristotelis // Update the max features file based on unique features
351e6597dbaSaristotelis // Break ties by selecting smaller files.
352e6597dbaSaristotelis MaxNumFeatures = CurrentUnique;
353e6597dbaSaristotelis MaxFeaturesIndex = i;
354e6597dbaSaristotelis }
355e6597dbaSaristotelis }
356e6597dbaSaristotelis // Must be a valid index/
357e6597dbaSaristotelis assert(MaxFeaturesIndex < Files.size());
358e6597dbaSaristotelis // Remove any feature-less files found.
359e6597dbaSaristotelis for (const auto &i : RemoveIndices)
360e6597dbaSaristotelis RemainingFiles.erase(i);
361e6597dbaSaristotelis if (MaxNumFeatures == 0) {
362e6597dbaSaristotelis // Did not find a file that adds unique features.
363e6597dbaSaristotelis // This means that we should have no remaining files.
364e6597dbaSaristotelis assert(RemainingFiles.size() == 0);
365e6597dbaSaristotelis assert(NumCovered == AllFeatures.size());
366e6597dbaSaristotelis break;
367e6597dbaSaristotelis }
368e6597dbaSaristotelis
369e6597dbaSaristotelis // MaxFeaturesIndex must be an element of Remaining.
370e6597dbaSaristotelis assert(RemainingFiles.find(MaxFeaturesIndex) != RemainingFiles.end());
371e6597dbaSaristotelis // Remove the file with the most features from Remaining.
372e6597dbaSaristotelis RemainingFiles.erase(MaxFeaturesIndex);
373e6597dbaSaristotelis const auto &MaxFeatureFile = Files[MaxFeaturesIndex];
374e6597dbaSaristotelis // Add the features of the max feature file to Covered.
375e6597dbaSaristotelis for (const auto &F : MaxFeatureFile.Features) {
376e6597dbaSaristotelis if (!Covered[F % kFeatureSetSize]) {
377e6597dbaSaristotelis ++NumCovered;
378e6597dbaSaristotelis Covered[F % kFeatureSetSize] = true;
379e6597dbaSaristotelis NewFeatures->insert(F);
380e6597dbaSaristotelis }
381e6597dbaSaristotelis }
382e6597dbaSaristotelis // Add the index to this file to the result.
383e6597dbaSaristotelis NewFiles->push_back(MaxFeatureFile.Name);
384e6597dbaSaristotelis // Update NewCov with the additional coverage
385e6597dbaSaristotelis // that MaxFeatureFile provides.
386e6597dbaSaristotelis for (const auto &C : MaxFeatureFile.Cov)
387e6597dbaSaristotelis if (InitialCov.find(C) == InitialCov.end())
388e6597dbaSaristotelis NewCov->insert(C);
389e6597dbaSaristotelis }
390e6597dbaSaristotelis
391e6597dbaSaristotelis return NewFeatures->size();
392e6597dbaSaristotelis }
393e6597dbaSaristotelis
3947c921753SKostya Serebryany static size_t
WriteNewControlFile(const std::string & CFPath,const std::vector<SizedFile> & OldCorpus,const std::vector<SizedFile> & NewCorpus,const std::vector<MergeFileInfo> & KnownFiles)3957c921753SKostya Serebryany WriteNewControlFile(const std::string &CFPath,
3967c921753SKostya Serebryany const std::vector<SizedFile> &OldCorpus,
3977c921753SKostya Serebryany const std::vector<SizedFile> &NewCorpus,
3987c921753SKostya Serebryany const std::vector<MergeFileInfo> &KnownFiles) {
399f054067fSMax Moroz std::unordered_set<std::string> FilesToSkip;
400f054067fSMax Moroz for (auto &SF: KnownFiles)
401f054067fSMax Moroz FilesToSkip.insert(SF.Name);
402f054067fSMax Moroz
4037c921753SKostya Serebryany std::vector<std::string> FilesToUse;
404f054067fSMax Moroz auto MaybeUseFile = [=, &FilesToUse](std::string Name) {
405f054067fSMax Moroz if (FilesToSkip.find(Name) == FilesToSkip.end())
406f054067fSMax Moroz FilesToUse.push_back(Name);
407f054067fSMax Moroz };
408f054067fSMax Moroz for (auto &SF: OldCorpus)
409f054067fSMax Moroz MaybeUseFile(SF.File);
410f054067fSMax Moroz auto FilesToUseFromOldCorpus = FilesToUse.size();
411f054067fSMax Moroz for (auto &SF: NewCorpus)
412f054067fSMax Moroz MaybeUseFile(SF.File);
413f054067fSMax Moroz
41410ab2aceSGeorge Karpenkov RemoveFile(CFPath);
41510ab2aceSGeorge Karpenkov std::ofstream ControlFile(CFPath);
416f054067fSMax Moroz ControlFile << FilesToUse.size() << "\n";
417f054067fSMax Moroz ControlFile << FilesToUseFromOldCorpus << "\n";
418f054067fSMax Moroz for (auto &FN: FilesToUse)
419f054067fSMax Moroz ControlFile << FN << "\n";
420f054067fSMax Moroz
42110ab2aceSGeorge Karpenkov if (!ControlFile) {
42210ab2aceSGeorge Karpenkov Printf("MERGE-OUTER: failed to write to the control file: %s\n",
42310ab2aceSGeorge Karpenkov CFPath.c_str());
42410ab2aceSGeorge Karpenkov exit(1);
42510ab2aceSGeorge Karpenkov }
426f054067fSMax Moroz
427f054067fSMax Moroz return FilesToUse.size();
4283ac31d44SKostya Serebryany }
42910ab2aceSGeorge Karpenkov
430114cfafeSKostya 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)4317c921753SKostya Serebryany void CrashResistantMerge(const std::vector<std::string> &Args,
4327c921753SKostya Serebryany const std::vector<SizedFile> &OldCorpus,
4337c921753SKostya Serebryany const std::vector<SizedFile> &NewCorpus,
4347c921753SKostya Serebryany std::vector<std::string> *NewFiles,
4357c921753SKostya Serebryany const std::set<uint32_t> &InitialFeatures,
4367c921753SKostya Serebryany std::set<uint32_t> *NewFeatures,
4377c921753SKostya Serebryany const std::set<uint32_t> &InitialCov,
4387c921753SKostya Serebryany std::set<uint32_t> *NewCov, const std::string &CFPath,
439e6597dbaSaristotelis bool V, /*Verbose*/
440e6597dbaSaristotelis bool IsSetCoverMerge) {
441d0857484SKostya Serebryany if (NewCorpus.empty() && OldCorpus.empty()) return; // Nothing to merge.
4423ac31d44SKostya Serebryany size_t NumAttempts = 0;
4437c921753SKostya Serebryany std::vector<MergeFileInfo> KnownFiles;
444f762a115SKostya Serebryany if (FileSize(CFPath)) {
4452b9a8f37SKostya Serebryany VPrintf(V, "MERGE-OUTER: non-empty control file provided: '%s'\n",
446f762a115SKostya Serebryany CFPath.c_str());
4473ac31d44SKostya Serebryany Merger M;
448f762a115SKostya Serebryany std::ifstream IF(CFPath);
449f054067fSMax Moroz if (M.Parse(IF, /*ParseCoverage=*/true)) {
4502b9a8f37SKostya Serebryany VPrintf(V, "MERGE-OUTER: control file ok, %zd files total,"
4513ac31d44SKostya Serebryany " first not processed file %zd\n",
4523ac31d44SKostya Serebryany M.Files.size(), M.FirstNotProcessedFile);
4533ac31d44SKostya Serebryany if (!M.LastFailure.empty())
4542b9a8f37SKostya Serebryany VPrintf(V, "MERGE-OUTER: '%s' will be skipped as unlucky "
4553ac31d44SKostya Serebryany "(merge has stumbled on it the last time)\n",
4563ac31d44SKostya Serebryany M.LastFailure.c_str());
4573ac31d44SKostya Serebryany if (M.FirstNotProcessedFile >= M.Files.size()) {
458f054067fSMax Moroz // Merge has already been completed with the given merge control file.
459f054067fSMax Moroz if (M.Files.size() == OldCorpus.size() + NewCorpus.size()) {
4602b9a8f37SKostya Serebryany VPrintf(
461f054067fSMax Moroz V,
462f054067fSMax Moroz "MERGE-OUTER: nothing to do, merge has been completed before\n");
4633ac31d44SKostya Serebryany exit(0);
4643ac31d44SKostya Serebryany }
4653ac31d44SKostya Serebryany
466f054067fSMax Moroz // Number of input files likely changed, start merge from scratch, but
467f054067fSMax Moroz // reuse coverage information from the given merge control file.
468f054067fSMax Moroz VPrintf(
469f054067fSMax Moroz V,
470f054067fSMax Moroz "MERGE-OUTER: starting merge from scratch, but reusing coverage "
471f054067fSMax Moroz "information from the given control file\n");
472f054067fSMax Moroz KnownFiles = M.Files;
473f054067fSMax Moroz } else {
474f054067fSMax Moroz // There is a merge in progress, continue.
4753ac31d44SKostya Serebryany NumAttempts = M.Files.size() - M.FirstNotProcessedFile;
476f054067fSMax Moroz }
4773ac31d44SKostya Serebryany } else {
4782b9a8f37SKostya Serebryany VPrintf(V, "MERGE-OUTER: bad control file, will overwrite it\n");
4793ac31d44SKostya Serebryany }
4803ac31d44SKostya Serebryany }
4813ac31d44SKostya Serebryany
4823ac31d44SKostya Serebryany if (!NumAttempts) {
4833ac31d44SKostya Serebryany // The supplied control file is empty or bad, create a fresh one.
484f054067fSMax Moroz VPrintf(V, "MERGE-OUTER: "
485f054067fSMax Moroz "%zd files, %zd in the initial corpus, %zd processed earlier\n",
486f054067fSMax Moroz OldCorpus.size() + NewCorpus.size(), OldCorpus.size(),
487f054067fSMax Moroz KnownFiles.size());
488f054067fSMax Moroz NumAttempts = WriteNewControlFile(CFPath, OldCorpus, NewCorpus, KnownFiles);
4893ac31d44SKostya Serebryany }
4903ac31d44SKostya Serebryany
4913ac31d44SKostya Serebryany // Execute the inner process until it passes.
49210ab2aceSGeorge Karpenkov // Every inner process should execute at least one input.
49304304d12SMatt Morehouse Command BaseCmd(Args);
49404304d12SMatt Morehouse BaseCmd.removeFlag("merge");
495e6597dbaSaristotelis BaseCmd.removeFlag("set_cover_merge");
496f762a115SKostya Serebryany BaseCmd.removeFlag("fork");
497b7cc3d99SKostya Serebryany BaseCmd.removeFlag("collect_data_flow");
4983ac31d44SKostya Serebryany for (size_t Attempt = 1; Attempt <= NumAttempts; Attempt++) {
499f762a115SKostya Serebryany Fuzzer::MaybeExitGracefully();
5002b9a8f37SKostya Serebryany VPrintf(V, "MERGE-OUTER: attempt %zd\n", Attempt);
50104304d12SMatt Morehouse Command Cmd(BaseCmd);
50204304d12SMatt Morehouse Cmd.addFlag("merge_control_file", CFPath);
503e6597dbaSaristotelis // If we are going to use the set cover implementation for
504e6597dbaSaristotelis // minimization add the merge_inner=2 internal flag.
505e6597dbaSaristotelis Cmd.addFlag("merge_inner", IsSetCoverMerge ? "2" : "1");
5062b9a8f37SKostya Serebryany if (!V) {
507518514e8SJonathan Metzman Cmd.setOutputFile(getDevNull());
5082b9a8f37SKostya Serebryany Cmd.combineOutAndErr();
5092b9a8f37SKostya Serebryany }
51004304d12SMatt Morehouse auto ExitCode = ExecuteCommand(Cmd);
51110ab2aceSGeorge Karpenkov if (!ExitCode) {
512a1e7e401SKazuaki Ishizaki VPrintf(V, "MERGE-OUTER: successful in %zd attempt(s)\n", Attempt);
51310ab2aceSGeorge Karpenkov break;
51410ab2aceSGeorge Karpenkov }
51510ab2aceSGeorge Karpenkov }
51610ab2aceSGeorge Karpenkov // Read the control file and do the merge.
51710ab2aceSGeorge Karpenkov Merger M;
51810ab2aceSGeorge Karpenkov std::ifstream IF(CFPath);
51910ab2aceSGeorge Karpenkov IF.seekg(0, IF.end);
5202b9a8f37SKostya Serebryany VPrintf(V, "MERGE-OUTER: the control file has %zd bytes\n",
5212b9a8f37SKostya Serebryany (size_t)IF.tellg());
52210ab2aceSGeorge Karpenkov IF.seekg(0, IF.beg);
52310ab2aceSGeorge Karpenkov M.ParseOrExit(IF, true);
52410ab2aceSGeorge Karpenkov IF.close();
5252b9a8f37SKostya Serebryany VPrintf(V,
5262b9a8f37SKostya Serebryany "MERGE-OUTER: consumed %zdMb (%zdMb rss) to parse the control file\n",
52710ab2aceSGeorge Karpenkov M.ApproximateMemoryConsumption() >> 20, GetPeakRSSMb());
528f054067fSMax Moroz
529f054067fSMax Moroz M.Files.insert(M.Files.end(), KnownFiles.begin(), KnownFiles.end());
530e6597dbaSaristotelis if (IsSetCoverMerge)
531e6597dbaSaristotelis M.SetCoverMerge(InitialFeatures, NewFeatures, InitialCov, NewCov, NewFiles);
532e6597dbaSaristotelis else
5338c279146SKostya Serebryany M.Merge(InitialFeatures, NewFeatures, InitialCov, NewCov, NewFiles);
5348c279146SKostya Serebryany VPrintf(V, "MERGE-OUTER: %zd new files with %zd new features added; "
5358c279146SKostya Serebryany "%zd new coverage edges\n",
5368c279146SKostya Serebryany NewFiles->size(), NewFeatures->size(), NewCov->size());
53710ab2aceSGeorge Karpenkov }
53810ab2aceSGeorge Karpenkov
53910ab2aceSGeorge Karpenkov } // namespace fuzzer
540