rust-fuzz / honggfuzz-rs

Related projects: ⓘ

• rust-fuzz / trophy-case
  🏆 Collection of bugs uncovered by fuzzing Rust code
  ☆412Updated last month
• rust-fuzz / arbitrary
  Generating structured data from arbitrary, unstructured input.
  ☆711Updated this week
• loiclec / fuzzcheck-rs
  Modular, structure-aware, and feedback-driven fuzzing engine for Rust functions
  ☆432Updated last month
• rust-fuzz / libfuzzer
  Rust bindings and utilities for LLVM’s libFuzzer
  ☆210Updated 2 months ago
• rust-fuzz / cargo-fuzz
  Command line helpers for fuzzing
  ☆1,518Updated last week
• luser / rustfilt
  Demangle Rust symbols
  ☆236Updated last year
• japaric / rust-san
  How-to: Sanitize your Rust code!
  ☆425Updated 6 years ago
• trailofbits / siderophile
  Find the ideal fuzz targets in a Rust codebase
  ☆201Updated 3 months ago
• trailofbits / dylint
  Run Rust lints from dynamic libraries
  ☆369Updated this week
• rust-lang / rustc-demangle
  Rust symbol demangling
  ☆231Updated last month
• rust-fuzz / afl.rs
  🐇 Fuzzing Rust code with American Fuzzy Lop
  ☆1,621Updated this week
• Shnatsel / libdiffuzz
  Custom memory allocator that helps discover reads from uninitialized memory
  ☆163Updated 4 years ago
• dwrensha / seer
  symbolic execution engine for Rust
  ☆339Updated 6 years ago
• BurtonQin / lockbud
  Statically detect memory, concurrency bugs and possible panic locations for Rust.
  ☆426Updated last week
• rust-secure-code / wg
  Coordination repository for the Secure Code Working Group
  ☆149Updated 3 years ago
• rustsec / advisory-db
  Security advisory database for Rust crates published through crates.io
  ☆901Updated this week
• rust-secure-code / safety-dance
  Auditing crates for unsafe code which can be safely replaced
  ☆534Updated 2 years ago
• rust-secure-code / projects
  Contains a list of security related Rust projects.
  ☆225Updated 7 months ago
• rust-fuzz / targets
  🎯 A collection of fuzzing targets written in Rust.
  ☆105Updated 3 years ago
• japaric / cargo-call-stack
  Whole program static stack analysis
  ☆561Updated 6 months ago
• RustCrypto / utils
  Utility crates used in RustCrypto
  ☆429Updated last week
• mmastrac / rust-ctor
  Module initialization/global constructor functions for Rust
  ☆719Updated this week
• iqlusioninc / crates
  A collection of open source Rust crates from iqlusion
  ☆447Updated this week
• sslab-gatech / Rudra
  Rust Memory Safety & Undefined Behavior Detection
  ☆1,311Updated 6 months ago
• PLSysSec / haybale
  Symbolic execution of LLVM IR with an engine written in Rust
  ☆533Updated 10 months ago
• prove-rs / z3.rs
  Rust bindings for the Z3 solver.
  ☆338Updated last month
• project-oak / rust-verification-tools
  RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.
  ☆273Updated 2 years ago
• facebookexperimental / MIRAI
  Rust mid-level IR Abstract Interpreter
  ☆1,000Updated 3 weeks ago
• dtolnay / cargo-llvm-lines
  Count lines of LLVM IR per generic function
  ☆402Updated 2 weeks ago
• stouset / secrets
  Secure storage for cryptographic secrets in Rust
  ☆208Updated 2 months ago