uds-se / debuggingbookLinks
Project page for "The Debugging Book"
☆248Updated last week
Alternatives and similar repositories for debuggingbook
Users that are interested in debuggingbook are comparing it to the libraries listed below
Sorting:
- The ISLa (Input Specification Language) language & solver.☆71Updated last year
- Python Symbolic Execution☆72Updated 6 years ago
- Mutation-guided mutation-based fuzz testing☆47Updated last year
- A curated list of Grammar based fuzzing research papers, codes, tutorials☆124Updated 3 years ago
- Scalpel: The Python Static Analysis Framework☆317Updated last year
- Program Analysis, Software Verification & Testing. Python3, CAS, Dafny, Z3, CVC4, UCLID, ZChaff, NuSMV, AFL, Scala, CBMC & LLVM Framework…☆37Updated 2 years ago
- Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code☆232Updated 3 years ago
- Linear-time Temporal Logic guided Greybox Fuzzing (ICSE'22)☆54Updated last year
- KLEE / CSE Project☆46Updated 5 years ago
- A dynamic control flow graph (CFG) reconstruction plugin for valgrind.☆126Updated last month
- COM S 413/513 and CPR E 513 Program Analysis @ Iowa State University☆30Updated last year
- ANTLR v4 grammar-based test generator☆381Updated last week
- A toolkit for building whole-program LLVM bitcode files☆78Updated 4 years ago
- A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.☆165Updated this week
- 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.☆195Updated 2 years ago
- Symbolic Program Slicing with LLVM☆83Updated 5 years ago
- Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE☆329Updated 3 months ago
- Tutorial on Symbolic Execution. Hands-on session is based on the angr framework.☆135Updated 4 years ago
- UFO: Predictive Detection of Concurrency Use-After-Free Vulnerabilities☆33Updated 5 years ago
- cclyzer++ is a precise and scalable pointer analysis for LLVM code.☆146Updated 7 months ago
- A System for Debloating C/C++ Programs☆31Updated 4 years ago
- GrayC: Greybox Fuzzing of Compilers and Analysers for C☆59Updated last year
- A framework for testing compilers' type checkers☆56Updated last year
- Domain-Specific Fuzzing with Waypoints☆237Updated 2 years ago
- Replication package for Mining Input Grammars From Dynamic Control Flow☆25Updated 5 years ago
- A grammar-based custom mutator for AFL++☆259Updated last year
- A fuzzing framework for SMT solvers☆193Updated 2 years ago
- Create CFGs and compute complexity metrics for Python, C++, and Java code.☆42Updated last year
- CodeHawk Abstract Interpretation Engine and Analyzers☆69Updated 2 weeks ago
- "Seed Selection for Successful Fuzzing" artifact (at ISSTA 2021)☆42Updated 2 years ago