微软 FORGE Lab 用 AI Agent 发现 Rust 核心库内存安全问题

微软 FORGE Lab 发布研究，利用研究版智能体工具 Hyenas/MDASH 在 Rust 核心库和 std 库中发现多处内存安全问题，包括完全由 safe Rust 编写的代码也可能触发未定义行为。研究归纳出 unsafe 代码中三类错置信任，涉及迭代器克隆、字符串替换及操作系统交互；团队复现漏洞、评估安全影响，并与 Rust 维护者协作完成修复。