Alternatives and similar repositories for debuggingbook:

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

• AFLplusplus / Grammar-Mutator
  A grammar-based custom mutator for AFL++
  ☆240Updated 6 months ago
• PLSysSec / sys
  Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code
  ☆224Updated 2 years ago
• Microsvuln / Awesome-Grammar-Fuzzing
  A curated list of Grammar based fuzzing research papers, codes, tutorials
  ☆118Updated 2 years ago
• ChijinZ / VisFuzz
  An interactive tool for better understanding and intervening fuzzing process via real-time visualization.
  ☆75Updated 2 years ago
• R-Fuzz / symsan
  A LLVM Sanitizer for Symbolic Tracing
  ☆212Updated 4 months ago
• rindPHI / isla
  The ISLa (Input Specification Language) language & solver.
  ☆62Updated 6 months ago
• bannsec / pySym
  Python Symbolic Execution
  ☆66Updated 5 years ago
• zhangyz / llvm-slicing
  Symbolic Program Slicing with LLVM
  ☆77Updated 4 years ago
• sslab-gatech / autofz
  autofz: Automated Fuzzer Composition at Runtime
  ☆76Updated last year
• eurecom-s3 / invscov
  The Use of Likely Invariants as Feedback for Fuzzers
  ☆88Updated 3 years ago
• GrammaTech / cgc-cbs
  Challenge binaries (CBs) and tools from DARPA's Cyber Grand Challenge (CGC)
  ☆17Updated 2 years ago
• SoftSec-KAIST / Fuzzle
  Fuzzle: Making a Puzzle for Fuzzers (ASE'22)
  ☆43Updated 10 months ago
• vusec / parmesan
  ParmeSan: Sanitizer-guided Greybox Fuzzing
  ☆174Updated 9 months ago
• SoftSec-KAIST / Ankou
  Ankou: Guiding Grey-box Fuzzing towards Combinatorial Difference (ICSE '20)
  ☆54Updated 4 years ago
• arichardson / juliet-test-suite-c
  ☆76Updated 2 years ago
• ispras / juliet-dynamic
  Juliet C/C++ Dynamic Test Suite
  ☆27Updated last year
• AngoraFuzzer / FuzzingRealProgramBenchStatistics
  List the real world programs evaluated in fuzzing papers.
  ☆53Updated 6 years ago
• ShiftLeftSecurity / llvm2cpg
  LLVM meets Code Property Graphs
  ☆90Updated 3 years ago
• ercoppa / symbolic-execution-tutorial
  Tutorial on Symbolic Execution. Hands-on session is based on the angr framework.
  ☆127Updated 3 years ago
• pfalcon / awesome-program-analysis
  Program Analisys and Transformation survey and links (particular focus on SSA)
  ☆161Updated 3 years ago
• fuzz-evaluator / guidelines
  ☆62Updated 10 months ago
• staticafi / symbiotic
  Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE
  ☆315Updated last month
• s3team / Polyglot
  ☆104Updated last year
• umnsec / crix
  Detect missing check bugs in OS kernels
  ☆109Updated last year
• gamozolabs / cookie_dough
  A fuzzing introspection tool
  ☆162Updated 4 years ago
• SoftSec-KAIST / Fuzzing-Survey
  The Art, Science, and Engineering of Fuzzing: A Survey
  ☆216Updated last month
• 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.
  ☆187Updated 2 years ago
• HexHive / magma
  A ground-truth fuzzing benchmark suite based on real programs with real bugs.
  ☆295Updated 6 months ago
• RUB-SysSec / aurora
  Usenix Security 2021 - AURORA: Statistical Crash Analysis for Automated Root Cause Explanation
  ☆153Updated 2 years ago