Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

https://github.com/facebookexperimental/MIRAI

Rust mid-level IR Abstract Interpreter
https://github.com/facebookexperimental/MIRAI

Last synced: about 2 months ago
JSON representation

Rust mid-level IR Abstract Interpreter

Awesome Lists containing this project

README

        

# MIRAI

MIRAI is an abstract interpreter for the [Rust](https://www.rust-lang.org/) compiler's [mid-level intermediate
representation](https://github.com/rust-lang/rfcs/blob/master/text/1211-mir.md) (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.