cerc-io/solidity
16
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

yul proto fuzzer: Remove assertion that no errors/warnings while parsing yul code

Browse Source
This commit is contained in:
Bhargava Shastry 2020-06-30 13:26:50 +02:00
parent a1c33249f1
commit b82590322c
2 changed files with 13 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
test/tools/ossfuzz/yulProtoFuzzer.cpp
View File

@ -59,13 +59,13 @@ DEFINE_PROTO_FUZZER(Program const& _input)
);
// Parse protobuf mutated YUL code
if (!stack.parseAndAnalyze("source", yul_source))
return;
yulAssert(stack.errors().empty(), "Parsed successfully but had errors.");
if (!stack.parserResult()->code || !stack.parserResult()->analysisInfo)
return;
if (
!stack.parseAndAnalyze("source", yul_source) ||
!stack.parserResult()->code ||
!stack.parserResult()->analysisInfo ||
!Error::containsOnlyWarnings(stack.errors())
)
yulAssert(false, "Proto fuzzer generated malformed program");
// Optimize
stack.optimize();

8
test/tools/ossfuzz/yulProto_diff_ossfuzz.cpp
View File

@ -77,8 +77,12 @@ DEFINE_PROTO_FUZZER(Program const& _input)
);
// Parse protobuf mutated YUL code
if (!stack.parseAndAnalyze("source", yul_source) || !stack.parserResult()->code ||
!stack.parserResult()->analysisInfo)
if (
!stack.parseAndAnalyze("source", yul_source) ||
!stack.parserResult()->code ||
!stack.parserResult()->analysisInfo ||
!Error::containsOnlyWarnings(stack.errors())
)
{
printErrors(std::cout, stack.errors());
yulAssert(false, "Proto fuzzer generated malformed program");