Alternatives and similar repositories for crusher

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

• gardatech / bugbane
  tools for CI fuzzing automation
  ☆33Updated 2 months ago
• ispras / oss-sydr-fuzz
  OSS-Sydr-Fuzz - OSS-Fuzz fork for hybrid fuzzing (fuzzer+DSE) open source software.
  ☆142Updated last week
• ispras / juliet-dynamic
  Juliet C/C++ Dynamic Test Suite
  ☆30Updated 2 years ago
• ispras / casr
  Collect crash (or UndefinedBehaviorSanitizer error) reports, triage, and estimate severity.
  ☆334Updated 2 months ago
• postgrespro / libblobstamper
  Framework for Structure Aware Fuzzing. Allows to build own stamps that would convert pulp-data that came from fuzzer to data with structu…
  ☆17Updated 4 months ago
• ispras / sydr-benchmark
  Sydr benchmark applications
  ☆16Updated 3 years ago
• yandex-cloud / go-protobuf-mutator
  This is a go-protobuf-mutator library for random value mutations. This is a Go equivalent of libprotobuf-mutator, which is implemented in…
  ☆35Updated last month
• ispras / Futag
  FUTAG (FUzzing Target Automated Generator) - автоматический генератор фаззинг-оберток для библиотек
  ☆56Updated last month
• anfedotoff / gdb-command
  Library for manipulating gdb in batch mode
  ☆20Updated last year
• GaloisInc / MATE
  MATE is a suite of tools for interactive program analysis with a focus on hunting for bugs in C and C++ code using Code Property Graphs.
  ☆196Updated 3 years ago
• draperlaboratory / cbat_tools
  Program analysis tools developed at Draper on the CBAT project.
  ☆104Updated 2 years ago
• ispras / proceedings
  Proceedings of ISP RAS LaTeX Template
  ☆13Updated 5 years ago
• AFLplusplus / Grammar-Mutator
  A grammar-based custom mutator for AFL++
  ☆261Updated last year
• google / centipede
  ☆252Updated 2 years ago
• RUB-SysSec / ijon
  ☆200Updated 2 months ago
• AFLplusplus / afl-cov
  Produce code coverage results with gcov from afl-fuzz test cases
  ☆89Updated 10 months ago
• eurecom-s3 / symqemu
  SymQEMU: Compilation-based symbolic execution for binaries
  ☆361Updated 6 months ago
• R-Fuzz / symsan
  A LLVM Sanitizer for Symbolic Tracing
  ☆227Updated 4 months ago
• ldv-klever / klever
  Read-only mirror of the Klever Git repository
  ☆24Updated last week
• mc-imperial / jfs
  Constraint solver based on coverage-guided fuzzing
  ☆249Updated last year
• rohanpadhye / FuzzFactory
  Domain-Specific Fuzzing with Waypoints
  ☆238Updated 2 years ago
• agroce / afl-compiler-fuzzer
  Variation of american fuzzy lop for testing compilers
  ☆124Updated 3 years ago
• srg-imperial / GrayC
  GrayC: Greybox Fuzzing of Compilers and Analysers for C
  ☆60Updated last year
• PLSysSec / sys
  Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code
  ☆233Updated 3 years ago
• sfu-rsl / symrustc
  SymRustC is a hybrid fuzzer for Rust combining concolic execution using SymCC and fuzzing using LibAFL.
  ☆11Updated 2 years ago
• paulgazz / kmax
  A collection of analysis tools for Kconfig and Kbuild constraints.
  ☆62Updated 3 weeks ago
• binsec / binsec
  BINSEC binary-level open-source platform
  ☆373Updated 4 months ago
• sslab-gatech / autofz
  autofz: Automated Fuzzer Composition at Runtime
  ☆83Updated 2 years ago
• fatimahkj / EBF
  A Hybrid Verification Tool for Finding Software Vulnerabilities in IoT Cryptographic Protocols
  ☆16Updated last year
• seahorn / clam
  Static Analyzer for LLVM bitcode based on Abstract Interpretation. **Update**: clam is still actively maintained. Please use branch dev1…
  ☆283Updated last year