ispras / crusher

Related projects ⓘ

Alternatives and complementary repositories for crusher

• ispras / oss-sydr-fuzz
  OSS-Sydr-Fuzz - OSS-Fuzz fork for hybrid fuzzing (fuzzer+DSE) open source software.
  ☆132Updated this week
• gardatech / bugbane
  tools for CI fuzzing automation
  ☆28Updated 6 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…
  ☆14Updated last month
• ispras / Futag
  FUTAG (FUzzing Target Automated Generator) - автоматический генератор фаззинг-оберток для библиотек
  ☆51Updated 10 months ago
• ispras / casr
  Collect crash (or UndefinedBehaviorSanitizer error) reports, triage, and estimate severity.
  ☆280Updated 3 months ago
• ispras / juliet-dynamic
  Juliet C/C++ Dynamic Test Suite
  ☆27Updated last year
• anfedotoff / gdb-command
  Library for manipulating gdb in batch mode
  ☆20Updated 8 months ago
• kaled-alshmrany / FuSeBMC
  FuSeBMC is a novel Energy-Efficient Test Generator that exploits fuzzing and BMC engines to detect security vulnerabilities in real-world…
  ☆46Updated 7 months ago
• ispras / sydr-benchmark
  Sydr benchmark applications
  ☆16Updated 2 years ago
• ltlfuzzer / LTL-Fuzzer
  Linear-time Temporal Logic guided Greybox Fuzzing (ICSE'22)
  ☆52Updated 7 months ago
• RUB-SysSec / ijon
  ☆188Updated 6 months ago
• AFLplusplus / fuzzer-challenges
  Challenging testcases for fuzzers
  ☆66Updated 8 months ago
• ispras / proceedings
  Proceedings of ISP RAS LaTeX Template
  ☆11Updated 4 years ago
• R-Fuzz / symsan
  A LLVM Sanitizer for Symbolic Tracing
  ☆208Updated 2 months ago
• vanhauser-thc / afl-cov
  Produce code coverage results with gcov from afl-fuzz test cases
  ☆69Updated 5 months ago
• stateafl / stateafl
  StateAFL: A Greybox Fuzzer for Stateful Network Servers
  ☆158Updated last year
• aflchurn / aflchurn
  A regression greybox fuzzer aflchurn
  ☆64Updated 2 years ago
• DeepseaPlatform / coastal
  Concolic analysis tool for Java
  ☆21Updated last year
• HexHive / Gramatron
  Coverage-guided grammar aware fuzzer that uses grammar automatons
  ☆63Updated 2 years ago
• yannicnoller / hydiff
  ☆25Updated 3 years ago
• R-Fuzz / jigsaw
  JIGSAW is a fuzzing-based path constraint solver.
  ☆68Updated 5 months ago
• 17451k / clade
  Clade is a tool for extracting information about software build process and source code
  ☆19Updated 11 months ago
• HexHive / fuzzing-seed-selection
  "Seed Selection for Successful Fuzzing" artifact (at ISSTA 2021)
  ☆41Updated 2 years ago
• arichardson / juliet-test-suite-c
  ☆75Updated 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.
  ☆181Updated 2 years ago
• SoftSec-KAIST / Ankou
  Ankou: Guiding Grey-box Fuzzing towards Combinatorial Difference (ICSE '20)
  ☆54Updated 4 years ago
• fuzzah / fuzzaide
  collection of helper tools for fuzzing
  ☆17Updated last year
• SVF-tools / Test-Suite
  PTABen: Micro-benchmark Suite for Pointer Analysis
  ☆72Updated last week
• AFLplusplus / AFL-Snapshot-LKM
  A Linux Kernel Module that implements a fast snapshot mechanism for fuzzing.
  ☆135Updated 3 years ago
• bajinsheng / ReZZan
  ☆36Updated 2 years ago