Miri

Also written: cargo miri

A tool run with `cargo miri test` that finds many kinds of undefined behavior in unsafe code while tests run.