https://github.com/facebookexperimental/MIRAI

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

Last synced: 3 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 (about 1 year ago)
• Last Synced: 2024-04-30T08:31:20.382Z (9 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.