TechSecCTF / z3_splash_class
This repo holds materials for our Splash 2017 class on Z3.
☆25Updated 7 years ago
Alternatives and similar repositories for z3_splash_class:
Users that are interested in z3_splash_class are comparing it to the libraries listed below
- Use ltrace with pwnlib.tubes.process instances, useful for heap exploitation. Pwntools rocks!☆52Updated 6 years ago
- ☆84Updated last year
- Exploiting Array-Out-of-Bounds-Write-Accesses on Linux☆27Updated 7 years ago
- Automatic Vulnerability Discovery☆37Updated 5 years ago
- Slack bot for challenge management in large teams☆60Updated 2 years ago
- Show syscall information for different architectures☆13Updated 7 years ago
- ☆100Updated 6 years ago
- ☆28Updated 6 years ago
- A library for patching ELFs☆53Updated 4 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
- Cross-architecture instruction counting for CTF solving☆46Updated 2 years ago
- various CTF writeups☆60Updated 6 years ago
- Unravels any libcs magic for your ret2libc exploit.☆80Updated 2 years ago
- ☆53Updated 3 years ago
- Kernel exploitation challenge(s) I prepared for the r2con 2019 CTF.☆21Updated 5 years ago
- Recent Fuzzing Paper☆35Updated last year
- A tool for finding the one gadget RCE in libc☆75Updated 4 years ago
- Simple shellcode testing tool.☆48Updated 13 years ago
- Materials from Fuzzing Bay Area meetups☆68Updated 5 years ago
- realtime cross-tool collaborative reverse engineering☆99Updated 2 years ago
- ☆88Updated 6 years ago
- Collection of shellcodes that use a variety of syscalls in order to bypass some seccomp configurations☆68Updated 7 years ago
- ☆49Updated 7 years ago
- Just a repo for random tools we have developed related to vulnerability research and exploit development.☆23Updated 4 years ago
- run AFL with pintool☆65Updated 5 years ago
- DLL-injection based solution to Brecht Wyseur's wbDES challenge (based on SysK's Phrack article)☆40Updated 7 years ago
- A python library to find one-gadget☆28Updated 6 years ago
- Backwards program slice stitching for automatic CTF problem solving.☆51Updated 5 years ago
- Symbolic Execution Tool in r2☆104Updated 3 years ago
- Capture The Flag Binary fuzzer for Heap challanges☆39Updated 6 years ago