uds-se / debuggingbook
Project page for "The Debugging Book"
☆223Updated last week
Alternatives and similar repositories for debuggingbook:
Users that are interested in debuggingbook are comparing it to the libraries listed below
- A curated list of Grammar based fuzzing research papers, codes, tutorials☆121Updated 2 years ago
- The ISLa (Input Specification Language) language & solver.☆63Updated 9 months ago
- Python Symbolic Execution☆67Updated 5 years ago
- Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code☆228Updated 3 years ago
- A framework for testing compilers' type checkers☆52Updated 8 months ago
- Dynamic analysis framework for Python☆69Updated 5 months ago
- A grammar-based custom mutator for AFL++☆252Updated 9 months ago
- Mutation-guided mutation-based fuzz testing☆45Updated 9 months ago
- ☆82Updated 7 months ago
- Public-facing course info for program analysis materials.☆41Updated 4 months ago
- Scalpel: The Python Static Analysis Framework☆309Updated last year
- Superion is a fuzzer which extends the famous AFL to support structured inputs such as JavaScript and XML.☆133Updated 2 years ago
- Program analysis tools built on tree-sitter (https://github.com/tree-sitter/tree-sitter).☆38Updated last year
- A ground-truth fuzzing benchmark suite based on real programs with real bugs.☆305Updated 9 months ago
- An interactive tool for better understanding and intervening fuzzing process via real-time visualization.☆76Updated 2 years ago
- Time-travel Testing☆106Updated 2 years ago
- Concurrency Paper☆102Updated last year
- Domain-Specific Fuzzing with Waypoints☆235Updated 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.☆191Updated 2 years ago
- GraphFuzz is an experimental framework for building structure-aware, library API fuzzers.☆262Updated last year
- language-agnostic program reducer.☆186Updated last month
- Symbolic Program Slicing with LLVM☆79Updated 4 years ago
- ParmeSan: Sanitizer-guided Greybox Fuzzing☆177Updated last year
- User Guided API Misuse Detection☆29Updated 2 years ago
- COM S 413/513 and CPR E 513 Program Analysis @ Iowa State University☆30Updated last year
- Program Analisys and Transformation survey and links (particular focus on SSA)☆168Updated 4 years ago
- ☆105Updated last year
- Coverage-guided grammar aware fuzzer that uses grammar automatons☆66Updated 3 years ago
- Software Security Analysis Course☆58Updated last month
- ☆32Updated last month