L4ys / LazyKLEELinks
Lazy python wrapper of KLEE for solving CTF challenges
☆65Updated 4 years ago
Alternatives and similar repositories for LazyKLEE
Users that are interested in LazyKLEE are comparing it to the libraries listed below
Sorting:
- A python library to find one-gadget☆30Updated 6 years ago
- ☆52Updated 3 years ago
- An interactive memory info for pwning / exploiting☆99Updated 2 years ago
- ☆18Updated 6 years ago
- ☆47Updated 6 years ago
- HeapHopper is a bounded model checking framework for Heap-implementations☆218Updated 3 months ago
- A framework provides an interface to monitor and control fuzzers☆30Updated 2 years ago
- HITCON CTF 2018☆45Updated 6 years ago
- Modified from pwndbg. Enhance the UI part for better usage.☆26Updated 6 years ago
- A tool for finding the one gadget RCE in libc☆77Updated 5 years ago
- TokyoWestens CTF 4th 2018 EscapeMe challenge☆89Updated 7 years ago
- Python module to help in exploitation of the FILE structure in C☆27Updated 6 years ago
- my writeups (mainly pwnable)☆35Updated last year
- Collection of shellcodes that use a variety of syscalls in order to bypass some seccomp configurations☆70Updated 8 years ago
- 3D Accelerated Exploitation☆53Updated 6 years ago
- ☆40Updated 7 years ago
- Source code for paper 'Automatic Heap Layout Manipulation for Exploitation'☆100Updated 5 years ago
- ☆51Updated 7 years ago
- Heap exploitation technique bypassing heap ASLR☆48Updated 6 years ago
- ☆72Updated last year
- run AFL with pintool☆66Updated 5 years ago
- Files for the "v9" challenge of 34C3 CTF. See the greeting message in server.go for more information about the challenge☆89Updated 6 years ago
- Exploitation Training -- CVE-2013-2028: Nginx Stack Based Buffer Overflow☆55Updated 9 years ago
- 👀Dynamic memory watcher/tracer/analyzer for CTF pwn☆51Updated 5 years ago
- GlibC Malloc for Exploiters presentation☆150Updated 6 years ago
- Repo for storing CTF related stuff (Writeups, etc.)☆52Updated last year
- Files for the "feuerfuchs" challenge of 33C3 CTF. See the greeting message in server.py for more information about the challenge☆38Updated 8 years ago
- Repo for various angr ipython features to give it more of a cli feeling☆56Updated 8 months ago
- Use angr inside GDB. Create an angr state from the current debugger state.☆200Updated 5 years ago
- Some of my CTF solutions☆80Updated 6 years ago