uds-se / debuggingbookLinks
Project page for "The Debugging Book"
☆268Updated 3 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☆72Updated 6 years ago
- A curated list of Grammar based fuzzing research papers, codes, tutorials☆125Updated 3 years ago
- Scalpel: The Python Static Analysis Framework☆320Updated last year
- The ISLa (Input Specification Language) language & solver.☆71Updated 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.☆196Updated 2 years ago
- KLEE / CSE Project☆46Updated 5 years ago
- A dynamic control flow graph (CFG) reconstruction plugin for valgrind.☆128Updated 2 months ago
- A toolkit for building whole-program LLVM bitcode files☆77Updated 4 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)☆56Updated last year
- Symbolic Program Slicing with LLVM☆84Updated 5 years ago
- Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE☆330Updated 4 months ago
- ☆82Updated last month
- ☆94Updated 6 months ago
- Mutation-guided mutation-based fuzz testing☆47Updated last year
- GrayC: Greybox Fuzzing of Compilers and Analysers for C☆60Updated last year
- A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.☆165Updated last month
- Concurrency Paper☆110Updated 2 years ago
- autofz: Automated Fuzzer Composition at Runtime☆82Updated 2 years ago
- Replication package for Mining Input Grammars From Dynamic Control Flow☆25Updated 5 years ago
- Program Analisys and Transformation survey and links (particular focus on SSA)☆165Updated 4 years ago
- CoREBench: Errors in Find, Grep, Make☆13Updated 9 years ago
- Dynamic Analysis for Concurrent Programs☆26Updated last year
- Tutorial on Symbolic Execution. Hands-on session is based on the angr framework.☆135Updated 4 years ago
- Variation of american fuzzy lop for testing compilers☆123Updated 3 years ago
- A grammar-based custom mutator for AFL++☆260Updated last year
- Public-facing course info for program analysis materials.☆42Updated last week
- DIG is a numerical invariant generation tool. It infers program invariants or properties over (i) program execution traces or (ii) progra…☆52Updated 4 months ago
- A high-performance, parallel, compilation-based symbolic execution engine☆139Updated last week
- This repository contains several examples of logic bomb.☆112Updated last year