cerc-io/solidity
10
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Support multiple input files with solfuzzer

Browse Source
This commit is contained in:
Mathias Baumann 2019-04-01 16:57:32 +02:00
parent 101ca5c120
commit 30820dda99
1 changed files with 43 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

53
test/tools/afl_fuzzer.cpp
View File

@ -60,6 +60,10 @@ Allowed options)",
"input-file", "input-file",
po::value<string>(), po::value<string>(),
"input file" "input file"
)(
"input-files",
po::value<std::vector<string>>()->multitoken(),
"input files"
) )
( (
"without-optimizer", "without-optimizer",
@ -93,18 +97,47 @@ Allowed options)",
return 0; return 0;
} }
string input; vector<string> inputs;
if (arguments.count("input-file")) if (arguments.count("input-file"))
input = readFileAsString(arguments["input-file"].as<string>()); inputs.push_back(arguments["input-file"].as<string>());
else if (arguments.count("input-files"))
inputs = arguments["input-files"].as<vector<string>>();
else else
input = readStandardInput(); inputs.push_back("");
if (arguments.count("const-opt")) bool optimize = !arguments.count("without-optimizer");
FuzzerUtil::testConstantOptimizer(input, quiet); int retResult = 0;
else if (arguments.count("standard-json"))
FuzzerUtil::testStandardCompiler(input, quiet);
else
FuzzerUtil::testCompiler(input, !arguments.count("without-optimizer"), quiet);
return 0; for (string const& inputFile: inputs)
{
string input;
if (inputFile.size() == 0)
input = readStandardInput();
else
input = readFileAsString(inputFile);
try
{
if (arguments.count("const-opt"))
FuzzerUtil::testConstantOptimizer(input, quiet);
else if (arguments.count("standard-json"))
FuzzerUtil::testStandardCompiler(input, quiet);
else
FuzzerUtil::testCompiler(input, optimize, quiet);
}
catch (exception const& _exc)
{
retResult = 1;
if (inputFile.size() == 0)
throw _exc;
cerr << "Fuzzer "
<< (optimize ? "" : "(without optimizer) ")
<< "failed on "
<< inputFile;
}
}
return retResult;
} }