uds-se / debuggingbook
Project page for "The Debugging Book"
☆199Updated 2 weeks ago
Related projects ⓘ
Alternatives and complementary repositories for debuggingbook
- The ISLa (Input Specification Language) language & solver.☆62Updated 4 months ago
- A grammar-based custom mutator for AFL++☆234Updated 4 months ago
- Linear-time Temporal Logic guided Greybox Fuzzing (ICSE'22)☆52Updated 7 months ago
- A curated list of Grammar based fuzzing research papers, codes, tutorials☆115Updated 2 years ago
- Scalpel: The Python Static Analysis Framework☆296Updated 7 months ago
- Domain-Specific Fuzzing with Waypoints☆237Updated last year
- Dynamic analysis framework for Python☆59Updated last week
- Recent symbolic execution papers and tools.☆146Updated 3 weeks ago
- A dynamic control flow graph (CFG) reconstruction plugin for valgrind.☆111Updated 6 months ago
- Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code☆224Updated 2 years ago
- Variation of american fuzzy lop for testing compilers☆119Updated 2 years ago
- A library for building abstract interpretation-based analyses☆233Updated last month
- FormatFuzzer is a framework for high-efficiency, high-quality generation and parsing of binary inputs.☆397Updated 2 years ago
- GraphFuzz is an experimental framework for building structure-aware, library API fuzzers.☆254Updated 10 months ago
- Program analysis tools built on tree-sitter (https://github.com/tree-sitter/tree-sitter).☆38Updated 8 months ago
- FuSeBMC is a novel Energy-Efficient Test Generator that exploits fuzzing and BMC engines to detect security vulnerabilities in real-world…☆46Updated 7 months ago
- A ground-truth fuzzing benchmark suite based on real programs with real bugs.☆289Updated 4 months ago
- Tutorial on Symbolic Execution. Hands-on session is based on the angr framework.☆127Updated 3 years ago
- Python Symbolic Execution☆65Updated 5 years ago
- ☆75Updated last year
- A LLVM Sanitizer for Symbolic Tracing☆208Updated 2 months ago
- A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.☆162Updated 5 months ago
- ☆20Updated last year
- COM S 413/513 and CPR E 513 Program Analysis @ Iowa State University☆29Updated last year
- A grammar based feedback Fuzzer☆427Updated 3 months ago
- Create CFGs and compute complexity metrics for Python, C++, and Java code.☆41Updated 6 months ago
- A fuzzing framework for SMT solvers☆185Updated last year
- Public-facing course info for program analysis materials.☆37Updated this week
- Symbolic Program Slicing with LLVM☆77Updated 4 years ago
- A System for Debloating C/C++ Programs☆31Updated 3 years ago