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

Debug prints

Browse Source
This commit is contained in:
Bhargava Shastry 2021-03-15 15:37:18 +01:00
parent ee665748aa
commit c8e31e3466
4 changed files with 18 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
test/tools/ossfuzz/CMakeLists.txt
View File

@ -25,6 +25,7 @@ endif()
if (OSSFUZZ)
add_executable(solc_ossfuzz
solc_ossfuzz.cpp
ValueGenerator.cpp
../fuzzer_common.cpp
../../TestCaseReader.cpp
../../EVMHost.cpp

2
test/tools/ossfuzz/SolidityEvmoneInterface.cpp
View File

@ -83,7 +83,7 @@ optional<Json::Value> SolidityCompilationFramework::randomFunction()
return {};
else
{
uniform_int_distribution<unsigned> d(0, contractABI.size());
uniform_int_distribution<unsigned> d(0, contractABI.size() - 1);
minstd_rand r(contractABI.size());
return contractABI[d(r)];
}

2
test/tools/ossfuzz/SolidityEvmoneInterface.h
View File

@ -46,7 +46,7 @@ struct CompilerInput
std::string const& _contractName,
frontend::OptimiserSettings _optimiserSettings,
std::map<std::string, solidity::util::h160> _libraryAddresses,
bool _debugFailure = false,
bool _debugFailure = true,
bool _viaIR = false
):
evmVersion(_evmVersion),

17
test/tools/ossfuzz/solc_ossfuzz.cpp
View File

@ -20,6 +20,8 @@
#include <test/tools/ossfuzz/SolidityEvmoneInterface.h>
#include <test/tools/ossfuzz/ValueGenerator.h>
#include <test/TestCaseReader.h>
#include <libsolidity/util/ContractABIUtils.h>
@ -70,7 +72,7 @@ extern "C" int LLVMFuzzerTestOneInput(uint8_t const* _data, size_t _size)
contractName,
compilerSetting,
{},
false,
true,
false
};
EvmoneUtility evmoneUtil(
@ -87,7 +89,13 @@ extern "C" int LLVMFuzzerTestOneInput(uint8_t const* _data, size_t _size)
optional<string> noInputFunction = evmoneUtil.noInputFunction();
if (auto r = evmoneUtil.randomFunction(); r.has_value())
{
cout << ContractABIUtils{}.functionSignatureFromABI(r.value()) << endl;
for (auto const& i: r.value()["inputs"])
if (auto v = ValueGenerator{i["type"].asString(), 0}.type(); v.has_value())
cout << v.value().name << endl;
return 0;
}
if (noInputFunction.has_value())
evmoneUtil.methodName(noInputFunction.value());
else
@ -153,18 +161,23 @@ extern "C" int LLVMFuzzerTestOneInput(uint8_t const* _data, size_t _size)
}
catch (runtime_error const&)
{
cout << "Runtime error!" << endl;
return 0;
}
catch (solidity::langutil::UnimplementedFeatureError const&)
{
cout << "Unimplemented feature!" << endl;
return 0;
}
catch (solidity::langutil::CompilerError const&)
catch (solidity::langutil::CompilerError const& _e)
{
cout << "Compiler error!" << endl;
cout << _e.what() << endl;
return 0;
}
catch (solidity::yul::StackTooDeepError const&)
{
cout << "Stack too deep" << endl;
return 0;
}
}