rust-lang/miri
View on GitHub ↗ ★ 6,708 Rust
An interpreter for Rust's mid-level intermediate representation
41 mentions on Hacker News by 33 people: 2 stories, 39 comments · first 2016-03-04 · latest 2026-09-17
20082026
-
▲ 3
Definite Rust bugs found by the Miri UB detectorstory by exikyut · 2025-09-03 · 0 comments
-
▲ 218
Miri: Interpreter for Rust's mid-level intermediate representationstory by ingve · 2019-03-27 · 38 comments