Alternatives and similar repositories for debuggingbook

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

• bannsec / pySym
  Python Symbolic Execution
  ☆72Updated 6 years ago
• 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.
  ☆195Updated 3 years ago
• PLSysSec / sys
  Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code
  ☆236Updated 3 years ago
• Microsvuln / Awesome-Grammar-Fuzzing
  A curated list of Grammar based fuzzing research papers, codes, tutorials
  ☆129Updated 3 years ago
• renatahodovan / grammarinator
  ANTLR v4 grammar-based test generator
  ☆407Updated last week
• vrthra / mimid
  Replication package for Mining Input Grammars From Dynamic Control Flow
  ☆27Updated 5 years ago
• rindPHI / isla
  The ISLa (Input Specification Language) language & solver.
  ☆71Updated last year
• ercoppa / symbolic-execution-tutorial
  Tutorial on Symbolic Execution. Hands-on session is based on the angr framework.
  ☆135Updated 4 years ago
• codersguild / Software-Analysis-PAVT
  Program Analysis, Software Verification & Testing. Python3, CAS, Dafny, Z3, CVC4, UCLID, ZChaff, NuSMV, AFL, Scala, CBMC & LLVM Framework…
  ☆39Updated 2 years ago
• rohanpadhye / FuzzFactory
  Domain-Specific Fuzzing with Waypoints
  ☆240Updated 2 years ago
• AFLplusplus / Grammar-Mutator
  A grammar-based custom mutator for AFL++
  ☆267Updated last month
• davidtr1037 / chopper
  KLEE / CSE Project
  ☆47Updated 5 years ago
• pfalcon / awesome-program-analysis
  Program Analisys and Transformation survey and links (particular focus on SSA)
  ☆172Updated 4 years ago
• wasmerio / wasm-fuzz
  Fuzzer for Wasm and Wasmer
  ☆33Updated 5 years ago
• rimsa / CFGgrind
  A dynamic control flow graph (CFG) reconstruction plugin for valgrind.
  ☆130Updated last week
• cmu-pasta / mu2
  Mutation-guided mutation-based fuzz testing
  ☆50Updated last year
• zhangyz / llvm-slicing
  Symbolic Program Slicing with LLVM
  ☆84Updated 5 years ago
• codespecs / daikon
  Dynamic detection of likely invariants
  ☆244Updated last week
• vusec / parmesan
  ParmeSan: Sanitizer-guided Greybox Fuzzing
  ☆177Updated last year
• SoftSec-KAIST / Ankou
  Ankou: Guiding Grey-box Fuzzing towards Combinatorial Difference (ICSE '20)
  ☆54Updated 5 years ago
• SMAT-Lab / Scalpel
  Scalpel: The Python Static Analysis Framework
  ☆323Updated last year
• mc-imperial / jfs
  Constraint solver based on coverage-guided fuzzing
  ☆249Updated 2 years ago
• gamozolabs / cookie_dough
  A fuzzing introspection tool
  ☆167Updated 5 years ago
• agroce / afl-compiler-fuzzer
  Variation of american fuzzy lop for testing compilers
  ☆126Updated 3 years ago
• ispras / juliet-dynamic
  Juliet C/C++ Dynamic Test Suite
  ☆33Updated 2 years ago
• HexHive / Gramatron
  Coverage-guided grammar aware fuzzer that uses grammar automatons
  ☆75Updated 4 years ago
• fuzzitdev / pythonfuzz
  coverage guided fuzz testing for python
  ☆229Updated 5 years ago
• R-Fuzz / symsan
  A LLVM Sanitizer for Symbolic Tracing
  ☆228Updated last week
• hgarrereyn / GraphFuzz
  GraphFuzz is an experimental framework for building structure-aware, library API fuzzers.
  ☆270Updated 2 years ago
• trailofbits / polytracker
  An LLVM-based instrumentation tool for universal taint tracking, dataflow analysis, and tracing.
  ☆587Updated 9 months ago