Highlights
Denial of Service: 156 prior fixes. Scrutinize any change in this area.
runtime/src/bank.rs: most-fixed (14 issues). Treat as high-risk during review.
254 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 signature verification requests and multi-threaded CPU/memory exhaustion were highly recurring vectors. Mitigation requires rate limiting, IP-fairness-based packet discarding, and replacing expensive deserialization with early metadata-based filtering before processing.
Auth Bypass: Critical transaction signature validation bypasses occurred due to missing checks for empty/missing transaction signatures, incorrect mapping of signatures to required signers, or evasion of fees on unsigned transactions.
Sandbox Escape: Violations of guest-to-host memory boundaries inside BPF smart contracts occurred due to insufficient pointer alignment validation, direct parsing of nested guest slices, and unchecked system call usage. Bumping solana_rbpf and disabling JIT on unsupported architectures was necessary to reinforce isolation.