PLSysSec / cargo-scanLinks
A tool for auditing Rust crates
☆19Updated 4 months ago
Alternatives and similar repositories for cargo-scan
Users that are interested in cargo-scan are comparing it to the libraries listed below
Sorting:
- UB-free and deterministic rustc fuzzer☆88Updated 3 weeks ago
- Trophy case for Rudra bugs.☆40Updated last year
- Define compiler intermediate representation usable by external tools☆78Updated last year
- Interface with the rustc compiler for the purpose of program verification☆179Updated last week
- A framework for writing plugins that integrate with the Rust compiler☆153Updated 3 months ago
- ☆47Updated last month
- Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust☆26Updated last year
- automatially find crashes in the rust compiler & tooling☆74Updated last year
- A framework for large scale analysis of the Rust ecosystem.☆38Updated 2 weeks ago
- setup for fuzzing the Rust compiler☆58Updated 4 months ago
- A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars☆88Updated this week
- ☆156Updated 4 months ago
- Verifying the Rust standard library☆262Updated this week
- Ownership analysis that helps translating C to Rust☆26Updated last week
- a model of MIR and the Rust type/trait system☆309Updated last month
- ☆12Updated 3 months ago
- We have Crater At Home☆36Updated 9 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 library to interact with SMT-LIB 2 compliant solvers running in a separate system process, such as Z3 and CVC4.☆66Updated last year
- RustHorn: A CHC-based automated verifier for Rust☆84Updated 4 months ago
- 🎶 Choreographic programming in Rust 🎶☆59Updated 4 months ago
- experimental datalog rules for a next gen polonius☆19Updated 2 years ago
- Debugger written in Rust☆24Updated 3 years ago
- A tool for synthesis of Rust code, very early prototype☆13Updated last year
- Compiler optimizer for arbitrary control flow based on equality saturation☆103Updated 3 years ago
- CDCL SAT solver written in Rust. Work in progress. The basics are working, but there are lots of changes ahead, including API and CLI bre…☆10Updated 3 years ago
- Find deadlocks in Rust code with Petri net model checking☆33Updated 2 weeks ago
- Transport-polymorphic, asynchronous session types for Rust☆63Updated 2 years ago
- ☆75Updated last year
- Home of the "types team", affiliated with the compiler and lang teams.☆97Updated last year