Empty byte array copy bug detector#
Reports a possibility of triggering a compiler bug when copying empty
memory bytes to
storage bytes and then extending the
storage bytes using
See the bug announcement for more details.
The bug was fixed in Solidity 0.7.4.
memorybytes are copied to
storagebytes are extended using
.push(). Because of the compiler bug, a non-zero byte is possibly appended to the
The detector does not accept any additional parameters.