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

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