facebookexperimental / MIRAILinks
Rust mid-level IR Abstract Interpreter
☆1,011Updated 10 months ago
Alternatives and similar repositories for MIRAI
Users that are interested in MIRAI are comparing it to the libraries listed below
Sorting:
- Rust Memory Safety & Undefined Behavior Detection☆1,341Updated last year
- A static verifier for Rust, based on the Viper verification infrastructure.☆1,646Updated last week
- Concurrency permutation testing tool for Rust.☆2,386Updated 2 months ago
- An implementation and definition of the Rust trait system using a PROLOG-like logic solver☆1,942Updated 3 weeks ago
- Command line helpers for fuzzing☆1,643Updated this week
- Kani Rust Verifier☆2,580Updated last week
- Defines the Rust borrow checker.☆1,452Updated 2 weeks ago
- Hypothesis-like property testing for Rust☆1,889Updated this week
- A precise specification for "Rust lite / MIR plus"☆874Updated 2 weeks ago
- Detects usage of unsafe Rust in a Rust crate and its dependencies.☆1,491Updated last week
- Shuttle is a library for testing concurrent Rust code☆815Updated this week
- Generating structured data from arbitrary, unstructured input.☆786Updated 2 months ago
- A fast bump allocation arena for Rust☆1,782Updated 2 weeks ago
- Forum for discussion about what unsafe code can and can't do☆699Updated 3 weeks ago
- 🏆 Collection of bugs uncovered by fuzzing Rust code☆435Updated 3 weeks ago
- Creusot helps you prove your code is correct in an automated fashion.☆1,285Updated this week
- A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.☆2,445Updated this week
- ☆754Updated last week
- Website for graphing performance of rustc☆675Updated this week
- Whole program static stack analysis☆629Updated 7 months ago
- Simple tracing (mark and sweep) garbage collector for Rust☆1,021Updated last month
- Security advisory database for Rust crates published through crates.io☆995Updated last week
- Compile-time reflection API for developing robust procedural macros (proof of concept)☆749Updated last month
- 🐇 Fuzzing Rust code with American Fuzzy Lop☆1,744Updated this week
- Flowistry is an IDE plugin for Rust that helps you focus on relevant code.☆1,997Updated 6 months ago
- Attribute macro to require that the compiler prove a function can't ever panic☆1,132Updated 3 months ago
- Runtime for executing procedural macros as WebAssembly☆1,389Updated last month
- Refinement Types for Rust☆741Updated this week
- LLVM IR in natural Rust data structures☆613Updated 3 weeks ago
- a model of MIR and the Rust type/trait system☆305Updated 3 months ago