MIRAI is an abstract interpreter for the Rust compiler's mid-level intermediate representation (MIR).

It started out as a Facebook project, but became orphaned when the sponsoring organization was disbanded.

Ongoing work to keep the project alive now happens at https://github.com/endorlabs/MIRAI.