sam-b / z3-stuff
z3 scripts and ctf challenge solutions.
☆24Updated last year
Related projects ⓘ
Alternatives and complementary repositories for z3-stuff
- Architecture-agnostic ROP gadget finder using JEB's IR☆22Updated 7 years ago
- Symbolic debugging tool using JonathanSalwan/Triton☆25Updated 6 years ago
- Source code for building an exploitable linux kernel challenge iso.☆44Updated 11 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
- PoCs for VMWare VGPU Direct 3D 10 vulnerabilities fixed in VMware Workstation 12.5.5 and 12.5.7☆35Updated 7 years ago
- This repository is for binaries that are currently being worked on to be solved by angr.☆11Updated 7 years ago
- pwning challenge with a minimal hypervisor on apple hypervisor framework☆13Updated 5 years ago
- ☆22Updated 5 years ago
- Fuzzing scripts for the American Fuzzy Lop (AFL) fuzzer☆47Updated 8 years ago
- ☆74Updated 6 years ago
- ☆31Updated 4 years ago
- Windows 10 RS2/RS3 exploitation primitives based on the OffensiveCon 2018 talk☆55Updated 6 years ago
- Proof of Concept files for SensePost's blog - Painless intro to the linux userland heap☆22Updated 7 years ago
- keynote I gave at GreHack 2019☆18Updated 5 years ago
- ☆30Updated 5 years ago
- exploit development☆49Updated 6 years ago
- Tools released in CSS 2019☆38Updated 5 years ago
- ☆13Updated 6 years ago
- Write ups of solution for CTF challenges I solved☆25Updated 3 years ago
- 3D Accelerated Exploitation☆54Updated 5 years ago
- Exploit code for CVE-2016-9066☆42Updated 7 years ago
- ☆37Updated 5 years ago
- ASLR bypass in Chrome version 77☆23Updated 5 years ago
- Memory fuzzing based on sinn3r's In Memory Fuzzer☆26Updated 12 years ago
- ☆36Updated 6 years ago
- Magellan PoC☆34Updated 5 years ago
- ☆13Updated 3 years ago
- ☆31Updated 6 years ago
- ☆18Updated 5 years ago
- Python module to help in exploitation of the FILE structure in C☆27Updated 5 years ago