Pinned Loading

1. DavisPL/cargo-sherlock DavisPL/cargo-sherlock Public

   Cargo Sherlock 🕵️ is an automated reasoning tool for quantify trust in Rust software.

   Rust 14 1

2. DavisPL/rust-counterexamples DavisPL/rust-counterexamples Public

   Examples violating memory safety in safe Rust.

   Rust 10

3. cargo-guardian cargo-guardian Public

   Tool to enhance Rust Project security. It checks dependencies of your crate and if you are using a vulnerable version, automatically switches you to a safer version.

   Python 6

4. PLSysSec/cargo-scan PLSysSec/cargo-scan Public

   A tool for auditing Rust crates

   Rust 26 5

5. DavisPL/lhs DavisPL/lhs Public

   Yet another Rust MIR analysis tool

   Rust 15