facebookexperimental / MIRAILinks
Rust mid-level IR Abstract Interpreter
☆1,010Updated 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,681Updated 2 weeks ago
- An implementation and definition of the Rust trait system using a PROLOG-like logic solver☆1,959Updated last month
- Forum for discussion about what unsafe code can and can't do☆707Updated last month
- Command line helpers for fuzzing☆1,689Updated last week
- Generating structured data from arbitrary, unstructured input.☆824Updated last month
- Defines the Rust borrow checker.☆1,508Updated 3 months ago
- Rust bindings for the Z3 solver.☆430Updated last week
- Creusot helps you prove your code is correct in an automated fashion.☆1,334Updated this week
- A precise specification for "Rust lite / MIR plus"☆935Updated 3 weeks ago
- RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.☆275Updated 3 years ago
- 🏆 Collection of bugs uncovered by fuzzing Rust code☆439Updated 4 months ago
- Kani Rust Verifier☆2,686Updated this week
- Website for graphing performance of rustc☆687Updated this week
- Detects usage of unsafe Rust in a Rust crate and its dependencies.☆1,523Updated 2 weeks ago
- Concurrency permutation testing tool for Rust.☆2,471Updated last month
- Library to analyze and collect metrics on source code☆346Updated last week
- LLVM IR in natural Rust data structures☆642Updated 4 months ago
- Whole program static stack analysis☆640Updated 11 months ago
- Refinement Types for Rust☆772Updated last week
- ☆777Updated 2 months ago
- Modular, structure-aware, and feedback-driven fuzzing engine for Rust functions☆443Updated 2 months ago
- A library for reading and writing the DWARF debugging format☆933Updated 2 weeks ago
- A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.☆2,555Updated this week
- How-to: Sanitize your Rust code!☆429Updated 7 years ago
- Hypothesis-like property testing for Rust☆1,937Updated this week
- Capability-oriented version of the Rust standard library☆714Updated 5 months ago
- Fuzz your Rust code with Google-developed Honggfuzz !☆490Updated last week
- 🐇 Fuzzing Rust code with American Fuzzy Lop☆1,770Updated last week
- cargo subcommand showing the assembly or llvm-ir generated for Rust code☆1,244Updated last year