rust-lang/miri

Health v2 · maintenance only

Flags: no_releases

Adoption not part of the score

6535 stars · 518 forks observed · 2026-08-28

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

Miri is an interpreter for Rust's mid-level intermediate representation (MIR) that detects undefined behavior in Rust programs. It runs binaries and cargo test suites to catch unsafe code violations such as use-after-free, out-of-bounds accesses, data races, and aliasing rule violations.

Use cases

• detect undefined behavior in unsafe rust code
• find use-after-free and out-of-bounds memory bugs
• check for data races in rust programs
• verify memory alignment and type invariants
• detect memory leaks in rust test suites
• test code on big-endian and little-endian targets
• validate stacked borrows aliasing rules

When to choose

• you write or maintain unsafe Rust code and want to catch UB
• you want to run your cargo test suite under an interpreter to detect memory errors
• you need deterministic execution for debugging
• you want to cross-check byte-level code on different endianness targets

When to avoid

• you need a security sandbox - Miri's isolation is not a proper sandbox
• you need to generate cryptographic keys - fake RNG makes it unsuitable
• you expect full Rust specification compliance - Miri uses its own UB approximation
• you need to run programs with heavy host system interaction or FFI

Facets

cli-tool · maturity active

interpreter testing security programming-languages developer-tools testing rust cli windows undefined-behavior-detection unsafe-rust memory-safety mir-interpretation cargo-integration linux macos

Member repositories

For agents

markdown · JSON · MCP: product_card(name="rust-lang/miri")