rust-fuzz / trophy-case
🏆 Collection of bugs uncovered by fuzzing Rust code
☆430Updated 3 weeks ago
Alternatives and similar repositories for trophy-case:
Users that are interested in trophy-case are comparing it to the libraries listed below
- Generating structured data from arbitrary, unstructured input.☆767Updated 2 weeks ago
- Modular, structure-aware, and feedback-driven fuzzing engine for Rust functions☆442Updated last week
- Fuzz your Rust code with Google-developed Honggfuzz !☆479Updated last week
- Command line helpers for fuzzing☆1,617Updated last week
- Auditing crates for unsafe code which can be safely replaced☆546Updated 3 years ago
- How-to: Sanitize your Rust code!☆428Updated 7 years ago
- Rust Memory Safety & Undefined Behavior Detection☆1,335Updated last year
- Detects usage of unsafe Rust in a Rust crate and its dependencies.☆1,468Updated last week
- Breaking your Rust code for fun and profit☆632Updated last year
- Run Rust lints from dynamic libraries☆445Updated this week
- Security advisory database for Rust crates published through crates.io☆977Updated this week
- Rust bindings and utilities for LLVM’s libFuzzer☆228Updated last month
- A big 'ol pile of ICE.☆290Updated 11 months ago
- Rust mid-level IR Abstract Interpreter☆1,004Updated 8 months ago
- 🐇 Fuzzing Rust code with American Fuzzy Lop☆1,714Updated last week
- Forum for discussion about what unsafe code can and can't do☆688Updated 5 months ago
- Execute Rust code carefully, with extra checking along the way☆409Updated last week
- symbolic execution engine for Rust☆353Updated 6 years ago
- Count lines of LLVM IR per generic function☆442Updated 3 months ago
- RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.☆275Updated 3 years ago
- Contains a list of security related Rust projects.☆244Updated last year
- Demangle Rust symbols☆253Updated last year
- Coordination repository for the Secure Code Working Group☆162Updated 3 years ago
- Heap profiling and ad hoc profiling for Rust programs.☆792Updated 2 months ago
- Website for graphing performance of rustc☆662Updated this week
- Attribute macro to require that the compiler prove a function can't ever panic☆1,126Updated last month
- Make production Rust binaries auditable☆724Updated last week
- Whole program static stack analysis☆610Updated 6 months ago
- Experimental one-shot benchmarking/profiling harness for Rust☆607Updated 8 months ago
- supply-chain security for Rust☆709Updated last month