zwimer / C-bind
Dynamic function binding in C !!!
☆26Updated 4 years ago
Alternatives and similar repositories for C-bind:
Users that are interested in C-bind are comparing it to the libraries listed below
- Detecting Spectre vulnerabilities using symbolic execution, built on angr (github.com/angr/angr)☆75Updated 2 years ago
- HexType: Efficient Detection of Type Confusion Errors for C++☆100Updated 11 months ago
- Rewriting functions in compiled binaries using McSema☆88Updated 5 years ago
- Implementation of G-Free: Defeating Return-Oriented Programming through Gadget-less Binaries☆95Updated 6 years ago
- CSAW CTF 2015 Linux kernel exploitation challenge☆36Updated 9 years ago
- Some much-needed sanity for byte-wrangling in python3.☆43Updated 2 years ago
- Boring tool to launch multiple afl-fuzz instances☆50Updated 7 years ago
- Heap analysis tooling for dlmalloc☆28Updated 2 years ago
- Python concolic execution framework for program analysis☆65Updated 10 years ago
- Speculative disassembly, CFG recovery, and call-graph recovery from stripped binaries.☆106Updated 6 years ago
- CRETE under development☆59Updated 4 years ago
- KLEE Symbolic Execution Engine☆60Updated 5 years ago
- ☆63Updated 5 years ago
- rune - radare2 based symbolic emulator☆26Updated 7 years ago
- ☆110Updated 11 years ago
- A library for GDB (with python support), that adds useful functions to the standard 'gdb' library.☆77Updated 13 years ago
- SymGDB - symbolic execution plugin for gdb☆215Updated 6 years ago
- Python repository containing parsed standard C library function and argument information☆26Updated 6 years ago
- KLEE-TAINT - Klee with taint analysis support☆71Updated 7 years ago
- Fast and efficient binary translator☆58Updated 6 years ago
- A program to draw rectangles from heap traces.☆132Updated 5 years ago
- Code samples used for the blog post☆23Updated 8 years ago
- A monitoring script for AFL☆39Updated 8 years ago
- Exploiting Array-Out-of-Bounds-Write-Accesses on Linux☆26Updated 7 years ago
- REIL translation library☆36Updated 8 years ago
- ☆18Updated 5 years ago
- Final project for the M.Sc. in Engineering in Computer Science at Università degli Studi di Roma "La Sapienza" (A.Y. 2016/2017).☆35Updated 7 years ago
- ☆49Updated 7 years ago
- DataTracker: A Pin tool for collecting high-fidelity data provenance from unmodified programs.☆92Updated 7 years ago
- Routines for hunting down kernel symbols.☆83Updated 14 years ago