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 3 weeks ago
• ispras / juliet-dynamic
  Juliet C/C++ Dynamic Test Suite
  ☆30Updated 2 years 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 3 months ago
• ispras / casr
  Collect crash (or UndefinedBehaviorSanitizer error) reports, triage, and estimate severity.
  ☆331Updated 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) - автоматический генератор фаззинг-оберток для библиотек
  ☆53Updated last week
• google / centipede
  ☆252Updated 2 years ago
• eurecom-s3 / symqemu
  SymQEMU: Compilation-based symbolic execution for binaries
  ☆358Updated 5 months ago
• fatimahkj / EBF
  A Hybrid Verification Tool for Finding Software Vulnerabilities in IoT Cryptographic Protocols
  ☆16Updated 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 2 years ago
• anfedotoff / gdb-command
  Library for manipulating gdb in batch mode
  ☆20Updated last year
• arichardson / juliet-test-suite-c
  ☆94Updated 6 months ago
• R-Fuzz / symsan
  A LLVM Sanitizer for Symbolic Tracing
  ☆225Updated 3 months ago
• RUB-SysSec / ijon
  ☆199Updated last month
• seahorn / clam
  Static Analyzer for LLVM bitcode based on Abstract Interpretation. **Update**: clam is still actively maintained. Please use branch dev1…
  ☆280Updated last year
• ispras / proceedings
  Proceedings of ISP RAS LaTeX Template
  ☆13Updated 5 years ago
• srg-imperial / GrayC
  GrayC: Greybox Fuzzing of Compilers and Analysers for C
  ☆60Updated last year
• AFLplusplus / afl-cov
  Produce code coverage results with gcov from afl-fuzz test cases
  ☆87Updated 9 months ago
• ltlfuzzer / LTL-Fuzzer
  Linear-time Temporal Logic guided Greybox Fuzzing (ICSE'22)
  ☆56Updated last year
• seahorn / crab
  A library for building abstract interpretation-based analyses. **Update**: crab is still actively maintained. Please use branch dev.
  ☆246Updated 11 months ago
• AFLplusplus / Grammar-Mutator
  A grammar-based custom mutator for AFL++
  ☆260Updated last year
• seahorn / sea-dsa
  A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.
  ☆165Updated last month
• HexHive / FuzzGen
  ☆307Updated 4 years ago
• PLSysSec / sys
  Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code
  ☆232Updated 3 years ago
• paulgazz / kmax
  A collection of analysis tools for Kconfig and Kbuild constraints.
  ☆58Updated 5 months ago
• seclab-ucr / UBITect
  ☆42Updated 2 years ago
• stateafl / stateafl
  StateAFL: A Greybox Fuzzer for Stateful Network Servers
  ☆170Updated 2 years ago
• niconaus / PCode-Dump
  ☆19Updated 2 years ago