An AI audit caught a P-critical miscompilation before Rust 1.98 shipped
An automated bug-hunting pipeline turned every past Rust CVE into a variant rule and caught a P-critical miscompilation that could have shipped silently in 1.98. Miscompilations don't touch a line of your code; they just make the binary behave differently, so anyone on stable Rust needed the fix. Trail of Bits traced this bug and a soundness hole back to one /goal-driven variant-analysis run.