miri

Miri 是 Rust 语言的未定义行为（UB）检测工具，通过解释执行 Rust 的 MIR（中层中间表示）来动态发现内存安全违规。其核心功能包括检测越界访问、悬垂指针、未初始化内存使用、对齐错误、类型不变量破坏、数据竞争及实验性的别名规则（Stacked Borrows/Tree Borrows）违反，并报告内存泄漏；支持跨目标平台（如大小端）模拟执行，且默认隔离宿主机环境以保证确定性。适用于 Rust 库与二进制程序的深度安全验证、CI 中的 UB 自动化检查，以及对 unsafe 代码合规性的严格审计场景。