dholm / voidwalkerLinks
A GDB toolbox for low-level debugging
☆134Updated 11 years ago
Alternatives and similar repositories for voidwalker
Users that are interested in voidwalker are comparing it to the libraries listed below
Sorting:
- collection of C/C++ programs that try to get compilers to exploit undefined behavior☆179Updated 6 years ago
- GDB scripts to add support for low level debugging and reverse engineering☆147Updated 9 years ago
- ☆112Updated 11 years ago
- A static checker for identifying unstable code.☆360Updated 10 years ago
- Interactive Disassembler GUI - This Repository is NOT a supported MongoDB product☆248Updated 8 years ago
- ☆139Updated 5 years ago
- Combining Unit Tests, Fuzzing, and AI☆302Updated 6 years ago
- An ELF parsing and manipulation library for Python☆74Updated 10 years ago
- This is the archived S2E 1.0 repo. We do not maintain it anymore.☆314Updated 4 years ago
- C++11 library for many-sorted logics☆39Updated 8 years ago
- Compiler/source code fuzzing tool using AFL instrumentation☆124Updated 6 years ago
- An amd64 symbolic emulator☆313Updated 3 years ago
- Alive: Automatic LLVM's Instcombine Verifier☆220Updated last year
- a grammar-based data generator☆60Updated 6 years ago
- High-throughput fuzzer and emulator of DECREE binaries☆242Updated 5 years ago
- Implementations of program analysis tools with a focus on machine code☆210Updated 10 years ago
- A collection of clang plugins for safer C programming☆91Updated 6 years ago
- Semantic Binary Code Analysis Framework☆124Updated 9 years ago
- clang checker to find heartbleed☆86Updated 11 years ago
- The llvm-cov tool shows code coverage information for programs that are instrumented to emit profile data.☆30Updated 2 years ago
- A book on learning radare2.☆47Updated 4 years ago
- A light ELF binary patch tool in python urwid☆147Updated 5 years ago
- Gdb Extension Framework is a bunch of python code around the gdb api.☆51Updated 3 years ago
- This is the new ftrace (https://github.com/elfmaster/ftrace) - Much faster, better resolution but not complete yet! :)☆109Updated 6 years ago
- FuzzBALL: Vine-based Binary Symbolic Execution☆214Updated last week
- GATEKEEPER: Inline and on-target defense☆120Updated 2 years ago
- A minimal toy implementation of strace(1)☆176Updated last year
- A simple web based tool for working with assembly / disassembly☆89Updated 6 months ago
- Handy kernel development scripts.☆49Updated this week
- We're insanely passionate about command line asm documentation in the cloud, and we're crushing it!☆377Updated 4 years ago