facebookexperimental / MIRAILinks
Rust mid-level IR Abstract Interpreter
☆1,010Updated 11 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,347Updated last year
- A static verifier for Rust, based on the Viper verification infrastructure.☆1,664Updated last week
- Command line helpers for fuzzing☆1,664Updated last month
- Forum for discussion about what unsafe code can and can't do☆701Updated 2 months ago
- An implementation and definition of the Rust trait system using a PROLOG-like logic solver☆1,947Updated 2 months ago
- Kani Rust Verifier☆2,620Updated this week
- Defines the Rust borrow checker.☆1,480Updated last month
- Generating structured data from arbitrary, unstructured input.☆798Updated this week
- Creusot helps you prove your code is correct in an automated fashion.☆1,309Updated this week
- 🏆 Collection of bugs uncovered by fuzzing Rust code☆437Updated 2 months ago
- A precise specification for "Rust lite / MIR plus"☆914Updated 2 weeks ago
- Detects usage of unsafe Rust in a Rust crate and its dependencies.☆1,504Updated 2 weeks ago
- 🐇 Fuzzing Rust code with American Fuzzy Lop☆1,759Updated last week
- Concurrency permutation testing tool for Rust.☆2,424Updated 3 months ago
- Rust bindings for the Z3 solver.☆413Updated last week
- Hypothesis-like property testing for Rust☆1,906Updated 2 weeks ago
- ☆764Updated last week
- How-to: Sanitize your Rust code!☆430Updated 7 years ago
- A library for reading and writing the DWARF debugging format☆924Updated 3 weeks ago
- Whole program static stack analysis☆634Updated 9 months ago
- Website for graphing performance of rustc☆685Updated this week
- LLVM IR in natural Rust data structures☆620Updated 2 months ago
- RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.☆276Updated 3 years ago
- A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.☆2,491Updated this week
- Refinement Types for Rust☆755Updated this week
- Attribute macro to require that the compiler prove a function can't ever panic☆1,136Updated 4 months ago
- cargo subcommand showing the assembly or llvm-ir generated for Rust code☆1,237Updated last year
- Shuttle is a library for testing concurrent Rust code☆835Updated this week
- Auditing crates for unsafe code which can be safely replaced☆551Updated 3 years ago
- Simple tracing (mark and sweep) garbage collector for Rust☆1,034Updated 3 weeks ago