GitHub repository: Daniel-Worrall/miri
Description: An interpreter for Rust's mid-level intermediate representation