ViRb3 / z3-python-ctf
🐍 Solving CTF challenges using Z3 and Python
☆59Updated last year
Alternatives and similar repositories for z3-python-ctf:
Users that are interested in z3-python-ctf are comparing it to the libraries listed below
- ☆162Updated 2 years ago
- All Files, Scripts, and exploits can be found here☆63Updated 4 years ago
- ☆46Updated last year
- ASLR bypass without infoleak☆160Updated 3 years ago
- Udemy – Linux Heap Exploitation☆40Updated 3 years ago
- various docs (that are interesting, or not, depending on the point of view...)☆111Updated last year
- RE / Binary Exploitation Resources☆71Updated 7 years ago
- An intuitive query API for IDA Pro☆155Updated 3 weeks ago
- ☆101Updated 2 years ago
- Repository with the downloadable files and server files for the 2021 K3RN3LCTF.☆28Updated 3 years ago
- Challenge repository for the 2023 CSAW CTF Qualifiers☆30Updated last year
- Source code and solution of CTF challenges that I created.☆46Updated 10 months ago
- ☆50Updated 6 years ago
- Advanced exploits that I wrote for Pwn2Own competitions and other occasions☆167Updated last year
- A tool for automating setup of kernel pwn challenges☆55Updated 4 months ago
- Do you want to use x64dbg instead of immunity debugger? oscp eCPPTv2 buffer overflow exploits pocs☆84Updated last year
- A GDB+GEF-style debugger for unloading Python pickles☆63Updated 3 months ago
- ☆89Updated 11 months ago
- ☆44Updated 3 years ago
- Automated solver of classic CTF pwn challenges, with flexibility in mind.☆56Updated 3 years ago
- A collection of my Ghidra scripts to facilitate reverse engineering and vulnerability research.☆251Updated 4 months ago
- Set of pre-generated pwn.college challenges☆66Updated 2 years ago
- This repository will serve as the "master" repo containing all exploit code and notes in regards to the Modern Binary Exploitation course…☆39Updated last year
- Easily debug processes running in docker containers☆22Updated 9 months ago
- Source code and documentation for TeamItaly CTF 2022 challenges☆40Updated last year
- Where CTFs happen☆81Updated 10 months ago
- Collection of browser challenges☆131Updated 3 years ago
- An automatic Blind ROP exploitation tool☆201Updated last year
- 🐛 UCLA ACM Cyber's Fuzzing Lab☆80Updated 3 months ago
- Full Chain Analysis of CVE-2022-4262, a non-trivial feedback slot type confusion in V8.☆98Updated 2 months ago