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,346Updated last year
- A static verifier for Rust, based on the Viper verification infrastructure.☆1,669Updated last week
- Command line helpers for fuzzing☆1,675Updated last month
- Forum for discussion about what unsafe code can and can't do☆701Updated this week
- An implementation and definition of the Rust trait system using a PROLOG-like logic solver☆1,953Updated 2 weeks ago
- Defines the Rust borrow checker.☆1,489Updated 2 months ago
- A precise specification for "Rust lite / MIR plus"☆922Updated this week
- Generating structured data from arbitrary, unstructured input.☆815Updated last week
- Detects usage of unsafe Rust in a Rust crate and its dependencies.☆1,505Updated last week
- Concurrency permutation testing tool for Rust.☆2,445Updated last week
- Rust bindings for the Z3 solver.☆418Updated this week
- Creusot helps you prove your code is correct in an automated fashion.☆1,316Updated last week
- ☆766Updated 3 weeks ago
- Refinement Types for Rust☆759Updated this week
- RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.☆276Updated 3 years ago
- 🏆 Collection of bugs uncovered by fuzzing Rust code☆438Updated 2 months ago
- LLVM IR in natural Rust data structures☆633Updated 2 months ago
- Website for graphing performance of rustc☆687Updated last week
- cargo subcommand showing the assembly or llvm-ir generated for Rust code☆1,234Updated last year
- Rust grammar tool libraries and binaries☆551Updated 2 months ago
- Kani Rust Verifier☆2,641Updated this week
- Runtime for executing procedural macros as WebAssembly☆1,413Updated this week
- Hypothesis-like property testing for Rust☆1,914Updated last month
- 🐇 Fuzzing Rust code with American Fuzzy Lop☆1,763Updated this week
- Simple tracing (mark and sweep) garbage collector for Rust☆1,037Updated last month
- How-to: Sanitize your Rust code!☆430Updated 7 years ago
- Whole program static stack analysis☆635Updated 9 months ago
- Library to analyze and collect metrics on source code☆334Updated last month
- A fast bump allocation arena for Rust☆1,855Updated 2 months ago
- A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.☆2,510Updated this week