GitHub repository: scs/MIRAI
Primary language: Rust
Description: Rust mid-level IR Abstract Interpreter