rust-lang/miri
An interpreter for Rust's mid-level intermediate representation
218 best points · 38 comments · 2 Hacker News posts · 6,717 GitHub stars · View on GitHub
Hacker News discussions
- Miri: Interpreter for Rust's mid-level intermediate representation (218 points, 38 comments, by ingve, 2019-03-27)
- Definite Rust bugs found by the Miri UB detector (3 points, 0 comments, by exikyut, 2025-09-03)