rust-corpus / qrates
A framework for large scale analysis of the Rust ecosystem.
☆35Updated this week
Related projects: ⓘ
- Trophy case for Rudra bugs.☆36Updated 7 months ago
- ☆129Updated 3 months ago
- Which functions call each other in your rust crate? Static call graph analysis.☆28Updated 3 weeks ago
- Define compiler intermediate representation usable by external tools☆57Updated 2 months ago
- automatially find crashes in the rust compiler & tooling☆66Updated 5 months ago
- ☆48Updated last year
- SFI verifier of Wasm binaries☆79Updated last year
- A Rust library for safely programming persistent memory☆73Updated 3 months ago
- UB-free and deterministic rustc fuzzer☆44Updated 2 months ago
- Rust Analysis Platform☆26Updated last week
- ☆60Updated 6 months ago
- Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust☆22Updated 5 months ago
- setup for fuzzing the Rust compiler☆56Updated 3 months ago
- Code coverage support for Rust `no_std` and embedded programs☆50Updated 2 months ago
- Synthesis of Loop-free Programs in Rust☆62Updated 4 years ago
- A framework for writing plugins that integrate with the Rust compiler☆133Updated last month
- Deserialization logic for efficiently processing Clang's `-ast-dump=json` format☆128Updated 3 weeks ago
- ☆29Updated last year
- RustHorn: A CHC-based automated verifier for Rust☆71Updated 3 weeks ago
- code snippets for☆10Updated 2 months ago
- perf-event: a Rust interface to Linux performance monitoring☆109Updated 5 months ago
- understanding the safety of Rust☆94Updated 4 years ago
- A randomized program fuzzer for the Rust programming language☆57Updated last year
- A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars☆50Updated 2 weeks ago
- Rewrite Rule Inference Using Equality Saturation☆113Updated 3 months ago
- A generic library to interact with SMT-LIB 2 compliant solvers running in a separate system process, such as Z3 and CVC4.☆65Updated 6 months ago
- Modeling NLL and the Rust borrowck☆75Updated 6 years ago
- A Rust library for manipulating and evaluating Boolean expressions and BDDs☆32Updated 3 years ago
- An operation-log based approach for data replication.☆62Updated last year
- The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).☆15Updated last week