Alternatives and similar repositories for debuggingbook:

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

• SMAT-Lab / Scalpel
  Scalpel: The Python Static Analysis Framework
  ☆300Updated 10 months ago
• fuzzitdev / pythonfuzz
  coverage guided fuzz testing for python
  ☆226Updated 4 years ago
• bannsec / pySym
  Python Symbolic Execution
  ☆66Updated 5 years ago
• zhangyz / llvm-slicing
  Symbolic Program Slicing with LLVM
  ☆77Updated 4 years ago
• bstee615 / tree-climber
  Program analysis tools built on tree-sitter (https://github.com/tree-sitter/tree-sitter).
  ☆38Updated 11 months ago
• Microsvuln / Awesome-Grammar-Fuzzing
  A curated list of Grammar based fuzzing research papers, codes, tutorials
  ☆119Updated 2 years ago
• hub-se / BeDivFuzz
  ☆15Updated last week
• rindPHI / isla
  The ISLa (Input Specification Language) language & solver.
  ☆62Updated 7 months ago
• AFLplusplus / Grammar-Mutator
  A grammar-based custom mutator for AFL++
  ☆243Updated 7 months ago
• vitsalis / PyCG
  Static Python call graph generator
  ☆331Updated last year
• CMU-program-analysis / CMU-program-analysis.github.io
  Public-facing course info for program analysis materials.
  ☆39Updated 2 months ago
• sola-st / DynaPyt
  Dynamic analysis framework for Python
  ☆65Updated 3 months ago
• AngoraFuzzer / FuzzingRealProgramBenchStatistics
  List the real world programs evaluated in fuzzing papers.
  ☆53Updated 6 years ago
• hephaestus-compiler-project / hephaestus
  A framework for testing compilers' type checkers
  ☆52Updated 6 months ago
• cs-au-dk / goat
  ☆21Updated last year
• s3team / Polyglot
  ☆103Updated last year
• PLSysSec / sys
  Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code
  ☆225Updated 2 years ago
• ChijinZ / VisFuzz
  An interactive tool for better understanding and intervening fuzzing process via real-time visualization.
  ☆76Updated 2 years ago
• SRI-CSL / whole-program-llvm
  A toolkit for building whole-program LLVM bitcode files
  ☆76Updated 3 years ago
• dbgbench / dbgbench.github.io
  DBGBench Website:
  ☆18Updated 3 years ago
• vrthra / mimid
  Replication package for Mining Input Grammars From Dynamic Control Flow
  ☆24Updated 4 years ago
• HexHive / fuzzing-seed-selection
  "Seed Selection for Successful Fuzzing" artifact (at ISSTA 2021)
  ☆42Updated 2 years ago
• mboehme / pythia
  Pythia (extends AFL with Predictions)
  ☆62Updated 3 years ago
• aspire-project / chisel
  A System for Debloating C/C++ Programs
  ☆31Updated 3 years ago
• SanRazor-repo / SanRazor
  SanRazor is a sanitizer check reduction tool aiming to incur little overhead while retaining all important sanitizer checks.
  ☆53Updated 3 years ago
• google / centipede
  ☆253Updated last year
• wcventure / ConcurrencyPaper
  Concurrency Paper
  ☆102Updated last year
• vusec / parmesan
  ParmeSan: Sanitizer-guided Greybox Fuzzing
  ☆174Updated 10 months ago
• ltlfuzzer / LTL-Fuzzer
  Linear-time Temporal Logic guided Greybox Fuzzing (ICSE'22)
  ☆53Updated 10 months ago
• HexHive / Gramatron
  Coverage-guided grammar aware fuzzer that uses grammar automatons
  ☆66Updated 3 years ago