What problem does it solve? Turning a located vulnerability (crash, out-of-bounds write, controllable input) into a working proof-of-concept exploit requires deep knowledge of ROP gadget search, stack layout, glibc heap internals, and mitigation bypasses, which is error-prone without a structured methodology. ## Core Features & Use Cases - ROP Chain Construction: Searches gadgets with ROPgadget/ropper, plans stack layouts with SysV ABI argument order, 16-byte stack alignment, ret2csu, SROP, and ret2dlresolve techniques. - Heap Exploitation: Covers tcache poisoning, fastbin dup, unsorted bin leaks, double free, UAF, and off-by-one patterns with glibc version-specific guidance (safe-linking, key checks, hook removal in 2.34+). - Mitigation Bypass & PoC Validation: Handles NX, PIE, Canary, RELRO, and seccomp (ORW chains), with staged leak-then-overwrite verification using pwntools and pwndbg inside a sandbox. - Use Case: Given a minimal crashing PoC from crash triage, determine controllable offsets with cyclic patterns, leak libc base, build a two-stage ROP chain, and produce a verified pwntools exploit script. ## Quick Start Use the re-exploit skill to develop a ROP chain exploit from the crash PoC for the target binary, verifying each stage in a sandbox with pwndbg.