rust-lang/miri

Miri is an Undefined Behavior detection tool for Rust. It can run binaries and test suites of cargo projects and detect unsafe code that fails to uphold its safety requirements. For instance: Out-of-bounds memory accesses and use-after-free Invalid use of uninitialized data Violation of intrinsic preconditions (an [unreachable_unchecked] being reached, calling [copy_nonoverlapping] with overlapping ranges, ...) Not sufficiently aligned memory accesses and references Violation of basic type invariants (a bool that is not 0 or 1, for example, or an invalid enum discriminant) Data races and emula…