Advanced
Rust
Q90 / 100
What is the Miri interpreter for Rust?
Correct! Well done.
Incorrect.
The correct answer is B) An interpreter for Rust MIR (Mid-level IR) that detects undefined behavior in unsafe code: use-after-free, out-of-bounds, invalid values
B
Correct Answer
An interpreter for Rust MIR (Mid-level IR) that detects undefined behavior in unsafe code: use-after-free, out-of-bounds, invalid values
Explanation
cargo miri test runs tests under the Miri interpreter, catching UB that ASan/TSan might miss (invalid enum discriminants, uninitialized reads). Slow but thorough.
Progress
90/100