微软FORGE Lab用AI工具发现Rust标准库内存安全问题

微软 FORGE Lab 使用 AI 漏洞扫描系统 Hyenas 在 Rust 标准库 std 和 core 中发现多个内存安全问题，其中包括完全由安全 Rust 代码触发未定义行为的情况。 微软称，截至文章发布时，其团队报告的问题中有两个仍未修复；文章还提到其他人报告的相关问题及仍在审查中的修复。 这意味着 Rust 长期宣称的安全代码不触发未定义行为的边界受到挑战，但上述发现与修复状态均来自微软方面的说法。

AI 根据报道生成 · 1 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。