ViRb3 / z3-python-ctf
🐍 Solving CTF challenges using Z3 and Python
☆60Updated 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
- ASLR bypass without infoleak☆160Updated 3 years ago
- All Files, Scripts, and exploits can be found here☆64Updated 4 years ago
- An intuitive query API for IDA Pro☆156Updated last month
- ☆46Updated last year
- ☆162Updated 2 years ago
- Collection of CTF Writeups for various ctfs. Mostly focused on reverse engineering, and contains all source files if they were available.☆52Updated last year
- RE / Binary Exploitation Resources☆71Updated 7 years ago
- ☆50Updated 6 years ago
- Udemy – Linux Heap Exploitation☆42Updated 3 years ago
- Repository with the downloadable files and server files for the 2021 K3RN3LCTF.☆28Updated 3 years ago
- list of organizations offering vulnerability research/reverse engineering jobs☆63Updated last month
- Challenges and write-ups for GCC-CTF 2024☆19Updated last year
- Attack/Defense services for the 2nd International Cybersecurity Challenge @ San Diego, California USA☆39Updated last year
- This repository aims to compile all Flare-On challenge binaries and write-ups. Update: 2014 -2024.☆319Updated last month
- Do you want to use x64dbg instead of immunity debugger? oscp eCPPTv2 buffer overflow exploits pocs☆87Updated last year
- ☆101Updated 2 years ago
- Automated solver of classic CTF pwn challenges, with flexibility in mind.☆57Updated 3 years ago
- Source code and solution of CTF challenges that I created.☆46Updated 10 months ago
- Full Chain Analysis of CVE-2022-4262, a non-trivial feedback slot type confusion in V8.☆98Updated 2 months ago
- An automatic Blind ROP exploitation tool☆205Updated last year
- ☆90Updated last year
- various docs (that are interesting, or not, depending on the point of view...)☆113Updated last year
- A GDB+GEF-style debugger for unloading Python pickles☆64Updated 4 months ago
- visualizing CTF clusters (teams playing together at DEFCON)☆27Updated last year
- A BinaryNinja plugin for contextual gadget analysis and semantic/hueristic based querying.☆60Updated last month
- This repository will serve as the "master" repo containing all exploit code and notes in regards to the Modern Binary Exploitation course…☆41Updated last year
- Source code and documentation for TeamItaly CTF 2022 challenges☆40Updated last year
- Collection of browser challenges☆132Updated 4 years ago
- A tool for automating setup of kernel pwn challenges☆56Updated 5 months ago
- ☆83Updated 7 years ago