2017-02-16 15:59:19 +00:00
|
|
|
/*
|
|
|
|
This file is part of solidity.
|
|
|
|
|
|
|
|
solidity is free software: you can redistribute it and/or modify
|
|
|
|
it under the terms of the GNU General Public License as published by
|
|
|
|
the Free Software Foundation, either version 3 of the License, or
|
|
|
|
(at your option) any later version.
|
|
|
|
|
|
|
|
solidity is distributed in the hope that it will be useful,
|
|
|
|
but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
|
|
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
|
|
GNU General Public License for more details.
|
|
|
|
|
|
|
|
You should have received a copy of the GNU General Public License
|
|
|
|
along with solidity. If not, see <http://www.gnu.org/licenses/>.
|
|
|
|
*/
|
|
|
|
/**
|
|
|
|
* Executable for use with AFL <http://lcamtuf.coredump.cx/afl>.
|
|
|
|
*/
|
|
|
|
|
2017-10-24 09:49:41 +00:00
|
|
|
#include <libdevcore/CommonIO.h>
|
2017-04-06 14:32:20 +00:00
|
|
|
#include <libevmasm/Assembly.h>
|
|
|
|
#include <libevmasm/ConstantOptimiser.h>
|
2017-09-16 02:50:16 +00:00
|
|
|
#include <libsolc/libsolc.h>
|
2017-04-06 14:32:20 +00:00
|
|
|
|
2018-02-07 01:05:20 +00:00
|
|
|
#include <libdevcore/JSON.h>
|
2017-02-16 15:59:19 +00:00
|
|
|
|
2017-04-06 14:32:20 +00:00
|
|
|
#include <boost/program_options.hpp>
|
|
|
|
|
2017-02-16 15:59:19 +00:00
|
|
|
#include <string>
|
2018-10-02 10:24:50 +00:00
|
|
|
#include <sstream>
|
2017-02-16 15:59:19 +00:00
|
|
|
#include <iostream>
|
|
|
|
|
|
|
|
using namespace std;
|
2017-04-06 14:32:20 +00:00
|
|
|
using namespace dev;
|
|
|
|
using namespace dev::eth;
|
|
|
|
namespace po = boost::program_options;
|
2017-02-16 15:59:19 +00:00
|
|
|
|
2017-08-29 00:01:47 +00:00
|
|
|
namespace
|
|
|
|
{
|
|
|
|
|
2017-04-27 09:35:29 +00:00
|
|
|
bool quiet = false;
|
|
|
|
|
2017-02-16 15:59:19 +00:00
|
|
|
string contains(string const& _haystack, vector<string> const& _needles)
|
|
|
|
{
|
|
|
|
for (string const& needle: _needles)
|
|
|
|
if (_haystack.find(needle) != string::npos)
|
|
|
|
return needle;
|
|
|
|
return "";
|
|
|
|
}
|
|
|
|
|
2018-10-02 10:24:50 +00:00
|
|
|
void testConstantOptimizer(string const& input)
|
2017-04-06 14:32:20 +00:00
|
|
|
{
|
2017-04-27 09:35:29 +00:00
|
|
|
if (!quiet)
|
|
|
|
cout << "Testing constant optimizer" << endl;
|
2017-04-06 14:32:20 +00:00
|
|
|
vector<u256> numbers;
|
2018-10-02 10:24:50 +00:00
|
|
|
stringstream sin(input);
|
|
|
|
|
|
|
|
while (!sin.eof())
|
2017-04-06 14:32:20 +00:00
|
|
|
{
|
|
|
|
h256 data;
|
2018-10-02 10:24:50 +00:00
|
|
|
sin.read(reinterpret_cast<char*>(data.data()), 32);
|
2017-04-06 14:32:20 +00:00
|
|
|
numbers.push_back(u256(data));
|
|
|
|
}
|
2017-04-27 09:35:29 +00:00
|
|
|
if (!quiet)
|
|
|
|
cout << "Got " << numbers.size() << " inputs:" << endl;
|
2017-04-06 14:32:20 +00:00
|
|
|
|
|
|
|
Assembly assembly;
|
|
|
|
for (u256 const& n: numbers)
|
|
|
|
{
|
2017-04-27 09:35:29 +00:00
|
|
|
if (!quiet)
|
|
|
|
cout << n << endl;
|
2017-04-06 14:32:20 +00:00
|
|
|
assembly.append(n);
|
|
|
|
}
|
|
|
|
for (bool isCreation: {false, true})
|
|
|
|
{
|
|
|
|
for (unsigned runs: {1, 2, 3, 20, 40, 100, 200, 400, 1000})
|
|
|
|
{
|
|
|
|
ConstantOptimisationMethod::optimiseConstants(
|
|
|
|
isCreation,
|
|
|
|
runs,
|
2018-03-01 11:06:36 +00:00
|
|
|
EVMVersion{},
|
2017-04-06 14:32:20 +00:00
|
|
|
assembly,
|
|
|
|
const_cast<AssemblyItems&>(assembly.items())
|
|
|
|
);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2018-09-27 00:45:42 +00:00
|
|
|
void runCompiler(string input)
|
2017-04-26 22:09:26 +00:00
|
|
|
{
|
2018-09-27 00:53:34 +00:00
|
|
|
string outputString(solidity_compile(input.c_str(), nullptr));
|
2017-04-26 22:09:26 +00:00
|
|
|
Json::Value output;
|
2018-02-07 01:05:20 +00:00
|
|
|
if (!jsonParseStrict(outputString, output))
|
2017-04-26 22:09:26 +00:00
|
|
|
{
|
|
|
|
cout << "Compiler produced invalid JSON output." << endl;
|
|
|
|
abort();
|
|
|
|
}
|
|
|
|
if (output.isMember("errors"))
|
|
|
|
for (auto const& error: output["errors"])
|
|
|
|
{
|
|
|
|
string invalid = contains(error["type"].asString(), vector<string>{
|
|
|
|
"Exception",
|
|
|
|
"InternalCompilerError"
|
|
|
|
});
|
|
|
|
if (!invalid.empty())
|
|
|
|
{
|
|
|
|
cout << "Invalid error: \"" << error["type"].asString() << "\"" << endl;
|
|
|
|
abort();
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2018-10-02 10:24:50 +00:00
|
|
|
void testStandardCompiler(string const& input)
|
2018-09-27 00:45:42 +00:00
|
|
|
{
|
|
|
|
if (!quiet)
|
|
|
|
cout << "Testing compiler via JSON interface." << endl;
|
|
|
|
|
|
|
|
runCompiler(input);
|
|
|
|
}
|
|
|
|
|
2018-10-02 10:24:50 +00:00
|
|
|
void testCompiler(string const& input, bool optimize)
|
2017-04-26 22:09:26 +00:00
|
|
|
{
|
|
|
|
if (!quiet)
|
2017-08-30 23:23:26 +00:00
|
|
|
cout << "Testing compiler " << (optimize ? "with" : "without") << " optimizer." << endl;
|
2017-02-16 15:59:19 +00:00
|
|
|
|
2018-09-27 00:45:42 +00:00
|
|
|
Json::Value config = Json::objectValue;
|
|
|
|
config["language"] = "Solidity";
|
|
|
|
config["sources"] = Json::objectValue;
|
|
|
|
config["sources"][""] = Json::objectValue;
|
|
|
|
config["sources"][""]["content"] = input;
|
|
|
|
config["settings"] = Json::objectValue;
|
|
|
|
config["settings"]["optimizer"] = Json::objectValue;
|
|
|
|
config["settings"]["optimizer"]["enabled"] = optimize;
|
|
|
|
config["settings"]["optimizer"]["runs"] = 200;
|
|
|
|
|
|
|
|
// Enable all SourceUnit-level outputs.
|
|
|
|
config["settings"]["outputSelection"]["*"][""][0] = "*";
|
|
|
|
// Enable all Contract-level outputs.
|
|
|
|
config["settings"]["outputSelection"]["*"]["*"][0] = "*";
|
|
|
|
|
|
|
|
runCompiler(jsonCompactPrint(config));
|
2017-04-06 14:32:20 +00:00
|
|
|
}
|
|
|
|
|
2017-08-29 00:01:47 +00:00
|
|
|
}
|
|
|
|
|
2017-04-06 14:32:20 +00:00
|
|
|
int main(int argc, char** argv)
|
|
|
|
{
|
|
|
|
po::options_description options(
|
|
|
|
R"(solfuzzer, fuzz-testing binary for use with AFL.
|
|
|
|
Usage: solfuzzer [Options] < input
|
|
|
|
Reads a single source from stdin, compiles it and signals a failure for internal errors.
|
|
|
|
|
|
|
|
Allowed options)",
|
|
|
|
po::options_description::m_default_line_length,
|
|
|
|
po::options_description::m_default_line_length - 23);
|
|
|
|
options.add_options()
|
2017-04-27 09:35:29 +00:00
|
|
|
("help", "Show this help screen.")
|
|
|
|
("quiet", "Only output errors.")
|
2017-04-26 22:09:26 +00:00
|
|
|
(
|
|
|
|
"standard-json",
|
|
|
|
"Test via the standard-json interface, i.e. "
|
|
|
|
"input is expected to be JSON-encoded instead of "
|
|
|
|
"plain source file."
|
|
|
|
)
|
2017-04-06 14:32:20 +00:00
|
|
|
(
|
|
|
|
"const-opt",
|
2017-04-27 09:35:29 +00:00
|
|
|
"Run the constant optimizer instead of compiling. "
|
2017-04-06 14:32:20 +00:00
|
|
|
"Expects a binary string of up to 32 bytes on stdin."
|
2017-08-30 23:23:26 +00:00
|
|
|
)
|
2018-10-02 10:24:50 +00:00
|
|
|
(
|
|
|
|
"input-file",
|
|
|
|
po::value<string>(),
|
|
|
|
"input file"
|
|
|
|
)
|
2017-08-30 23:23:26 +00:00
|
|
|
(
|
|
|
|
"without-optimizer",
|
|
|
|
"Run without optimizations. Cannot be used together with standard-json."
|
2017-04-06 14:32:20 +00:00
|
|
|
);
|
|
|
|
|
2018-10-02 10:24:50 +00:00
|
|
|
// All positional options should be interpreted as input files
|
|
|
|
po::positional_options_description filesPositions;
|
|
|
|
filesPositions.add("input-file", 1);
|
|
|
|
|
2017-04-06 14:32:20 +00:00
|
|
|
po::variables_map arguments;
|
|
|
|
try
|
|
|
|
{
|
|
|
|
po::command_line_parser cmdLineParser(argc, argv);
|
2018-10-02 10:24:50 +00:00
|
|
|
cmdLineParser.options(options).positional(filesPositions);
|
2017-04-06 14:32:20 +00:00
|
|
|
po::store(cmdLineParser.run(), arguments);
|
|
|
|
}
|
|
|
|
catch (po::error const& _exception)
|
|
|
|
{
|
|
|
|
cerr << _exception.what() << endl;
|
2017-05-03 10:27:01 +00:00
|
|
|
return 1;
|
2017-04-06 14:32:20 +00:00
|
|
|
}
|
|
|
|
|
2018-10-02 10:24:50 +00:00
|
|
|
string input;
|
|
|
|
if (arguments.count("input-file"))
|
|
|
|
input = readFileAsString(arguments["input-file"].as<string>());
|
|
|
|
else
|
|
|
|
input = readStandardInput();
|
|
|
|
|
2017-04-27 09:35:29 +00:00
|
|
|
if (arguments.count("quiet"))
|
|
|
|
quiet = true;
|
|
|
|
|
2017-04-06 14:32:20 +00:00
|
|
|
if (arguments.count("help"))
|
|
|
|
cout << options;
|
|
|
|
else if (arguments.count("const-opt"))
|
2018-10-02 10:24:50 +00:00
|
|
|
testConstantOptimizer(input);
|
2017-04-26 22:09:26 +00:00
|
|
|
else if (arguments.count("standard-json"))
|
2018-10-02 10:24:50 +00:00
|
|
|
testStandardCompiler(input);
|
2017-04-06 14:32:20 +00:00
|
|
|
else
|
2018-10-02 10:24:50 +00:00
|
|
|
testCompiler(input, !arguments.count("without-optimizer"));
|
2017-04-06 14:32:20 +00:00
|
|
|
|
2017-02-16 15:59:19 +00:00
|
|
|
return 0;
|
|
|
|
}
|