Invariant testing call override reentrancy simulation misses ETH‑transfer reentrancy and only triggers on…
Invariant testing call override reentrancy simulation misses ETH‑transfer reentrancy and only triggers on…: a task in LegoFlow-SWE (Harbor dataset). The call override feature is intended to simulate reentrancy attacks during invariant fuzzing, but it currently fails to detect real‑world…
The task
The `call_override` feature is intended to simulate reentrancy attacks during invariant fuzzing, but it currently fails to detect real‑world ETH‑transfer reentrancy vulnerabilities. This means invariant runs can incorrectly pass even when the contracts under test are vulnerable to value‑transfer reentrancy.
Part of Lego-X/LegoFlow-SWE.