BorrowSanitizer是一款基于LLVM的动态分析工具，用于检测多语言应用中的Rust别名违规bug，弥补了Miri无法分析外部代码且运行过慢的不足。该工具支持Rust、C和C++互操作，目标是成为可用于模糊测试的生产级工具。
背景
Rust的别名模型(Tree Borrows)由编译器强制执行，但unsafe代码可能违反该模型，导致安全漏洞。Miri是唯一能检测此类违规的工具，但仅限于纯Rust代码库且运行速度过慢，不适合模糊测试。
- 来源
- Lobsters
- 发布时间
- 2026年8月4日 15:29
- 评分
- 7.0 / 10