miri
by rust-lang
Rustpushed almost 2 years ago
An interpreter for Rust's mid-level intermediate representation
AI summary
Rust Analyzer
An Undefined Behavior detection tool for Rust that runs binaries and detects unsafe code and memory leaks.
- stars
- 4.7K
- forks
- 352
- watching
- 59
- awesome list
- 1
Featured in 1 awesome list
Each link jumps to the spot where the list mentions miri.