Miri
A tool that runs Rust code step by step and reports undefined behavior it finds.
Miri interprets Rust's mid-level IR and detects many kinds of undefined behavior (out-of-bounds access, use-after-free, aliasing violations, invalid values); it needs the nightly toolchain.
See also