MirCheckerRust 静态分析工具

MirChecker 是一个 Rust 静态分析工具。该工具可自动分析 Rust 编译器生成的中间代码 (MIR)，并收集关于程序的数值与符号信息，然后通过约束求解技术生成诊断信息，对可能出错的代码输出警告信息。

MirChecker 与其他自动代码查错工具有以下不同：

• 利用静态分析的方法，可以最大限度地利用 Rust 强大的类型系统


• 考虑了 Rust 语言特性导致的其特有的错误类型


• 基于 Rust MIR 而不是 LLVM IR，最大限度地利用 Rust 编译器提供的类型信息

MirChecker 采用了经典的三段式设计：

• 用户界面


• 静态分析


• 错误检测