zwimer / C-bind
Dynamic function binding in C !!!
☆25Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for C-bind
- Detecting Spectre vulnerabilities using symbolic execution, built on angr (github.com/angr/angr)☆74Updated 2 years ago
- CSAW CTF 2015 Linux kernel exploitation challenge☆36Updated 9 years ago
- REIL translation library☆36Updated 8 years ago
- Implementation of G-Free: Defeating Return-Oriented Programming through Gadget-less Binaries☆95Updated 6 years ago
- Automated Return-Oriented Programming Chaining☆83Updated 8 years ago
- Rewriting functions in compiled binaries using McSema☆87Updated 5 years ago
- Abstract library to generate angr states from a debugger state☆59Updated 4 years ago
- Boring tool to launch multiple afl-fuzz instances☆49Updated 7 years ago
- Modular And Compositional analysis with KLEE Engine☆113Updated 4 years ago
- ☆49Updated 6 years ago
- Routines for hunting down kernel symbols.☆81Updated 13 years ago
- Python repository containing parsed standard C library function and argument information☆26Updated 6 years ago
- KLEE-TAINT - Klee with taint analysis support☆72Updated 7 years ago
- Code samples used for the blog post☆23Updated 7 years ago
- A program to draw rectangles from heap traces.☆131Updated 4 years ago
- Bootloader research tools (very much a work in progress)☆37Updated 5 years ago
- A library for GDB (with python support), that adds useful functions to the standard 'gdb' library.☆76Updated 13 years ago
- ☆42Updated 2 years ago
- Python concolic execution framework for program analysis☆65Updated 10 years ago
- HexType: Efficient Detection of Type Confusion Errors for C++☆99Updated 7 months ago
- ☆63Updated 5 years ago
- A monitoring script for AFL☆39Updated 7 years ago
- American Fuzzy Lop + Dyninst == AFL Fuzzing blackbox binaries☆74Updated 3 years ago
- Automatic function exporting and linking for fuzzing cross-architecture binaries.☆50Updated 6 years ago
- Mozilla fork of the American Fuzzy Lop repo☆46Updated 5 years ago
- ☆26Updated 6 years ago
- A tool to add simple inline patches to a binary to rearrange its stack frames, and other things!☆45Updated 2 years ago
- Routines for hunting down kernel structs.☆40Updated 13 years ago
- A project for simulating fuzzing such that analysis can be done on coverage/feedback/scaling mechanisms☆9Updated 4 years ago
- Timeless debugging with symbolic execution and processor trace☆74Updated 3 years ago