miri

Miri 是一个用于 Rust 的未定义行为检测工具，能够运行二进制文件和 Cargo 项目的测试套件，并检测违反安全要求的不安全代码。其核心功能包括检测越界内存访问、使用未初始化数据、违反原子操作前提条件、内存对齐问题、基本类型不变量破坏、数据竞争等。Miri 还能发现内存泄漏，并支持跨平台解释执行，确保字节级数据操作在不同系统架构上正确运行。适用于需要验证 Rust 代码安全性和正确性的场景，如开发阶段的质量保证和漏洞检测。需要注意的是，Miri 并非捕获所有 Rust 规范中的违规行为，且不适合用于加密用途。