facebookexperimental / MIRAILinks
Rust mid-level IR Abstract Interpreter
☆1,011Updated last year
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,356Updated last year
- A static verifier for Rust, based on the Viper verification infrastructure.☆1,688Updated 3 weeks ago
- An implementation and definition of the Rust trait system using a PROLOG-like logic solver☆1,968Updated last month
- Command line helpers for fuzzing☆1,703Updated this week
- Defines the Rust borrow checker.☆1,525Updated 4 months ago
- Forum for discussion about what unsafe code can and can't do☆713Updated 2 months ago
- LLVM IR in natural Rust data structures☆644Updated 4 months ago
- Rust bindings for the Z3 solver.☆438Updated this week
- 🏆 Collection of bugs uncovered by fuzzing Rust code☆437Updated 5 months ago
- A precise specification for "Rust lite / MIR plus"☆940Updated this week
- Kani Rust Verifier☆2,712Updated this week
- Generating structured data from arbitrary, unstructured input.☆826Updated 2 months ago
- Detects usage of unsafe Rust in a Rust crate and its dependencies.☆1,536Updated last month
- How-to: Sanitize your Rust code!☆432Updated 7 years ago
- RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.☆275Updated 3 years ago
- Creusot helps you prove your code is correct in an automated fashion.☆1,347Updated this week
- Concurrency permutation testing tool for Rust.☆2,496Updated 2 months ago
- 🐇 Fuzzing Rust code with American Fuzzy Lop☆1,779Updated last week
- Website for graphing performance of rustc☆691Updated this week
- JIT compiler and runtime for a toy language, using Cranelift☆708Updated 6 months ago
- Attribute macro to require that the compiler prove a function can't ever panic☆1,157Updated last week
- Shuttle is a library for testing concurrent Rust code☆874Updated this week
- Refinement Types for Rust☆783Updated last week
- A home for compiler team planning documents, meeting minutes, and other such things.☆414Updated 3 months ago
- Simple tracing (mark and sweep) garbage collector for Rust☆1,052Updated 2 months ago
- Whole program static stack analysis☆640Updated 11 months ago
- Rust grammar tool libraries and binaries☆561Updated this week
- ☆785Updated 2 months ago
- A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.☆2,584Updated this week
- A library for reading and writing the DWARF debugging format☆937Updated last month