Home / Rust / MIRAI MIRAI an abstract interpreter operating on Rust's mid-level intermediate representation (MIR) Package 205 stars GitHub Back to Rust