Browsing Tag
Microsoft FORGE Lab
1 post
Microsoft FORGE Lab security research, AI-assisted vulnerability discovery and foundational software analysis.
Microsoft’s AI Found Safe Rust Bugs. Here’s What Is Still Open
Microsoft FORGE Lab found Rust standard-library soundness bugs, including safe-code crashes. Here is what was fixed, what remains open and what teams should audit.
