Microsoft researchers uncover memory safety bugs in Rust standard library using AI
Microsoft's FORGE Lab utilized an AI-powered vulnerability scanner named Hyenas to discover critical memory safety issues within the Rust standard library. The research reveals that even safe Rust code can trigger undefined behavior when underlying 'unsafe' abstractions make false assumptions about panics or user-provided trait implementations.