Highlights
Memory Corruption: 5 prior fixes. Scrutinize any change in this area.
cranelift: most-fixed (5 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.
Memory Safety: Miscompilations in SSA-value tracking and missing stack maps during GC-triggering loops (like array copy operations) leave live references untracked, resulting in critical use-after-free vulnerabilities. This directly undermines the WebAssembly sandbox isolation.
Memory Corruption: Inaccurate alias analysis optimizations can lead to store-to-load forwarding of stale values or incorrect instruction reordering around VMContext structures. This allows compiled guest code to bypass runtime memory bounds checks.
Auth Bypass: Inadequate enforcement of directory boundaries within WASI host filesystem calls allows guests to bypass directory containment, such as linking or renaming files across distinct read-only and read-write permission domains.