Security context
What an agent needs to avoid regressing past fixes and find the next vuln in this repo.
starkware-libs/cairo-vm
main @ d26a502
18
Fixes
0
CVEs
HIGH
Peak severity
40.0%
Coverage
Highlights
Denial of Service: 13 prior fixes. Scrutinize any change in this area.
vm/src/vm/runners/cairo_pie.rs: most-fixed (2 issues). Treat as high-risk during review.
14 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.
Denial of Service: Unbounded memory allocation requests and lack of overflow checks on high offsets can lead to out-of-memory panics or memory allocation crashes, causing the entire VM to terminate. Checked arithmetic and try_reserve capacity checks are necessary.
Auth Bypass: Failing to fully validate virtual machine runner security parameters or leaving temporary memory addresses un-relocated can bypass mandatory state guarantees during program verification.
Denial of Service: Instruction cache resizing without range boundary checks against program data lengths enables malicious programs executing jumps to very high, invalid addresses to trigger massive memory allocation crashes.