MMIRAI
github.com ↗an abstract interpreter operating on Rust's mid-level intermediate representation (MIR) [](https://github.com/endorlabs/mirai/actions/workflows/rust.yml)
READMEView on GitHub ↗
MMan abstract interpreter operating on Rust's mid-level intermediate representation (MIR) [](https://github.com/endorlabs/mirai/actions/workflows/rust.yml)