uds-se / debuggingbookLinks
Project page for "The Debugging Book"
☆270Updated 2 weeks ago
Alternatives and similar repositories for debuggingbook
Users that are interested in debuggingbook are comparing it to the libraries listed below
Sorting:
- Python Symbolic Execution☆73Updated 6 years ago
- A curated list of Grammar based fuzzing research papers, codes, tutorials☆126Updated 3 years ago
- The ISLa (Input Specification Language) language & solver.☆71Updated last year
- Tutorial on Symbolic Execution. Hands-on session is based on the angr framework.☆135Updated 4 years ago
- KLEE / CSE Project☆46Updated 5 years ago
- Program Analysis, Software Verification & Testing. Python3, CAS, Dafny, Z3, CVC4, UCLID, ZChaff, NuSMV, AFL, Scala, CBMC & LLVM Framework…☆38Updated 2 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.☆196Updated 3 years ago
- Replication package for Mining Input Grammars From Dynamic Control Flow☆25Updated 5 years ago
- Scalpel: The Python Static Analysis Framework☆320Updated last year
- Symbolic Program Slicing with LLVM☆85Updated 5 years ago
- Mutation-guided mutation-based fuzz testing☆48Updated last year
- Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code☆232Updated 3 years ago
- A grammar-based custom mutator for AFL++☆260Updated last year
- Linear-time Temporal Logic guided Greybox Fuzzing (ICSE'22)☆56Updated last year
- A dynamic control flow graph (CFG) reconstruction plugin for valgrind.☆129Updated 3 months ago
- Program Analisys and Transformation survey and links (particular focus on SSA)☆166Updated 4 years ago
- Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE☆330Updated this week
- A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.☆166Updated last month
- A toolkit for building whole-program LLVM bitcode files☆77Updated 4 years ago
- Create CFGs and compute complexity metrics for Python, C++, and Java code.☆43Updated last year
- Coverage-guided grammar aware fuzzer that uses grammar automatons☆74Updated 3 years ago
- ☆106Updated last year
- A framework for testing compilers' type checkers☆59Updated last year
- UFO: Predictive Detection of Concurrency Use-After-Free Vulnerabilities☆33Updated 5 years ago
- ☆82Updated 2 months ago
- DIG is a numerical invariant generation tool. It infers program invariants or properties over (i) program execution traces or (ii) progra…☆52Updated 5 months ago
- The Art, Science, and Engineering of Fuzzing: A Survey☆225Updated this week
- autofz: Automated Fuzzer Composition at Runtime☆82Updated 2 years ago
- Variation of american fuzzy lop for testing compilers☆124Updated 3 years ago
- cclyzer++ is a precise and scalable pointer analysis for LLVM code.☆147Updated 9 months ago