miri
An interpreter for Rust's mid-level intermediate representation
About this project
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 [unreachableunchecked] being reached, calling [copynonoverlapping] 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 emulation of some weak memory effects, i.e., atomic reads can return outdated values …
Technologies
Project health
GitHub
Reviews
Built by
Maintain rust-lang/miri? Claiming verifies admin access through your GitHub account and gives you control of this listing.
