PLSysSec / cargo-scan
A tool for auditing Rust crates
☆17Updated 2 weeks ago
Related projects ⓘ
Alternatives and complementary repositories for cargo-scan
- A generic library to interact with SMT-LIB 2 compliant solvers running in a separate system process, such as Z3 and CVC4.☆65Updated 8 months ago
- Interface with the rustc compiler for the purpose of program verification☆103Updated this week
- Verifying the Rust standard library☆51Updated this week
- A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars☆55Updated 2 weeks ago
- A library for deadlock-free multiparty session-typed communication in Rust.☆26Updated 2 months ago
- UB-free and deterministic rustc fuzzer☆49Updated last month
- automatially find crashes in the rust compiler & tooling☆70Updated 7 months ago
- A framework for large scale analysis of the Rust ecosystem.☆38Updated last week
- Define compiler intermediate representation usable by external tools☆62Updated 5 months ago
- Trophy case for Rudra bugs.☆37Updated 9 months ago
- ☆11Updated 3 weeks ago
- ☆43Updated 4 months ago
- Liquid Types implementation for Rust☆26Updated 2 years ago
- Transport-polymorphic, asynchronous session types for Rust☆60Updated 2 years ago
- ☆22Updated 2 years ago
- setup for fuzzing the Rust compiler☆58Updated 5 months ago
- A playground for thinking about what Rust could be like☆23Updated 3 months ago
- SAW front end for the MIR language from rustc☆36Updated 3 years ago
- Synthesis of Loop-free Programs in Rust☆63Updated 4 years ago
- Easy SMT solver interaction☆24Updated last month
- A symbolic evaluator for MIR☆19Updated 4 years ago
- RustHorn: A CHC-based automated verifier for Rust☆73Updated this week
- Eurydice compiles (a modest subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.☆23Updated this week
- Efficient sampling with uniform probability☆32Updated 2 years ago
- test framework☆10Updated 3 years ago
- Comprehensive timing leak protection for Rust programs https://www.chosenplaintext.ca/open-source/rust-timing-shield/☆51Updated last year
- SFI verifier of Wasm binaries☆81Updated last year
- Ambient Authority☆19Updated last year
- Sruth Lùbach: A toy optimization engine☆23Updated 3 years ago
- Session Type EDSL for Rust☆101Updated 2 years ago