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
- Toy implementation of a Automated Exploit Generation built on Angr; stiched using radare, pwntools, pyelftools, and Angrop.☆18Updated 3 years ago
- Towards Automatically Generating a Sound and Complete Dataset for Evaluating Static Analysis Tools☆14Updated 5 years ago
- Binary Ninja plugin for visualizing coverage over time☆25Updated 3 years ago
- expansion of afl-unicorn using c++☆28Updated 5 years ago
- ☆30Updated 4 years ago
- A framework for static analysis of ROP exploits and programs☆40Updated 5 years ago
- An approach to detect opaque predicates by identifying the damage caused by the obfuscation.☆28Updated 3 years ago
- Build your emulation environment as needed☆65Updated 3 years ago
- Course sample for SMT-Based Binary Program Analysis training class☆31Updated 6 years ago
- Supporting Materials for “Symbolic Triage” blog post☆24Updated 2 years ago
- IDA (sort of) headless☆22Updated 11 months ago
- Esorics 2021 - Towards Automating Code-Reuse Attacks Using Synthesized Gadget Chains☆54Updated 3 years ago
- A monitoring script for AFL☆39Updated 8 years ago
- ☆9Updated 5 years ago
- Python interface for Binexport, the Bindiff export format☆14Updated 7 months ago
- A library to translate native code for multiple architectures into Tiny Code Generator (TCG) based intermediate representation (IR), base…☆46Updated 4 years ago
- Angr-based static analysis tool for vusec/vuzzer64 fuzzing tool☆21Updated 4 years ago
- Superion Mutator for AFLPlusPlus☆32Updated last year
- Output high level Pcode (PcodeAST) in Ghidra☆16Updated last year
- An AFL scaling benchmarking tool☆18Updated 4 years ago
- Linux Kernel Snapshot Fuzzer using KVM☆46Updated 11 months ago
- FuzzSplore: Visualizing Feedback-Driven Fuzzing Techniques☆35Updated 4 years ago
- A blanked execution framework based on the Unicorn engine☆19Updated 8 years ago
- A fast binary coverage measurement tool based on AFL's Qemu mode☆33Updated 3 years ago
- Code and artifacts of the "Dissecting American Fuzzy Lop - A FuzzBench Evaluation" paper☆13Updated 2 years ago
- Ditto.☆17Updated 4 years ago
- Signedness-Agnostic Strided-Interval☆35Updated 5 years ago
- QEMU to drcov trace file☆11Updated 4 years ago
- ☆18Updated 3 years ago
- Binary Ninja Plugin for Generating Callgraphs☆17Updated 3 years ago