uds-se / debuggingbookLinks
Project page for "The Debugging Book"
☆247Updated 4 months ago
Alternatives and similar repositories for debuggingbook
Users that are interested in debuggingbook are comparing it to the libraries listed below
Sorting:
- Python Symbolic Execution☆71Updated 6 years ago
- The ISLa (Input Specification Language) language & solver.☆70Updated last year
- A dynamic control flow graph (CFG) reconstruction plugin for valgrind.☆125Updated 3 weeks ago
- Mutation-guided mutation-based fuzz testing☆47Updated last year
- 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.☆194Updated 2 years ago
- Program Analisys and Transformation survey and links (particular focus on SSA)☆166Updated 4 years ago
- A curated list of Grammar based fuzzing research papers, codes, tutorials☆124Updated 3 years ago
- Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE☆329Updated 3 months ago
- A framework for testing compilers' type checkers☆55Updated last year
- Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code☆232Updated 3 years ago
- KLEE / CSE Project☆46Updated 5 years ago
- A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.☆164Updated last year
- Scalpel: The Python Static Analysis Framework☆315Updated last year
- Replication package for Mining Input Grammars From Dynamic Control Flow☆25Updated 5 years ago
- Tutorial on Symbolic Execution. Hands-on session is based on the angr framework.☆135Updated 4 years ago
- ☆82Updated last week
- Domain-Specific Fuzzing with Waypoints☆237Updated 2 years ago
- Constraint solver based on coverage-guided fuzzing☆248Updated last year
- ANTLR v4 grammar-based test generator☆380Updated last week
- Fuzzer for Wasm and Wasmer☆32Updated 5 years ago
- Variation of american fuzzy lop for testing compilers☆123Updated 3 years ago
- LLVM meets Code Property Graphs☆93Updated 4 years ago
- Symbolic Program Slicing with LLVM☆82Updated 5 years ago
- CodeHawk Abstract Interpretation Engine and Analyzers☆69Updated last week
- GrayC: Greybox Fuzzing of Compilers and Analysers for C☆59Updated last year
- cclyzer++ is a precise and scalable pointer analysis for LLVM code.☆144Updated 7 months ago
- Dynamic detection of likely invariants☆229Updated 2 weeks ago
- Parallel Delta Debugging Framework☆53Updated 8 months ago
- A grammar-based custom mutator for AFL++☆257Updated last year
- A toolkit for building whole-program LLVM bitcode files☆78Updated 4 years ago