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 last month
• ispras / oss-sydr-fuzz
  OSS-Sydr-Fuzz - OSS-Fuzz fork for hybrid fuzzing (fuzzer+DSE) open source software.
  ☆141Updated 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.
  ☆327Updated last week
• 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 last month
• 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 week
• ispras / sydr-benchmark
  Sydr benchmark applications
  ☆17Updated 3 years ago
• ispras / Futag
  FUTAG (FUzzing Target Automated Generator) - автоматический генератор фаззинг-оберток для библиотек
  ☆52Updated last week
• ispras / proceedings
  Proceedings of ISP RAS LaTeX Template
  ☆13Updated 5 years ago
• 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.
  ☆194Updated 2 years ago
• srg-imperial / GrayC
  GrayC: Greybox Fuzzing of Compilers and Analysers for C
  ☆59Updated last year
• ldv-klever / klever
  Read-only mirror of the Klever Git repository
  ☆23Updated last month
• anfedotoff / gdb-command
  Library for manipulating gdb in batch mode
  ☆20Updated last year
• PLSysSec / sys
  Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code
  ☆232Updated 3 years ago
• SanRazor-repo / SanRazor
  SanRazor is a sanitizer check reduction tool aiming to incur little overhead while retaining all important sanitizer checks.
  ☆53Updated 4 years ago
• ltlfuzzer / LTL-Fuzzer
  Linear-time Temporal Logic guided Greybox Fuzzing (ICSE'22)
  ☆54Updated last year
• sslab-gatech / autofz
  autofz: Automated Fuzzer Composition at Runtime
  ☆82Updated last year
• AFLplusplus / afl-cov
  Produce code coverage results with gcov from afl-fuzz test cases
  ☆87Updated 8 months ago
• RUB-SysSec / ijon
  ☆196Updated last year
• SVF-tools / Test-Suite
  PTABen: Micro-benchmark Suite for Pointer Analysis
  ☆78Updated this week
• fatimahkj / EBF
  A Hybrid Verification Tool for Finding Software Vulnerabilities in IoT Cryptographic Protocols
  ☆16Updated last year
• google / centipede
  ☆253Updated 2 years ago
• RiS3-Lab / kubo
  Use on-demand control- data- flow slicing combined with taint analysis and symbolic execution to produce scalable and precise UB detectio…
  ☆25Updated 3 years ago
• seclab-ucr / UBITect
  ☆41Updated 2 years ago
• mc-imperial / jfs
  Constraint solver based on coverage-guided fuzzing
  ☆248Updated last year
• R-Fuzz / symsan
  A LLVM Sanitizer for Symbolic Tracing
  ☆223Updated last month
• HexHive / FuzzGen
  ☆305Updated 4 years ago
• eurecom-s3 / symqemu
  SymQEMU: Compilation-based symbolic execution for binaries
  ☆355Updated 3 months ago
• AFLplusplus / Grammar-Mutator
  A grammar-based custom mutator for AFL++
  ☆257Updated last year
• arichardson / juliet-test-suite-c
  ☆87Updated 5 months ago