rust-lang/miri

This is stars and forks stats for /rust-lang/miri repository. As of 29 Apr, 2024 this repository has 3523 stars and 272 forks.

Miri An experimental interpreter for Rust's mid-level intermediate representation (MIR). It can run binaries and test suites of cargo projects and detect certain classes of undefined behavior, for example: 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 some basic...