RUB-SysSec / gadget_synthesis
Esorics 2021 - Towards Automating Code-Reuse Attacks Using Synthesized Gadget Chains
☆54Updated 3 years ago
Alternatives and similar repositories for gadget_synthesis:
Users that are interested in gadget_synthesis are comparing it to the libraries listed below
- Symbolic Execution Engine based on Ghidra's PCode☆82Updated last year
- ☆42Updated 2 years ago
- A fast, multithreaded, ROP-gadget semantics analyzer.☆49Updated 4 years ago
- ☆37Updated 11 months ago
- PoC for a snapshot-based coverage-guided fuzzer targeting Windows kernel components☆68Updated 3 years ago
- Ghidra Emulates Functions☆54Updated 4 years ago
- Target components for kAFL/Nyx Fuzzer☆27Updated last week
- A framework for static analysis of ROP exploits and programs☆40Updated 5 years ago
- ☆14Updated 4 years ago
- Linux Kernel Snapshot Fuzzer using KVM☆46Updated last year
- Target components for kAFL/Nyx Fuzzer☆33Updated last year
- Banana Fuzzer ~ modulable, loop based, poc gen, code cov, platform agnostic, race oriented☆59Updated 2 years ago
- ROP Benchmark is a tool to compare ROP compilers☆41Updated 2 years ago
- Code Property Graph (CPG) frontend for binary applications and libraries.☆86Updated 3 years ago
- Companion to the "Introduction to VirtualBox security research" Blog Post☆29Updated 2 years ago
- A fast binary coverage measurement tool based on AFL's Qemu mode☆33Updated 3 years ago
- ☆47Updated 2 years ago
- kAFL Fuzzer☆33Updated 3 weeks ago
- Build your emulation environment as needed☆65Updated 3 years ago
- Binary Ninja plugin for visualizing coverage over time☆25Updated 3 years ago
- ASPFuzz: Fuzzing the AMD SP's ROM bootloader with LibAFL using QEMU full-system emulation☆27Updated last year
- ☆24Updated 10 months ago
- ☆28Updated last year
- Code and artifacts of the "Dissecting American Fuzzy Lop - A FuzzBench Evaluation" paper☆13Updated 2 years ago
- Raw IDA Kernel API for IDAPython☆33Updated 2 years ago
- ☆78Updated 3 weeks ago
- Load function names from an IDA Pro database inside GDB☆20Updated 6 years ago
- BSOD: Binary-only Scalable fuzzing Of device Drivers☆161Updated 3 years ago
- ☆40Updated 3 years ago
- run AFL with dynamorio☆37Updated 4 years ago