Microsoft Security Blog· Yechan Bae and FORGE Lab·· 3 小时前推荐指数58
微软 FORGE Lab 用智能体工具发现 Rust 标准库内存安全问题
FORGE Lab uses agentic tools to identify memory safety issues in Rust
AI 导读
微软 FORGE Lab 使用 AI 漏洞扫描系统 Hyenas（codename MDASH 的研究版本）在 Rust 标准库 std 和 core 中发现多个内存安全问题，其中包括完全由安全 Rust 代码触发未定义行为的情况。
来源：Microsoft Security Blog · microsoft.com