L4ys / LazyKLEE
Lazy python wrapper of KLEE for solving CTF challenges
☆65Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for LazyKLEE
- A python library to find one-gadget☆28Updated 5 years ago
- ☆53Updated 3 years ago
- A framework provides an interface to monitor and control fuzzers☆31Updated last year
- ☆18Updated 5 years ago
- HITCON CTF 2018☆45Updated 6 years ago
- my writeups (mainly pwnable)☆33Updated 2 months ago
- Modified from pwndbg. Enhance the UI part for better usage.☆26Updated 5 years ago
- TokyoWestens CTF 4th 2018 EscapeMe challenge☆88Updated 6 years ago
- ☆41Updated 2 years ago
- JavaScript Engine Exploits in CTF☆3Updated 5 years ago
- Heap exploitation technique bypassing heap ASLR☆47Updated 5 years ago
- ☆29Updated 2 years ago
- Files for the "feuerfuchs" challenge of 33C3 CTF. See the greeting message in server.py for more information about the challenge☆38Updated 7 years ago
- A tool for finding the one gadget RCE in libc☆74Updated 4 years ago
- ☆46Updated 5 years ago
- Repo for various angr ipython features to give it more of a cli feeling☆54Updated 6 months ago
- Source code for paper 'Automatic Heap Layout Manipulation for Exploitation'☆98Updated 5 years ago
- ctf writeups☆19Updated 6 years ago
- ☆152Updated 5 years ago
- Python module to help in exploitation of the FILE structure in C☆27Updated 5 years ago
- WCTF 2019 challenge☆99Updated 5 years ago
- ☆93Updated 4 years ago
- Files for the "v9" challenge of 34C3 CTF. See the greeting message in server.go for more information about the challenge☆86Updated 5 years ago
- HeapHopper is a bounded model checking framework for Heap-implementations☆212Updated last month
- Yet another implementation of AEG (Automated Exploit Generation) using symbolic execution engine Triton.☆34Updated 6 years ago
- This repository contains the currently implemented angr concrete targets.☆32Updated last year
- Making GO reversing easier in IDA Pro☆17Updated 5 years ago
- The Harvest of V8 regress.☆137Updated 4 years ago
- Exploit for the [pwn] just-in-time challenge from google ctf 2018's finals (TurboFan bug)☆61Updated 5 years ago