Skip to content

Empty byte array copy bug detector#

Reports a possibility of triggering a compiler bug when copying empty calldata or memory bytes to storage bytes and then extending the storage bytes using .push(). See the bug announcement for more details. The bug was fixed in Solidity 0.7.4.

Example#

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
pragma solidity ^0.7;

contract Example {
    bytes public data;

    function foo() external {
        bytes memory empty;
        uint[2] memory arr;
        arr[0] = type(uint).max;
        data = empty; // (1)!
        data.push(); // (2)!
    }
}
  1. Empty memory bytes are copied to storage bytes.
  2. The storage bytes are extended using .push(). Because of the compiler bug, a non-zero byte is possibly appended to the storage bytes.

Parameters#

The detector does not accept any additional parameters.