software-engineering-and-security / inspector-gadget
Inspector-gadget (a.k.a. PSHAPE - Practical Support for Half-Automated Program Exploitation) is an open source tool which assists analysts in exploit development. It discovers gadgets, chains gadgets together, and ensures that side effects such as register dereferences do not crash the program.
☆25Updated 5 years ago
Alternatives and similar repositories for inspector-gadget:
Users that are interested in inspector-gadget are comparing it to the libraries listed below
- A framework for static analysis of ROP exploits and programs☆40Updated 5 years ago
- Binary Ninja plugin for visualizing coverage over time☆25Updated 3 years ago
- Supporting Materials for “Symbolic Triage” blog post☆24Updated 2 years ago
- ☆31Updated 4 years ago
- Toy implementation of a Automated Exploit Generation built on Angr; stiched using radare, pwntools, pyelftools, and Angrop.☆17Updated 3 years ago
- An approach to detect opaque predicates by identifying the damage caused by the obfuscation.☆30Updated 4 years ago
- Build your emulation environment as needed☆66Updated 4 years ago
- Tool to extract the kallsyms (System.map) from a memory dump☆26Updated last year
- Course sample for SMT-Based Binary Program Analysis training class☆31Updated 7 years ago
- IDA+Triton plugin in order to extract opaque predicates using a Forward-Bounded DSE. Example with X-Tunnel.☆52Updated 5 years ago
- Linux Kernel Snapshot Fuzzer using KVM☆47Updated last year
- Esorics 2021 - Towards Automating Code-Reuse Attacks Using Synthesized Gadget Chains☆54Updated 3 years ago
- ROP Benchmark is a tool to compare ROP compilers☆41Updated 2 years ago
- Headless Scripts for Ghidra's Headless Analyzer written in Python☆31Updated 5 years ago
- Towards Automatically Generating a Sound and Complete Dataset for Evaluating Static Analysis Tools☆14Updated 6 years ago
- expansion of afl-unicorn using c++☆28Updated 5 years ago
- A library to translate native code for multiple architectures into Tiny Code Generator (TCG) based intermediate representation (IR), base…☆46Updated 4 years ago
- IDA (sort of) headless☆24Updated last year
- Superion Mutator for AFLPlusPlus☆31Updated last year
- An AFL scaling benchmarking tool☆18Updated 4 years ago
- A monitoring script for AFL☆39Updated 8 years ago
- Python interface for Binexport, the Bindiff export format☆16Updated last week
- Explanation and code to emulate and run a MIPS binary using Qiling framework. Also a detailed vulnerability writeup for a buffer overflow…☆32Updated 4 years ago
- QEMU to drcov trace file☆11Updated 4 years ago
- Bluefrost Exploitation Challenge 2019 - Exploit and Writeup☆24Updated last year
- Code Coverage client for DynamoRIO☆12Updated 6 years ago
- PoC for the taint-based ROP approach☆14Updated last year
- First level taint implementation with qemu for linux user mode☆27Updated 4 years ago
- ☆18Updated 3 years ago
- PoC for a snapshot-based coverage-guided fuzzer targeting Windows kernel components☆68Updated 3 years ago