facebookexperimental / MIRAILinks
Rust mid-level IR Abstract Interpreter
☆1,008Updated 9 months ago
Alternatives and similar repositories for MIRAI
Users that are interested in MIRAI are comparing it to the libraries listed below
Sorting:
- A static verifier for Rust, based on the Viper verification infrastructure.☆1,647Updated 2 weeks ago
- Concurrency permutation testing tool for Rust.☆2,373Updated last month
- Rust Memory Safety & Undefined Behavior Detection☆1,340Updated last year
- Defines the Rust borrow checker.☆1,443Updated 11 months ago
- An implementation and definition of the Rust trait system using a PROLOG-like logic solver☆1,932Updated this week
- Command line helpers for fuzzing☆1,635Updated last week
- Kani Rust Verifier