MirChecker Rust 静态分析工具

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