MirCheckerRust 靜態(tài)分析工具

MirChecker 是一個 Rust 靜態(tài)分析工具。該工具可自動分析 Rust 編譯器生成的中間代碼 (MIR)，并收集關(guān)于程序的數(shù)值與符號信息，然后通過約束求解技術(shù)生成診斷信息，對可能出錯的代碼輸出警告信息。

MirChecker 與其他自動代碼查錯工具有以下不同：

• 利用靜態(tài)分析的方法，可以最大限度地利用 Rust 強大的類型系統(tǒng)
• 考慮了 Rust 語言特性導(dǎo)致的其特有的錯誤類型
• 基于 Rust MIR 而不是 LLVM IR，最大限度地利用 Rust 編譯器提供的類型信息

MirChecker 采用了經(jīng)典的三段式設(shè)計：

• 用戶界面
• 靜態(tài)分析
• 錯誤檢測