Alternatives and similar repositories for symrustc

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

• anfedotoff / gdb-command
  Library for manipulating gdb in batch mode
  ☆20Updated last year
• tlspuffin / tlspuffin
  A Dolev-Yao-model-guided fuzzer for TLS
  ☆149Updated this week
• AFLplusplus / cargo-libafl
  Fuzz Rust code with LibAFL
  ☆62Updated 2 years ago
• binsec / rosa
  ROSA: Finding Backdoors with Fuzzing
  ☆25Updated 5 months ago
• nyx-fuzz / libnyx
  ☆91Updated 8 months ago
• AFLplusplus / StdFuzzer
  StdFuzzer is the reference implementation of a generic bit-level fuzzer with LibAFL
  ☆48Updated last year
• eurecom-s3 / invscov
  The Use of Likely Invariants as Feedback for Fuzzers
  ☆93Updated 3 years ago
• trailofbits / vast-checker
  ☆27Updated 2 years ago
• season-lab / fuzzy-sat
  An approximate solver for concolic execution
  ☆20Updated 7 months ago
• bajinsheng / ReZZan
  ☆39Updated 3 years ago
• sslab-gatech / autofz
  autofz: Automated Fuzzer Composition at Runtime
  ☆84Updated 2 years ago
• andreafioraldi / libafl_quickjs_fuzzing
  An example fuzzer about how to fuzz a JS engine combinign Nautilus with Token-level fuzzing
  ☆47Updated last year
• AFLplusplus / fuzzer-challenges
  Challenging testcases for fuzzers
  ☆72Updated last year
• fkie-cad / butterfly
  LibAFL components for stateful fuzzing
  ☆52Updated 3 years ago
• novafacing / practical-fuzzing
  Practical fuzzing tutorials and training
  ☆31Updated last year
• 0xricksanchez / AFL_Runner
  Scaling best-practice AFLPlusPlus fuzzing campaigns made easy and more
  ☆73Updated 7 months ago
• nyx-fuzz / spec-fuzzer
  ☆45Updated 3 years ago
• AFLplusplus / tinyinst-rs
  Rust bindings for googleprojectzero/TinyInst
  ☆25Updated 3 weeks ago
• R-Fuzz / jigsaw
  JIGSAW is a fuzzing-based path constraint solver.
  ☆70Updated last year
• fkie-cad / squid
  RISC-V emulator for high-performance fuzzing with AOT instead of JIT compilation 🦑
  ☆22Updated 6 months ago
• LiHRaM / taint
  Thesis code
  ☆26Updated 2 years ago
• novafacing / libc-fuzzer
  A fuzzer setup to fuzz libc functions.
  ☆16Updated 3 years ago
• HexHive / Gramatron
  Coverage-guided grammar aware fuzzer that uses grammar automatons
  ☆74Updated 4 years ago
• adrianherrera / ball-larus-fuzz
  AFL++ using the Ball-Larus path profiling algorithm for coverage feedback
  ☆15Updated 3 years ago
• z2-2z / peacock
  Fast and effective grammar-based fuzzing based on Gramatron
  ☆15Updated 8 months ago
• SoftSec-KAIST / Fuzzle
  Fuzzle: Making a Puzzle for Fuzzers (ASE'22)
  ☆44Updated last year
• AFLplusplus / libafl_fuzzbench
  Fuzzers implemented with libafl to evaluate several techniques on fuzzbench
  ☆13Updated last year
• CISPA-SysSec / wasmfuzz
  WebAssembly as a Fuzzing Compilation Target @ FUZZING'24
  ☆17Updated last month
• vusec / triereme
  ☆16Updated 2 years ago
• agroce / afl-compiler-fuzzer
  Variation of american fuzzy lop for testing compilers
  ☆125Updated 3 years ago