Comment by tcard

Not for Rust itself, but there's an interpreter for Rust's MIR: https://github.com/rust-lang/miri