GitHub repository: tesuji/MIRAI
Description: Rust mid-level IR Abstract Interpreter