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

abiv2 proto converter: Do not resize dynamic storage arrays by writing to the length field as it is now read only

Browse Source
This commit is contained in:
Bhargava Shastry 2019-12-12 18:33:36 +01:00
parent f7624e254c
commit 49aec64caf
1 changed files with 10 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -810,13 +810,16 @@ pair<string, string> AssignCheckVisitor::visit(ArrayType const& _type)
length = getDynArrayLengthFromFuzz(_type.length(), counter());
lengthStr = to_string(length);
if (m_stateVar)
resizeBuffer = assignAndCheckStringPair(
m_varName + ".length",
m_paramName + ".length",
lengthStr,
lengthStr,
DataType::VALUE
);
{
// Dynamic storage arrays are resized via the empty push() operation
resizeBuffer.first = Whiskers(R"(<indentation>for (uint i = 0; i < <length>; i++) <arrayRef>.push();)")
("indentation", indentation())
("length", lengthStr)
("arrayRef", m_varName)
.render() + "\n";
// Add a dynamic check on the resized length
resizeBuffer.second = checkString(m_paramName + ".length", lengthStr, DataType::VALUE);
}
else
{
// Resizing memory arrays via the new operator