L4ys / LazyKLEE
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
- A python library to find one-gadget☆28Updated 6 years ago
- ☆18Updated 5 years ago
- ☆53Updated 3 years ago
- TokyoWestens CTF 4th 2018 EscapeMe challenge☆88Updated 6 years ago
- A framework provides an interface to monitor and control fuzzers☆31Updated last year
- HITCON CTF 2018☆45Updated 6 years ago
- my writeups (mainly pwnable)☆33Updated 7 months ago
- Modified from pwndbg. Enhance the UI part for better usage.☆26Updated 5 years ago
- JavaScript Engine Exploits in CTF☆3Updated 6 years ago
- Heap exploitation technique bypassing heap ASLR☆46Updated 5 years ago
- Python module to help in exploitation of the FILE structure in C☆26Updated 6 years ago
- ☆29Updated 2 years ago
- Exploiting Array-Out-of-Bounds-Write-Accesses on Linux☆25Updated 7 years ago
- ☆16Updated 8 years ago
- 3D Accelerated Exploitation☆54Updated 6 years ago
- A library for patching ELFs☆55Updated 4 years ago
- run AFL with pintool☆65Updated 5 years ago
- WCTF 2019 challenge☆99Updated 5 years ago
- pwning challenge with a minimal hypervisor on apple hypervisor framework☆13Updated 5 years ago
- Source code for paper 'Automatic Heap Layout Manipulation for Exploitation'☆100Updated 5 years ago
- ☆46Updated 6 years ago
- A tool for finding the one gadget RCE in libc☆76Updated 4 years ago
- ☆36Updated 6 years ago
- An interactive memory info for pwning / exploiting☆101Updated 2 years ago
- Flex 'em lexers☆39Updated 4 years ago
- Recover mutation graph from an AFL seed☆59Updated 4 years ago
- GDB plugin to dump SECCOMP rules set via prctnl(PR_SET_SECCOMP, SECCOMP_MODE_FILTER)☆22Updated 9 years ago
- ☆99Updated 4 years ago
- Files for the "v9" challenge of 34C3 CTF. See the greeting message in server.go for more information about the challenge☆87Updated 6 years ago
- 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