Installation

Miri is built with Rust, so you'll need the Rust toolchain installed. If you don't have it yet:

curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh

Then clone and build Miri:

git clone https://github.com/miri-lang/miri.git
cd miri
make build

The compiler binary will be at target/debug/miri. For optimized builds, use make release (binary at target/release/miri). You can add it to your PATH or run it directly.