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
- ☆30Updated 4 years ago
- A framework for static analysis of ROP exploits and programs☆40Updated 5 years ago
- Supporting Materials for “Symbolic Triage” blog post☆24Updated 2 years ago
- Binary Ninja plugin for visualizing coverage over time☆25Updated 3 years ago
- Toy implementation of a Automated Exploit Generation built on Angr; stiched using radare, pwntools, pyelftools, and Angrop.☆18Updated 3 years ago
- An approach to detect opaque predicates by identifying the damage caused by the obfuscation.☆28Updated 3 years ago
- This is the source of our Return Oriented Programming tool.☆15Updated 5 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
- Load function names from an IDA Pro database inside GDB☆20Updated 6 years ago
- Esorics 2021 - Towards Automating Code-Reuse Attacks Using Synthesized Gadget Chains☆54Updated 3 years ago
- Dynamic binary translator for x86 binaries☆34Updated last year
- Symbolic Execution Engine based on Ghidra's PCode☆82Updated 2 years ago
- An AFL scaling benchmarking tool☆18Updated 4 years ago
- Build your emulation environment as needed☆65Updated 3 years ago
- Ditto.☆17Updated 4 years ago
- generate assemblers from disassemblers, 2018 jailbreak security summit talk☆37Updated 4 years ago
- Python interface for Binexport, the Bindiff export format☆14Updated 3 weeks ago
- An Integrity-Check Monitoring Pintool☆56Updated 4 years ago
- Course sample for SMT-Based Binary Program Analysis training class☆31Updated 6 years ago
- Angr-based static analysis tool for vusec/vuzzer64 fuzzing tool☆21Updated 4 years ago
- Towards Automatically Generating a Sound and Complete Dataset for Evaluating Static Analysis Tools☆14Updated 6 years ago
- suite of binaries used to test function identification☆28Updated 7 years ago
- Headless Scripts for Ghidra's Headless Analyzer written in Python☆30Updated 5 years ago
- Binary Ninja Call Graph plugin☆20Updated 2 years ago
- ☆18Updated 3 years ago
- Python based angr plug in for IDA Pro.☆34Updated 7 years ago
- A plugin to integrate an IPython kernel into Binary Ninja.☆29Updated 6 years ago
- QEMU to drcov trace file☆11Updated 4 years ago
- SymFusion: Hybrid Instrumentation for Concolic Execution☆17Updated last year