Tags: #memory-safety
Code Analysis Tool
rust
6.0k
rust-lang/miri
An interpreter for Rust's mid-level intermediate representation that detects Undefined Behavior, memory leaks, and data races in Rust programs.
An interpreter for Rust's mid-level intermediate representation that detects Undefined Behavior, memory leaks, and data races in Rust programs.