GitHub repository: spector-in-london/MIRAI
Description: Rust mid-level IR Abstract Interpreter