Miri Interpreter

Recipe	Crates	Categories
Install the miri Interpreter
Detect Undefined Behavior with the miri Interpreter

Detect Undefined Behavior with the miri Interpreter

miri⮳ is an experimental interpreter for Rust's mid-level intermediate representation (MIR). It can run binaries and test suites of cargo⮳ projects and detect certain classes of undefined behavior. It can run binaries and test suites of cargo⮳ projects and detect unsafe code that fails to uphold its safety requirements. It can also perform cross-interpretation for arbitrary foreign targets.

Install the miri Interpreter

miri⮳

rustup +nightly component add miri
cargo clean
cargo miri test
# or
cargo miri run