Alternatives and similar repositories for fuzz

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

• tum-i4 / munch
  Greybox fuzzer for optimizing function coverage and finding low-level vulnerabilities in C programs
  ☆38Updated 6 years ago
• andreafioraldi / FuzzSplore
  FuzzSplore: Visualizing Feedback-Driven Fuzzing Techniques
  ☆37Updated 5 years ago
• DonggeLiu / Legion
  A coverage-based software testing tool
  ☆34Updated 5 years ago
• vrthra / F1
  ☆82Updated 5 months ago
• dvorak42 / confuzzer
  Concolic Execution Fuzzer
  ☆24Updated 4 years ago
• dyninst / tools
  Tools built using Dyninst or Dyninst component libraries.
  ☆25Updated 2 years ago
• S2E / s2e-linux-kernel
  Linux kernels (CGC DECREE and vanilla) with S2E extensions
  ☆24Updated last year
• ShiftLeftSecurity / fuzzyc2cpg
  A fuzzy parser for C/C++ that creates semantic code property graphs
  ☆37Updated 5 years ago
• ucsb-seclab / sasi
  Signedness-Agnostic Strided-Interval
  ☆38Updated 6 years ago
• season-lab / memsight
  MemSight: Rethinking Pointer Reasoning in Symbolic Execution (ASE 2017)
  ☆25Updated last year
• hksecurity / FuzzBuilder
  ☆47Updated 5 years ago
• Samsung / afl_cc
  Fuzzing with controlled compilation
  ☆31Updated 2 years ago
• tracer-x / TracerX
  TracerX Symbolic Virtual Machine
  ☆32Updated 4 months ago
• ucsb-seclab / autofacts
  Towards Automatically Generating a Sound and Complete Dataset for Evaluating Static Analysis Tools
  ☆14Updated 6 years ago
• ijon-afl / ijon-data
  experiments for IJON
  ☆12Updated 6 years ago
• uds-se / lFuzzer
  Fuzzing Parsers with Tokens
  ☆33Updated 5 years ago
• nettrino / slowfuzz
  ☆53Updated 8 years ago
• securesystemslab / sanitizing-for-security-benchmarks
  ☆25Updated 7 years ago
• bitblaze-fuzzball / d-s-se-directed-tests
  Binary dynamic, static, and symbolic execution analysis tools for directed test generation
  ☆22Updated 6 years ago
• HexHive / HexVASAN
  ☆17Updated 6 years ago
• HexHive / Gramatron
  Coverage-guided grammar aware fuzzer that uses grammar automatons
  ☆75Updated 4 years ago
• AFLplusplus / fuzzer-challenges
  Challenging testcases for fuzzers
  ☆72Updated last year
• SVL-PSU / crete-dev
  CRETE under development
  ☆60Updated 5 years ago
• trailofbits / KRFAnalysis
  Collection of LLVM passes and triage tools for use with the KRF fuzzer
  ☆38Updated 3 years ago
• haoxintu / FastKLEE
  FastKLEE: Faster Symbolic Execution via Reducing Redundant Bound Checking of Type-Safe Pointers
  ☆22Updated 2 years ago
• dwat3r / slicer
  Slicing tool for c++ programs using clang AST.
  ☆18Updated 4 years ago
• davidtr1037 / chopper
  KLEE / CSE Project
  ☆47Updated 5 years ago
• lifting-bits / klee
  KLEE Symbolic Execution Engine
  ☆60Updated 6 years ago
• avatartwo / avatar-qemu
  QEmu backend for avatar²
  ☆21Updated 10 months ago
• patchloc / VulnLoc
  ☆12Updated 4 years ago