Trail of Bits 已扩展其测试手册，新增专门针对 Rust 程序安全的章节。该综合指南详细介绍了 Trail of Bits 用于验证 Rust 安全性的工具与技术。文章首先概述了 Rust 的安全保证与局限性，包括常被忽视的问题，如 unwind 安全性和算术错误。随后，章节深入探讨动态分析，涵盖单元测试增强器、用于未定义行为检测的 Miri、使用 proptest 的属性测试、代码覆盖率以及变异测试。静态分析部分也得到了充分阐述，重点介绍了 Clippy 及其常用 lint 规则。除自动化工具外，指南还分享了来自直接 Rust 代码库审计的见解，并提供了一份“陷阱与易错点”清单用于人工审查，突出诸如运算符优先级差异等细微问题。此外，还提出了三种确保秘密数据内存零化的解决方案。文章讨论了专用测试工具，如 Kani 模型检查器。供应链部分涵盖了对依赖项的审查。此外，Trail of Bits 推出了 rust-review，这是与 Aptos Labs 共同构建的 Claude Code 插件，用于自动化 Rust 安全审查。该工具针对多种漏洞类别，从内存安全到 FFI 陷阱，提供了一种快速识别问题的方法。该手册旨在保持时效性，欢迎贡献内容，并为保障 Rust 系统安全提供协助。