An experimental interpreter for Rust's mid-level intermediate representation (MIR). This project began as part of my work for the undergraduate research course at the University of Saskatchewan.
I currently recommend that you install multirust and then use it to install the current rustc nightly version:
multirust update nightlymultirust run nightly cargo buildIf Miri fails to build, it's likely because a change in the latest nightly
compiler broke it. You could try an older nightly with multirust update nightly-<date> where <date> is a few days or weeks ago, e.g. 2016-05-20 for
May 20th. Otherwise, you could notify me in an issue or on IRC. Or, if you know
how to fix it, you could send a PR. 😄
multirust run nightly cargo run -- \
--sysroot $HOME/.multirust/toolchains/nightly \
test/filename.rsIf you are using rustup (the name of the multirust rewrite in Rust),
the sysroot path will also include your build target (e.g.
$HOME/.multirust/toolchains/nightly-x86_64-apple-darwin). You can see the
current toolchain's directory by running rustup which cargo (ignoring the
trailing /bin/cargo).
If you installed without using multirust or rustup, you'll need to adjust the
command to run your cargo and set the sysroot to the directory where your
Rust compiler is installed ($sysroot/bin/rustc should be a valid path).
Licensed under either of
- Apache License, Version 2.0 (LICENSE-APACHE or http://www.apache.org/licenses/LICENSE-2.0)
- MIT license (LICENSE-MIT or http://opensource.org/licenses/MIT) at your option.
Unless you explicitly state otherwise, any contribution intentionally submitted for inclusion in the work by you shall be dual licensed as above, without any additional terms or conditions.