2020-04-20 12:06:16 +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/>.
|
|
|
|
*/
|
2020-07-17 14:54:12 +00:00
|
|
|
// SPDX-License-Identifier: GPL-3.0
|
2020-04-20 12:06:16 +00:00
|
|
|
|
|
|
|
#include <test/tools/ossfuzz/protoToSol.h>
|
|
|
|
|
|
|
|
#include <liblangutil/Exceptions.h>
|
|
|
|
|
|
|
|
#include <libsolutil/Whiskers.h>
|
|
|
|
|
|
|
|
#include <sstream>
|
|
|
|
|
|
|
|
using namespace solidity::test::solprotofuzzer;
|
|
|
|
using namespace solidity::util;
|
|
|
|
using namespace std;
|
|
|
|
|
|
|
|
string ProtoConverter::protoToSolidity(Program const& _p)
|
|
|
|
{
|
|
|
|
// Create random number generator with fuzzer supplied
|
|
|
|
// seed.
|
|
|
|
m_randomGen = make_shared<SolRandomNumGenerator>(_p.seed());
|
|
|
|
return visit(_p);
|
|
|
|
}
|
|
|
|
|
|
|
|
pair<string, string> ProtoConverter::generateTestCase(TestContract const& _testContract)
|
|
|
|
{
|
|
|
|
ostringstream testCode;
|
|
|
|
string usingLibDecl;
|
|
|
|
switch (_testContract.type())
|
|
|
|
{
|
|
|
|
case TestContract::LIBRARY:
|
|
|
|
{
|
|
|
|
m_libraryTest = true;
|
|
|
|
auto testTuple = pseudoRandomLibraryTest();
|
|
|
|
m_libraryName = get<0>(testTuple);
|
2020-04-20 14:08:31 +00:00
|
|
|
Whiskers u(R"(<ind>using <libraryName> for uint;)");
|
|
|
|
u("ind", "\t");
|
|
|
|
u("libraryName", get<0>(testTuple));
|
|
|
|
usingLibDecl = u.render();
|
|
|
|
Whiskers test(R"(<endl><ind><varDecl><endl><ind><ifStmt>)");
|
|
|
|
test("endl", "\n");
|
|
|
|
test("ind", "\t\t");
|
|
|
|
test("varDecl", "uint x;");
|
|
|
|
Whiskers ifStmt(R"(if (<cond>)<endl><ind>return 1;)");
|
|
|
|
Whiskers ifCond(R"(x.<testFunction>() != <expectedOutput>)");
|
|
|
|
ifCond("testFunction", get<1>(testTuple));
|
|
|
|
ifCond("expectedOutput", get<2>(testTuple));
|
|
|
|
ifStmt("cond", ifCond.render());
|
|
|
|
ifStmt("endl", "\n");
|
|
|
|
ifStmt("ind", "\t\t\t");
|
|
|
|
test("ifStmt", ifStmt.render());
|
2020-04-20 12:06:16 +00:00
|
|
|
break;
|
|
|
|
}
|
|
|
|
case TestContract::CONTRACT:
|
|
|
|
{
|
|
|
|
unsigned errorCode = 1;
|
|
|
|
unsigned contractVarIndex = 0;
|
|
|
|
for (auto const& testTuple: m_contractTests)
|
|
|
|
{
|
|
|
|
// Do this to avoid stack too deep errors
|
|
|
|
// We require uint as a return var, so we
|
|
|
|
// cannot have more than 16 variables without
|
|
|
|
// running into stack too deep errors
|
|
|
|
if (contractVarIndex >= s_maxVars)
|
|
|
|
break;
|
|
|
|
string contractName = testTuple.first;
|
|
|
|
string contractVarName = "tc" + to_string(contractVarIndex);
|
2020-04-20 14:08:31 +00:00
|
|
|
Whiskers init(R"(<endl><ind><contractName> <contractVarName> = new <contractName>();)");
|
|
|
|
init("endl", "\n");
|
|
|
|
init("ind", "\t\t");
|
|
|
|
init("contractName", contractName);
|
|
|
|
init("contractVarName", contractVarName);
|
|
|
|
testCode << init.render();
|
2020-04-20 12:06:16 +00:00
|
|
|
for (auto const& t: testTuple.second)
|
|
|
|
{
|
2020-04-20 14:08:31 +00:00
|
|
|
Whiskers tc(R"(<endl><ind><ifStmt>)");
|
|
|
|
tc("endl", "\n");
|
|
|
|
tc("ind", "\t\t");
|
|
|
|
Whiskers ifStmt(R"(if (<cond>)<endl><ind>return <errorCode>;)");
|
|
|
|
Whiskers ifCond(R"(<contractVarName>.<testFunction>() != <expectedOutput>)");
|
|
|
|
ifCond("contractVarName", contractVarName);
|
|
|
|
ifCond("testFunction", t.first);
|
|
|
|
ifCond("expectedOutput", t.second);
|
|
|
|
ifStmt("endl", "\n");
|
|
|
|
ifStmt("cond", ifCond.render());
|
|
|
|
ifStmt("ind", "\t\t\t");
|
|
|
|
ifStmt("errorCode", to_string(errorCode));
|
|
|
|
tc("ifStmt", ifStmt.render());
|
|
|
|
testCode << tc.render();
|
2020-04-20 12:06:16 +00:00
|
|
|
errorCode++;
|
|
|
|
}
|
|
|
|
contractVarIndex++;
|
|
|
|
}
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
// Expected return value when all tests pass
|
2020-04-20 14:08:31 +00:00
|
|
|
testCode << Whiskers(R"(<endl><ind>return 0;)")("endl", "\n")("ind", "\t\t").render();
|
|
|
|
return {usingLibDecl, testCode.str()};
|
2020-04-20 12:06:16 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
string ProtoConverter::visit(TestContract const& _testContract)
|
|
|
|
{
|
|
|
|
string testCode;
|
|
|
|
string usingLibDecl;
|
|
|
|
m_libraryTest = false;
|
|
|
|
|
|
|
|
// Simply return valid uint (zero) if there are
|
|
|
|
// no tests.
|
|
|
|
if (emptyLibraryTests() || emptyContractTests())
|
2020-04-20 14:08:31 +00:00
|
|
|
testCode = Whiskers(R"(<endl><ind>return 0;)")("endl", "\n")("ind", "\t\t").render();
|
2020-04-20 12:06:16 +00:00
|
|
|
else
|
|
|
|
tie(usingLibDecl, testCode) = generateTestCase(_testContract);
|
|
|
|
|
2020-04-20 14:08:31 +00:00
|
|
|
Whiskers c(R"(<endl>contract C {<?isLibrary><usingDecl></isLibrary><endl><function><endl>})");
|
|
|
|
c("endl", "\n");
|
|
|
|
c("isLibrary", m_libraryTest);
|
|
|
|
c("usingDecl", usingLibDecl);
|
|
|
|
Whiskers f("<ind>function test() public returns (uint)<endl><ind>{<testCode><endl><ind>}");
|
|
|
|
f("ind", "\t");
|
|
|
|
f("endl", "\n");
|
|
|
|
f("testCode", testCode);
|
|
|
|
c("function", f.render());
|
|
|
|
return c.render();
|
2020-04-20 12:06:16 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
bool ProtoConverter::libraryTest() const
|
|
|
|
{
|
|
|
|
return m_libraryTest;
|
|
|
|
}
|
|
|
|
|
|
|
|
string ProtoConverter::libraryName() const
|
|
|
|
{
|
|
|
|
return m_libraryName;
|
|
|
|
}
|
|
|
|
|
|
|
|
string ProtoConverter::visit(Program const& _p)
|
|
|
|
{
|
|
|
|
ostringstream program;
|
|
|
|
ostringstream contracts;
|
|
|
|
|
|
|
|
for (auto &contract: _p.contracts())
|
|
|
|
contracts << visit(contract);
|
|
|
|
|
2020-04-20 14:08:31 +00:00
|
|
|
Whiskers p(R"(<endl>pragma solidity >=0.0;<endl><contracts><endl><test>)");
|
|
|
|
p("endl", "\n");
|
|
|
|
p("contracts", contracts.str());
|
|
|
|
p("test", visit(_p.test()));
|
|
|
|
return p.render();
|
2020-04-20 12:06:16 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
string ProtoConverter::visit(ContractType const& _contractType)
|
|
|
|
{
|
|
|
|
switch (_contractType.contract_type_oneof_case())
|
|
|
|
{
|
|
|
|
case ContractType::kC:
|
|
|
|
return visit(_contractType.c());
|
|
|
|
case ContractType::kL:
|
|
|
|
return visit(_contractType.l());
|
|
|
|
case ContractType::kI:
|
|
|
|
return visit(_contractType.i());
|
|
|
|
case ContractType::CONTRACT_TYPE_ONEOF_NOT_SET:
|
|
|
|
return "";
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
string ProtoConverter::visit(Contract const& _contract)
|
|
|
|
{
|
|
|
|
openProgramScope(&_contract);
|
|
|
|
return "";
|
|
|
|
}
|
|
|
|
|
|
|
|
string ProtoConverter::visit(Interface const& _interface)
|
|
|
|
{
|
|
|
|
openProgramScope(&_interface);
|
|
|
|
return "";
|
|
|
|
}
|
|
|
|
|
|
|
|
string ProtoConverter::visit(Library const& _library)
|
|
|
|
{
|
|
|
|
openProgramScope(&_library);
|
|
|
|
return "";
|
|
|
|
}
|
|
|
|
|
|
|
|
tuple<string, string, string> ProtoConverter::pseudoRandomLibraryTest()
|
|
|
|
{
|
|
|
|
solAssert(m_libraryTests.size() > 0, "Sol proto fuzzer: No library tests found");
|
|
|
|
unsigned index = randomNumber() % m_libraryTests.size();
|
|
|
|
return m_libraryTests[index];
|
|
|
|
}
|
|
|
|
|
|
|
|
void ProtoConverter::openProgramScope(CIL _program)
|
|
|
|
{
|
|
|
|
string programNamePrefix;
|
|
|
|
if (holds_alternative<Contract const*>(_program))
|
|
|
|
programNamePrefix = "C";
|
|
|
|
else if (holds_alternative<Interface const*>(_program))
|
|
|
|
programNamePrefix = "I";
|
|
|
|
else
|
|
|
|
programNamePrefix = "L";
|
|
|
|
string programName = programNamePrefix + to_string(m_programNumericSuffix++);
|
|
|
|
m_programNameMap.emplace(_program, programName);
|
|
|
|
}
|
|
|
|
|
|
|
|
string ProtoConverter::programName(CIL _program)
|
|
|
|
{
|
|
|
|
solAssert(m_programNameMap.count(_program), "Sol proto fuzzer: Unregistered program");
|
|
|
|
return m_programNameMap[_program];
|
|
|
|
}
|
|
|
|
|
|
|
|
unsigned ProtoConverter::randomNumber()
|
|
|
|
{
|
|
|
|
solAssert(m_randomGen, "Sol proto fuzzer: Uninitialized random number generator");
|
|
|
|
return m_randomGen->operator()();
|
|
|
|
}
|