pub fn check_storage_before_transfer(
trace: &[ExecutionEvent],
findings: &mut Vec<SecurityFinding>,
)Expand description
State update before transfer: SSTORE followed by value-transfer CALL. This is the classic “send ETH then update state” anti-pattern.