MIRAI is an abstract interpreter that operates on Rust's mid-level intermediate representation (MIR), designed to become a widely used static analysis tool for the Rust ecosystem. It helps developers improve code quality by detecting potential issues and verifying correctness properties through formal analysis. ## Key Features - **Panic Detection** — Identifies unintentional panics or suboptimal program termination paths - **Correctness Verification** — Validates program properties encoded via source annotations - **API Documentation** — Checks that explicit precondition annotations match the actual code implementation - **Security Analysis** — Performs taint analysis to find information leaks, code injection bugs, and side-channel vulnerabilities - **Path-Sensitive Analysis** — Conducts top-down, full-program analysis of package entry points - **Configurable Diagnostics** — Offers multiple diagnostic levels from default to paranoid for different analysis needs ## Philosophy MIRAI aims to make Rust code more reliable and better documented through rigorous static analysis, helping developers catch bugs early and maintain clear, verifiable contracts in their APIs.

Stars218

Forks15

Last commit9 days ago

RAPx

A static analysis tool for Rust programs.

Stars151

Forks32

Last commit23 hours ago

cargo-coupling

A coupling analysis tool for Rust projects - measuring the 'right distance' in your code

Stars79

Forks2

Last commit7 days ago