Storage array cleanup fails when storage slots wrap around 2^256
Storage array cleanup fails when storage slots wrap around 2^256: a task in LegoFlow-SWE (Harbor dataset). When a static array’s data region crosses the maximum u256 storage slot (2^256‑1), the delete operator fails to clear the array elements that land in the initially low slots (i.e., slots 0…
The task
When a static array’s data region crosses the maximum `u256` storage slot (2^256‑1), the `delete` operator fails to clear the array elements that land in the initially low slots (i.e., slots 0, 1, 2, … after the wrap). This leaves stale, non‑zero values in storage, even though the operation claims to have deleted the…
Part of Lego-X/LegoFlow-SWE.