🐍 Solving CTF challenges using Z3 and Python
☆63Jun 14, 2023Updated 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- NDISPktScan is a plugin for the Volatility Framework. It parses the Ethernet packets stored by ndis.sys in Windows kernel space memory.☆12Oct 23, 2015Updated 10 years ago
- ☆12Mar 10, 2024Updated 2 years ago
- Currently proof-of-concept☆17Dec 17, 2021Updated 4 years ago
- A mix of learning resources, my notes and mostly ctf writeup of sandbox escape challenges☆10Jun 6, 2023Updated 2 years ago
- My personnal repository☆10Sep 2, 2025Updated 8 months ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Here you can find writeups from various CTFs that I've participated in.☆12Jul 30, 2023Updated 2 years ago
- Client side tools to play the CTS contest☆47Jul 9, 2021Updated 4 years ago
- Bootloader exploration☆20Feb 22, 2022Updated 4 years ago
- Find and collect parts of a Keepass master key to recover it in plain text from a memory dump☆20Feb 1, 2024Updated 2 years ago
- Source code and solution of CTF challenges that I created.☆45Jun 25, 2025Updated 11 months ago
- OpenBTS 5.0 + Testcall☆18Jan 13, 2017Updated 9 years ago
- Android Hacking Event 2017 Write-up☆44Jun 27, 2017Updated 8 years ago
- A combinator reduction engine that accepts syntax for lambda expressions and is optimal. Rebase pending. That will affect forks. Downstre…☆12Mar 31, 2024Updated 2 years ago
- ☆230Mar 13, 2026Updated 2 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- !exploitable Crash Analyzer - MSEC Debugger Extensions☆12Feb 16, 2021Updated 5 years ago
- kernel exploit POC for vulnerability i found in amd gpu driver☆10Jan 6, 2023Updated 3 years ago
- A collection of MacOS jailbreak applications, IPA, and JailbreakMe websites.☆37Jun 20, 2024Updated last year
- Reference of Vehicle Security。☆12Aug 13, 2021Updated 4 years ago
- Some CTF Write-ups☆27Feb 7, 2022Updated 4 years ago
- ☆10Jan 18, 2024Updated 2 years ago
- All Files, Scripts, and exploits can be found here☆75Apr 16, 2021Updated 5 years ago
- Collections of all CTF challenges made by me.☆19Apr 14, 2024Updated 2 years ago
- ☆37Nov 4, 2017Updated 8 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆20Feb 26, 2025Updated last year
- CTFs solve scripts☆19Jan 9, 2026Updated 4 months ago
- Locate intersting files in grayhatwarfare.com open S3 buckets and Azure blobs automatically!☆28Apr 6, 2022Updated 4 years ago
- A DLL Injector written in Python with no dependencies.☆22Sep 12, 2023Updated 2 years ago
- Demonstrates iterative FGSM on Apple's NeuralHash model.☆16Aug 19, 2021Updated 4 years ago
- ☆19Oct 24, 2024Updated last year
- A collection of my presentation materials.☆17Apr 29, 2024Updated 2 years ago
- Various exploits for SerenityOS☆17Oct 29, 2021Updated 4 years ago
- Repo containing course materials from our paper, "Pwn Lessons Made Easy With Docker: Towards an Undergraduate Vulnerability Research Cybe…☆20Mar 8, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A collection of awesome software, libraries, learning tutorials, documents and books, awesome resources and cool stuff about ARM and Wind…☆51Jan 6, 2024Updated 2 years ago
- WaniCTF 2023 official writeup & source code☆23Jun 7, 2023Updated 2 years ago
- Linux network and security sandbox with support for kernel exploit protection as well as VPN and proxy chaining☆16Mar 30, 2025Updated last year
- A wrapper for memory hacking related functions (WriteProcessMemory, ReadProcessMemory, etc) as well as a DLL injection function and patte…☆17May 29, 2020Updated 5 years ago
- Miscellaneous IDA scripts and projects☆15Apr 14, 2021Updated 5 years ago
- Simplifier vmp ultra☆20Dec 9, 2023Updated 2 years ago
- Skywalking远程代码执行漏洞验证☆19Feb 22, 2021Updated 5 years ago