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

Merge pull request #12789 from ethereum/yulFuzzerCustomMutation

Browse Source 
Permit control flow mutations in global scope of a Yul program.
This commit is contained in:
Bhargava Shastry 2022-03-14 16:23:18 +01:00 committed by GitHub
commit e19c366532
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 21 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

19
test/tools/ossfuzz/protomutators/YulProtoMutator.cpp
View File

@ -73,6 +73,7 @@ static addControlFlow<SwitchStmt> c4;
static addControlFlow<FunctionDef> c5;
static addControlFlow<CaseStmt> c6;
static addControlFlow<Code> c7;
static addControlFlow<Program> c8;
Literal* YPM::intLiteral(unsigned _value)
{
@ -261,6 +262,24 @@ Block* YPM::basicBlock(T* _msg)
return _msg->mutable_case_block();
else if constexpr (std::is_same_v<T, Code>)
return _msg->mutable_block();
else if constexpr (std::is_same_v<T, Program>)
return globalBlock(_msg);
else
static_assert(AlwaysFalse<T>::value, "Yul proto mutator: non-exhaustive visitor.");
}
Block* YPM::globalBlock(Program* _program)
{
switch (_program->program_oneof_case())
{
case Program::kBlock:
return _program->mutable_block();
case Program::kObj:
return _program->mutable_obj()->mutable_code()->mutable_block();
case Program::PROGRAM_ONEOF_NOT_SET:
{
_program->set_allocated_block(new Block());
return _program->mutable_block();
}
}
}

2
test/tools/ossfuzz/protomutators/YulProtoMutator.h
View File

@ -103,5 +103,7 @@ struct YulProtoMutator
/// Obtain a basic block in a for stmt uniformly
/// at random
static Block* randomBlock(ForStmt* _msg);
/// Obtain a basic block in global scope.
static Block* globalBlock(Program* _program);
};
}