uds-se / debuggingbookLinks
Project page for "The Debugging Book"
☆269Updated last month
Alternatives and similar repositories for debuggingbook
Users that are interested in debuggingbook are comparing it to the libraries listed below
Sorting:
- Python Symbolic Execution☆72Updated 6 years ago
- A curated list of Grammar based fuzzing research papers, codes, tutorials☆128Updated 3 years ago
- Scalpel: The Python Static Analysis Framework☆324Updated last year
- The ISLa (Input Specification Language) language & solver.☆72Updated 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.☆197Updated 3 years ago
- Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code☆234Updated 3 years ago
- A grammar-based custom mutator for AFL++☆267Updated last year
- ☆78Updated 3 years ago
- Dynamic Analysis for Concurrent Programs☆27Updated last year
- ANTLR v4 grammar-based test generator☆399Updated 2 weeks ago
- Mutation-guided mutation-based fuzz testing☆50Updated last year
- Replication package for Mining Input Grammars From Dynamic Control Flow☆25Updated 5 years ago
- A fuzzing framework for SMT solvers☆194Updated 2 weeks ago
- Domain-Specific Fuzzing with Waypoints☆238Updated 2 years ago
- Dynamic analysis framework for Python☆80Updated 5 months ago
- Program Analysis, Software Verification & Testing. Python3, CAS, Dafny, Z3, CVC4, UCLID, ZChaff, NuSMV, AFL, Scala, CBMC & LLVM Framework…☆38Updated 2 years ago
- Static Python call graph generator☆360Updated 2 years ago
- Linear-time Temporal Logic guided Greybox Fuzzing (ICSE'22)☆56Updated last year
- A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.☆168Updated 2 weeks ago
- GraphFuzz is an experimental framework for building structure-aware, library API fuzzers.☆269Updated last year
- A dynamic control flow graph (CFG) reconstruction plugin for valgrind.☆130Updated 4 months ago
- Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE☆332Updated 3 weeks ago
- Program Analisys and Transformation survey and links (particular focus on SSA)☆166Updated 4 years ago
- An LLVM-based instrumentation tool for universal taint tracking, dataflow analysis, and tracing.☆585Updated 8 months ago
- The Art, Science, and Engineering of Fuzzing: A Survey☆226Updated 2 weeks ago
- Tutorial on Symbolic Execution. Hands-on session is based on the angr framework.☆135Updated 4 years ago
- ☆106Updated last year
- Source code understanding via Machine Learning techniques☆138Updated 3 years ago
- coverage guided fuzz testing for python☆228Updated 5 years ago
- ☆82Updated 4 months ago