Miri Interpreter
| Recipe | Crates | Categories |
|---|---|---|
| Miri |  | |
| Miri installation | |
TODO
Miri
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 also perform cross-interpretation for arbitrary foreign targets.
Installation
rustup +nightly component add miri
cargo clean
cargo miri test
# or
cargo miri run