uds-se / debuggingbook
Project page for "The Debugging Book"
☆200Updated this week
Related projects ⓘ
Alternatives and complementary repositories for debuggingbook
- The ISLa (Input Specification Language) language & solver.☆60Updated 4 months ago
- The Art, Science, and Engineering of Fuzzing: A Survey☆208Updated 2 months ago
- A curated list of Grammar based fuzzing research papers, codes, tutorials☆115Updated 2 years ago
- A ground-truth fuzzing benchmark suite based on real programs with real bugs.☆289Updated 4 months ago
- A grammar-based custom mutator for AFL++☆234Updated 4 months ago
- FuSeBMC is a novel Energy-Efficient Test Generator that exploits fuzzing and BMC engines to detect security vulnerabilities in real-world…☆45Updated 7 months ago
- Python Symbolic Execution☆65Updated 5 years ago
- GraphFuzz is an experimental framework for building structure-aware, library API fuzzers.☆254Updated 9 months ago
- FormatFuzzer is a framework for high-efficiency, high-quality generation and parsing of binary inputs.☆397Updated 2 years ago
- Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE☆313Updated 2 weeks ago
- Symbolic Program Slicing with LLVM☆76Updated 4 years ago
- Tutorial on Symbolic Execution. Hands-on session is based on the angr framework.☆127Updated 3 years ago
- Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code☆224Updated 2 years ago
- An interactive tool for better understanding and intervening fuzzing process via real-time visualization.☆75Updated 2 years ago
- KLEE / CSE Project☆43Updated 4 years ago
- UT based automated fuzz driver generation☆164Updated 3 months ago
- Linear-time Temporal Logic guided Greybox Fuzzing (ICSE'22)☆52Updated 7 months ago
- A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.☆160Updated 5 months ago
- A LLVM Sanitizer for Symbolic Tracing☆208Updated 2 months ago
- ParmeSan: Sanitizer-guided Greybox Fuzzing☆172Updated 6 months ago
- A framework for testing compilers' type checkers☆50Updated 3 months ago
- Superion is a fuzzer which extends the famous AFL to support structured inputs such as JavaScript and XML.☆127Updated 2 years ago
- ☆296Updated 3 years ago
- ☆54Updated 8 months ago
- PTABen: Micro-benchmark Suite for Pointer Analysis☆72Updated last week
- Create CFGs and compute complexity metrics for Python, C++, and Java code.☆41Updated 6 months ago
- Usenix Security 2021 - AURORA: Statistical Crash Analysis for Automated Root Cause Explanation☆150Updated 2 years ago
- ☆73Updated last year
- Domain-Specific Fuzzing with Waypoints☆236Updated last year
- UBGen can generate programs with undefined behaviors (e.g., buffer-overflow, use-after-free, etc.)☆54Updated 7 months ago