uds-se / fuzzingbook

Related projects ⓘ

Alternatives and complementary repositories for fuzzingbook

• ksluckow / awesome-symbolic-execution
  A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.
  ☆1,337Updated last month
• mykter / afl-training
  Exercises to learn how to fuzz with American Fuzzy Lop
  ☆1,227Updated 2 years ago
• strongcourage / awesome-directed-fuzzing
  A curated list of awesome directed fuzzing research papers
  ☆473Updated last month
• Dor1s / libfuzzer-workshop
  Repository for materials of "Modern fuzzing of C/C++ Projects" workshop.
  ☆1,252Updated last year
• google / fuzzer-test-suite
  Set of tests for fuzzing engines
  ☆1,431Updated 3 years ago
• sslab-gatech / qsym
  QSYM: A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing
  ☆631Updated last year
• Microsvuln / Awesome-AFL
  A curated list of different AFL forks and AFL inspired fuzzers with detailed equivalent academic papers and AFL-fuzzing tutorials
  ☆534Updated 11 months ago
• eurecom-s3 / symcc
  SymCC: efficient compiler-based symbolic execution
  ☆789Updated 4 months ago
• AngoraFuzzer / Angora
  Angora is a mutation-based fuzzer. The main goal of Angora is to increase branch coverage by solving path constraints without symbolic e…
  ☆925Updated 2 years ago
• aflnet / aflnet
  AFLNet: A Greybox Fuzzer for Network Protocols (https://thuanpv.github.io/publications/AFLNet_ICST20.pdf)
  ☆872Updated 3 months ago
• wcventure / FuzzingPaper
  Recent Fuzzing Paper
  ☆2,469Updated last month
• aflgo / aflgo
  Directed Greybox Fuzzing with AFL
  ☆503Updated 8 months ago
• shellphish / driller
  Driller: augmenting AFL with symbolic execution!
  ☆904Updated 2 years ago
• fengjixuchui / FuzzingPaper
  Recent Fuzzing Paper
  ☆348Updated 4 years ago
• google / fuzzbench
  FuzzBench - Fuzzer benchmarking as a service.
  ☆1,108Updated last month
• enzet / symbolic-execution
  History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)
  ☆486Updated 2 months ago
• nautilus-fuzz / nautilus
  A grammar based feedback Fuzzer
  ☆425Updated 3 months ago
• HexHive / retrowrite
  RetroWrite -- Retrofitting compiler passes through binary rewriting
  ☆680Updated 6 months ago
• aflsmart / aflsmart
  Smart Greybox Fuzzing (https://thuanpv.github.io/publications/TSE19_aflsmart.pdf)
  ☆506Updated 2 years ago
• cpuu / awesome-fuzzing
  A curated list of awesome Fuzzing(or Fuzz Testing) for software security
  ☆844Updated last year
• S2E / s2e
  S2E: A platform for multi-path program analysis with selective symbolic execution.
  ☆451Updated 3 weeks ago
• fkie-cad / cwe_checker
  cwe_checker finds vulnerable patterns in binary executables
  ☆1,130Updated 3 months ago
• bsauce / kernel-security-learning
  Anything about kernel security. CTF kernel pwn, kernel exploit, kernel fuzz and kernel defense paper, kernel debugging technique, kernel…
  ☆639Updated last week
• GJDuck / e9patch
  A powerful static binary rewriting tool
  ☆983Updated 3 months ago
• klee / klee
  KLEE Symbolic Execution Engine
  ☆2,649Updated 2 weeks ago
• googleprojectzero / fuzzilli
  A JavaScript Engine Fuzzer
  ☆1,893Updated this week
• 0xricksanchez / paper_collection
  Academic papers related to fuzzing, binary analysis, and exploit dev, which I want to read or have already read
  ☆1,233Updated 2 weeks ago
• HexHive / magma
  A ground-truth fuzzing benchmark suite based on real programs with real bugs.
  ☆289Updated 4 months ago
• secure-software-engineering / phasar
  A LLVM-based static analysis framework.
  ☆942Updated last week
• uds-se / FormatFuzzer
  FormatFuzzer is a framework for high-efficiency, high-quality generation and parsing of binary inputs.
  ☆397Updated 2 years ago