uds-se / debuggingbook
Project page for "The Debugging Book"
☆220Updated this week
Alternatives and similar repositories for debuggingbook:
Users that are interested in debuggingbook are comparing it to the libraries listed below
- A framework for testing compilers' type checkers☆52Updated 7 months ago
- The ISLa (Input Specification Language) language & solver.☆63Updated 8 months ago
- A curated list of Grammar based fuzzing research papers, codes, tutorials☆122Updated 2 years ago
- Scalpel: The Python Static Analysis Framework☆306Updated last year
- Python Symbolic Execution☆67Updated 5 years ago
- Domain-Specific Fuzzing with Waypoints☆237Updated last year
- autofz: Automated Fuzzer Composition at Runtime☆76Updated last year
- Mutation-guided mutation-based fuzz testing☆44Updated 8 months ago
- GrayC: Greybox Fuzzing of Compilers and Analysers for C☆58Updated last year
- GraphFuzz is an experimental framework for building structure-aware, library API fuzzers.☆258Updated last year
- Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code☆227Updated 3 years ago
- 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
- A grammar-based custom mutator for AFL++☆249Updated 9 months ago
- Fuzzle: Making a Puzzle for Fuzzers (ASE'22)☆45Updated last year
- Symbolic Program Slicing with LLVM☆79Updated 4 years ago
- A LLVM Sanitizer for Symbolic Tracing☆218Updated 6 months ago
- ParmeSan: Sanitizer-guided Greybox Fuzzing☆176Updated 11 months ago
- ☆104Updated last year
- AFL++ with support for FormatFuzzer☆13Updated 2 years ago
- Keep your bugs contained. A platform for studying historical software bugs.☆68Updated 2 months ago
- Linear-time Temporal Logic guided Greybox Fuzzing (ICSE'22)☆54Updated 11 months ago
- Thesis code☆26Updated last year
- ☆80Updated this week
- A ground-truth fuzzing benchmark suite based on real programs with real bugs.☆304Updated 8 months ago
- ☆82Updated 6 months ago
- ☆32Updated 3 weeks ago
- Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE☆320Updated last week
- Program analysis tools built on tree-sitter (https://github.com/tree-sitter/tree-sitter).☆38Updated last year
- Coverage-guided grammar aware fuzzer that uses grammar automatons☆66Updated 3 years ago
- UBGen can generate programs with undefined behaviors (e.g., buffer-overflow, use-after-free, etc.)☆57Updated 11 months ago