Alternatives and similar repositories for sidefuzz

Users that are interested in sidefuzz are comparing it to the libraries listed below

• trailofbits / siderophile
  Find the ideal fuzz targets in a Rust codebase
  ☆222Updated last month
• Shnatsel / libdiffuzz
  Custom memory allocator that helps discover reads from uninitialized memory
  ☆163Updated 5 years ago
• rust-fuzz / targets
  🎯 A collection of fuzzing targets written in Rust.
  ☆107Updated 4 years ago
• PLSysSec / veriwasm
  SFI verifier of Wasm binaries
  ☆83Updated 2 years ago
• PLSysSec / haybale-pitchfork
  Verifying constant-time code with symbolic execution
  ☆46Updated 4 years ago
• timmclean / rust-timing-shield
  Comprehensive timing leak protection for Rust programs https://www.chosenplaintext.ca/open-source/rust-timing-shield/
  ☆56Updated 2 years ago
• rust-secure-code / wg
  Coordination repository for the Secure Code Working Group
  ☆162Updated 4 years ago
• rust-fuzz / libfuzzer
  Rust bindings and utilities for LLVM’s libFuzzer
  ☆249Updated 5 months ago
• rust-fuzz / auto-fuzz-test
  Effortlessly fuzz libraries with large API surfaces
  ☆71Updated 4 years ago
• landaire / fazi
  drop-in replacement for libfuzzer
  ☆72Updated 4 months ago
• kino-mc / rsmt2
  A generic library to interact with SMT-LIB 2 compliant solvers running in a separate system process, such as Z3 and CVC4.
  ☆67Updated last year
• fitzgen / wasm-smith
  A WebAssembly test case generator
  ☆43Updated 5 years ago
• praezi / rust
  RustPräzi: Representing crates.io as a call-based dependency network
  ☆82Updated 6 years ago
• facebookarchive / propfuzz
  A Rust toolkit to combine property-based testing and fuzzing.
  ☆136Updated 3 years ago
• gamozolabs / fzero_fuzzer
  A fast Rust-based safe and thead-friendly grammar-based fuzz generator
  ☆221Updated 5 years ago
• rair-project / rair
  RAIR: RAdare In Rust
  ☆73Updated last year
• luser / rust-gdb-remote-protocol
  A Rust crate implementing the GDB Remote Serial Protocol
  ☆35Updated 4 years ago
• Fraunhofer-AISEC / DATA
  Differential Address Trace Analysis
  ☆62Updated last year
• dwrensha / seer
  symbolic execution engine for Rust
  ☆357Updated 7 years ago
• hacspec / rust-secret-integers
  Wrappers around Rust's integer to check for constant-time-compatible usage
  ☆23Updated 5 years ago
• fitzgen / synth-loop-free-prog
  Synthesis of Loop-free Programs in Rust
  ☆66Updated 5 years ago
• 0xADE1A1DE / CryptOpt
  CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives
  ☆64Updated last year
• unicorn-rs / unicorn-rs
  Rust bindings for the unicorn CPU emulator
  ☆144Updated 5 years ago
• PLSysSec / haybale
  Symbolic execution of LLVM IR with an engine written in Rust
  ☆569Updated 2 years ago
• nrc / xmas-elf
  elf parser and navigation tool, pure Rust
  ☆171Updated 9 months ago
• project-oak / rust-verification-tools
  RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.
  ☆276Updated 3 years ago
• novafacing / cannonball
  Deprecated! Use qemu-rs instead :)
  ☆72Updated 2 years ago
• maurer / bap-rust
  ☆14Updated 5 years ago
• hacspec / hacspec
  Please see https://github.com/hacspec/hax
  ☆245Updated last year
• cesarb / clear_on_drop
  Helpers for clearing sensitive data on the stack and heap
  ☆54Updated 6 months ago