MIRAI

#### 產品特色

* 支援 Rust 代碼的中階表示 (MIR) 進行靜態分析
* 可作為程式碼檢測工具，發現潛在的錯誤與不正確的終止行為
* 支持透過註解驗證程式碼的正確性，提升開發品質
* 可進行資訊洩漏與常數時間分析，協助發現安全問題
* 提供強大的參數控制與日志輸出功能，方便開發者調試與配置

#### 主要功能、特點

MIRAI 是一個專門用於分析 Rust 代碼中中階表示 (MIR) 的工具。它能幫助開發者發現潛在的錯誤，驗證程式碼的正確性，並透過註解來驗證程式碼與實際行為是否一致。MIRAI 可作為 CI 決策工具，協助開發者自動檢測潛在問題。此外，MIRAI 也支援透過註解來驗證程式碼的正確性，並提供強大的參數控制與日志輸出功能，方便開發者調試與配置。

#### 指令

“`bash
# 無常用指令（自動生成）
“`