solidity icon indicating copy to clipboard operation
solidity copied to clipboard

strictasm_diff_ossfuzz: crashing test case causes `Interpreted traces for optimized and unoptimized code differ.`

Open gal1ium opened this issue 6 months ago • 0 comments

Description

Hi! We found a crashing test case when testing with the strictasm_diff_ossfuzz fuzzing driver that reports Interpreted traces for optimized and unoptimized code differ.

Steps to Reproduce

PoC:

{mstore(0, 7)
    sstore(0, mload(0))
    mstore(sub(0, 1), sub(0, 1))
    sstore(1, mload(sub(6, 1)))
}
// ----
// Trace:
// Memory dump:
//      0: ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff07
//   FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFE0: 00000000000000000000000000000000000000000000000000000000000000ff
// Storage dump:
//   0000000000000000000000000000000000000000000000000000000000000000: 0000000000000000000000000000000000000000000000000000000000000007
//   0000000000000000000000000000000000000000000000000000000000000001: ffffffffffff{}}

gal1ium avatar May 31 '25 07:05 gal1ium