Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
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
- Host: GitHub
- URL: https://github.com/facebookexperimental/MIRAI
- Owner: facebookexperimental
- License: mit
- Created: 2018-11-06T20:56:35.000Z (about 6 years ago)
- Default Branch: main
- Last Pushed: 2023-12-26T06:45:04.000Z (12 months ago)
- Last Synced: 2024-04-30T08:31:20.382Z (8 months ago)
- Language: Rust
- Size: 206 MB
- Stars: 960
- Watchers: 22
- Forks: 84
- Open Issues: 19
-
Metadata Files:
- Readme: README.md
- Contributing: CONTRIBUTING.md
- License: LICENSE
- Code of conduct: CODE_OF_CONDUCT.md
Awesome Lists containing this project
- awesome-rust-security - MIRAI - abstract interpreter for Rust's MIR from Facebook (Vulnerability Assessment / Formal Verification)
- awesome-list - MIRAI - level IR Abstract Interpreter | facebookexperimental | 557 | (Rust)
- awesome-rust-formalized-reasoning - MIRAI - annotations):star: - intended to become a widely used static analysis tool for Rust. (Projects / Verification)
- static-analysis - MIRAI - level intermediate language, and providing warnings based on taint analysis. (Programming Languages)
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.