微软FORGE实验室使用AI驱动漏洞扫描工具Hyenas，在Rust标准库中发现了多处内存安全漏洞，其中完全用safe Rust编写的代码可能触发未定义行为。研究揭示了三种对unsafe代码的盲目信任模式：假设代码不会panic、信任用户提供的实现正确性、以及对底层系统的过度信任。
背景
微软已将Rust提升为与C++、TypeScript同级的Tier-1内部语言，Linux内核、Android和GitHub Copilot等项目正越来越多采用Rust。随着该语言的生态系统不断发展，其安全保障对于每天为数亿人提供基础支撑至关重要。
- 来源
- Lobsters
- 发布时间
- 2026年11月11日 03:44
- 评分
- 7.0 / 10