facebookexperimental/MIRAI

Health v2 · maintenance only

Flags: archived

Adoption not part of the score

1011 stars · 82 forks observed · 2026-08-28

What it is AI-extracted, prompt v1, taxonomy v1, 2026-08-30, confidence not recorded

MIRAI is an abstract interpreter for Rust's mid-level intermediate representation (MIR) that performs static analysis to detect potential bugs and vulnerabilities in Rust code. Originally a Facebook project, it is now orphaned with ongoing maintenance happening at a fork (endorlabs/MIRAI).

Use cases

• statically analyze Rust code for bugs before runtime
• detect potential panics and undefined behavior in Rust programs
• verify safety properties of Rust functions via abstract interpretation
• integrate formal static checks into Rust CI pipelines
• find unreachable code and suspicious patterns in MIR

When to choose

• you want abstract-interpretation-based static analysis for Rust source code
• you need to catch runtime panics and contract violations at compile time
• you are researching Rust MIR-level program analysis

When to avoid

• you need actively maintained tooling - prefer the endorlabs/MIRAI fork or alternatives like Prusti or Miri
• you need dynamic testing or fuzzing rather than static analysis
• you analyze languages other than Rust

Facets

cli-tool · maturity maintenance

linter security testing developer-tools security programming-languages rust cli windows rust abstract-interpretation mir static-analysis bug-finding orphaned linux macos

Member repositories

For agents

markdown · JSON · MCP: product_card(name="facebookexperimental/MIRAI")