ViRb3 / z3-python-ctfLinks
🐍 Solving CTF challenges using Z3 and Python
☆62Updated 2 years ago
Alternatives and similar repositories for z3-python-ctf
Users that are interested in z3-python-ctf are comparing it to the libraries listed below
Sorting:
- ASLR bypass without infoleak☆166Updated 4 years ago
- Udemy – Linux Heap Exploitation☆54Updated 4 years ago
- Advanced exploits that I wrote for Pwn2Own competitions and other occasions☆169Updated last year
- ☆45Updated 4 months ago
- An automatic Blind ROP exploitation tool☆205Updated 2 years ago
- ☆55Updated 7 years ago
- All Files, Scripts, and exploits can be found here☆72Updated 4 years ago
- Leveraging patch diffing to discover new vulnerabilities☆137Updated last year
- MCP for Pwn☆197Updated last month
- An intuitive query API for IDA Pro☆165Updated 3 months ago
- ☆178Updated 3 years ago
- Writeups for CTFs☆78Updated 5 months ago
- Automated solver of classic CTF pwn challenges, with flexibility in mind.☆65Updated 3 years ago
- ☆51Updated 4 years ago
- Attack/Defense services for the 2nd International Cybersecurity Challenge @ San Diego, California USA☆40Updated 2 years ago
- various docs (that are interesting, or not, depending on the point of view...)☆133Updated 2 years ago
- This repository aims to compile all Flare-On challenge binaries and write-ups. Update: 2014 -2024.☆373Updated 9 months ago
- Scriptable CLI debugger for windows, inspired by pwndbg ❤☆96Updated 3 months ago
- The resources for glibc Malloc heap exploitation course by Maxwell Dulin and Security Innovation.☆170Updated last year
- Repository with the downloadable files and server files for the 2021 K3RN3LCTF.☆29Updated 4 years ago
- Contains all the components necessary to run a DC finals (attack-defense CTF) game from OOO.☆56Updated 3 years ago
- Analyze Golang with Ghidra☆208Updated last week
- DiffRays is a research-oriented tool for binary patch diffing, designed to aid in vulnerability research, exploit development, and revers…☆280Updated last month
- A GDB+GEF-style debugger for unloading Python pickles☆69Updated 6 months ago
- A tool for automating setup of kernel pwn challenges☆61Updated 2 months ago
- Source code and solution of CTF challenges that I created.☆45Updated 6 months ago
- Binary Exploitation Phrack CTF Challenge☆140Updated 4 months ago
- Do you want to use x64dbg instead of immunity debugger? oscp eCPPTv2 buffer overflow exploits pocs☆90Updated 2 years ago
- ☆116Updated 3 years ago
- A C++ tool to unstrip Rust/Go binaries (ELF and PE)☆400Updated 11 months ago