Pinned Loading

1. ad-crawler ad-crawler Public

   Forked from Yash-Vekaria/ad-crawler

   A repository to crawl the bids, advertisers, and ads on websites.

   Python 1

2. DavisPL/lhs DavisPL/lhs Public

   Yet another Rust MIR analysis tool

   Rust 13

3. DavisPL/cargo-sherlock DavisPL/cargo-sherlock Public

   Cargo Sherlock 🕵️ is an automated reasoning tool for modeling and understanding trust in the Rust supply chain ecosystem.

   Python 12 1

4. DavisPL/rust-counterexamples DavisPL/rust-counterexamples Public

   Examples violating memory safety in safe Rust.

   Rust 9

5. 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

6. PLSysSec/cargo-scan PLSysSec/cargo-scan Public

   A tool for auditing Rust crates

   Rust 17 4