wagiro / pintool
This tool can be useful for solving some reversing challenges in CTFs events.
☆135Updated 4 years ago
Related projects: ⓘ
- Use angr inside GDB. Create an angr state from the current debugger state.☆198Updated 4 years ago
- Fix stack addresses (when no ASLR) with and without debugging☆177Updated 9 years ago
- Symbolic Execution Tool in r2☆104Updated 2 years ago
- American Fuzzy Lop + Dyninst == AFL Fuzzing blackbox binaries☆186Updated 3 years ago
- A collection of more than 1000 binary libc files☆86Updated 9 years ago
- Collection of scripts and writeups☆319Updated 2 years ago
- Use angr in the IDA Pro debugger generating a state from the current debug session☆265Updated 4 years ago
- A plugin for Hex-Ray's IDA Pro and radare2 to export the symbols recognized to the ELF symbol table☆198Updated 2 years ago
- Code and exercises for a workshop on z3 and angr☆220Updated 3 years ago
- Fuzzing the Kernel Using Unicornafl and AFL++☆293Updated last year
- AFL + DynamoRIO = fuzzing binaries with no source code on Linux☆243Updated 4 years ago
- Helper scripts for hosting a Linux kernel exploitation CTF challenge☆87Updated 8 years ago
- Some new commands debug heap for peda☆99Updated 4 years ago
- Unravels any libcs magic for your ret2libc exploit.☆80Updated last year
- ROPME is a set of python scripts to generate ROP gadgets and payload.☆146Updated 8 years ago
- GlibC Malloc for Exploiters presentation☆146Updated 5 years ago
- Cream of the Crop Pwning Challenges☆31Updated 4 years ago
- SymGDB - symbolic execution plugin for gdb☆213Updated 6 years ago
- A pip wrapper around AFL.☆82Updated 3 years ago
- Small tool for generating ropchains using unicorn and z3☆197Updated 6 years ago
- Some helper scripts to set up an environment for angr development.☆114Updated this week
- Function redirection via ELF tricks.☆156Updated 9 years ago
- Tool to generate ROP gadgets for ARM, AARCH64, x86, MIPS, PPC, RISCV, SH4 and SPARC☆296Updated last month
- Library for creating CTF services.☆75Updated 7 years ago
- ☆237Updated 6 years ago
- The new phuzzing framework!☆148Updated 3 months ago
- Manage building and deploying exploitation challenges with ease☆57Updated 2 years ago
- HeapHopper is a bounded model checking framework for Heap-implementations☆212Updated 4 months ago
- Shellphish's automated patching engine, originally created for the Cyber Grand Challenge.☆248Updated 2 months ago
- Linux Heap Exploitation Practice☆377Updated 5 years ago