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

Introduce unchecked basic blocks.

Browse Source
This commit is contained in:
Bhargava Shastry 2021-05-03 10:12:29 +02:00
parent 86fec73a8c
commit fdb1bc0b3d
2 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
test/tools/ossfuzz/SolidityGenerator.cpp
View File

@ -303,7 +303,9 @@ string BlockStmtGenerator::visit()
return "\n"; return "\n";
incrementNestingDepth(); incrementNestingDepth();
ostringstream block; ostringstream block;
block << indentation() + "{\n"; // Make block unchecked with a small probability
bool unchecked = uRandDist->probable(s_uncheckedInvProb);
block << indentation() + (unchecked ? "unchecked " : "") + "{\n";
state->indent(); state->indent();
block << visitChildren(); block << visitChildren();
state->unindent(); state->unindent();

1
test/tools/ossfuzz/SolidityGenerator.h
View File

@ -876,6 +876,7 @@ private:
size_t m_nestingDepth; size_t m_nestingDepth;
static constexpr unsigned s_maxStatements = 4; static constexpr unsigned s_maxStatements = 4;
static constexpr unsigned s_maxNestingDepth = 3; static constexpr unsigned s_maxNestingDepth = 3;
static constexpr size_t s_uncheckedInvProb = 13;
}; };
class SolidityGenerator: public std::enable_shared_from_this<SolidityGenerator> class SolidityGenerator: public std::enable_shared_from_this<SolidityGenerator>