Security context

What an agent needs to avoid regressing past fixes and find the next vuln in this repo.

filecoin-project/ref-fvm
master @ 5fc2684
20
Fixes
0
CVEs
HIGH
Peak severity
45.0%
Coverage
Highlights
Auth Bypass: 6 prior fixes. Scrutinize any change in this area.
fvm/src/executor/default.rs: most-fixed (5 issues). Treat as high-risk during review.
15 high-severity fixes in this history; regressions here are high-impact.
Recurring patterns

The bug types that recur here, drawn from past fixes, not open vulnerabilities.

Auth Bypass: Multiple fixes address sender validation gaps, including sequence increment timing, embryo actor state, and f4-address handling, indicating a fragile prevalidation flow prone to replay and unauthorized sends.
Memory Corruption: Out-of-bounds writes and reads in syscall handling, plus struct padding issues, highlight a systemic risk in the wasm boundary where attacker-controlled offsets and layout mismatches can corrupt host memory.
Verification Bypass: PoSt proof type validation was bypassed, allowing inconsistent proof types to pass verification, a critical integrity check in consensus-critical logic.