🐍 Solving CTF challenges using Z3 and Python
☆63Jun 14, 2023Updated 3 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:
- Currently proof-of-concept☆17Dec 17, 2021Updated 4 years ago
- Coding without conditions☆15Jul 19, 2026Updated 2 months ago
- MIT IEEE URTC 2025. GSET 2025. Repository for "TaintMonkey: Dynamic Taint Analysis of Python Web Applications Using Monkey Patching". A P…☆16Sep 13, 2026Updated last month
- Check for satisfied one gadget constraints using the state of a running gdb instance☆10Feb 6, 2024Updated 2 years ago
- A mix of learning resources, my notes and mostly ctf writeup of sandbox escape challenges☆12Jun 6, 2023Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- OsmoTRX - GSM base station transceiver☆22Apr 4, 2019Updated 7 years ago
- My personnal repository☆10Sep 2, 2025Updated last year
- Here you can find writeups from various CTFs that I've participated in.☆12Jul 30, 2023Updated 3 years ago
- Dynamic instrumentation toolkits powered by Frida☆24Mar 10, 2022Updated 4 years ago
- Source code and solution of CTF challenges that I created.☆47Jun 25, 2025Updated last year
- HackRF / RTLSDR Spectrum Scanning Interface (WIP)☆30Aug 18, 2016Updated 10 years ago
- ios app signature server,Using the Apple Undisclosed Web Interface Signing Application.☆10Apr 21, 2019Updated 7 years ago
- Installing SDR based applications through Homebrew☆22Jan 15, 2019Updated 7 years ago
- Recreating and reviewing the Windows persistence methods☆39Nov 18, 2021Updated 4 years 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.
- CVE-2024-23897 jenkins-cli☆15Jan 27, 2024Updated 2 years ago
- Android Hacking Event 2017 Write-up☆44Jun 27, 2017Updated 9 years ago
- OpenBTS 5.0 + Testcall☆18Jan 13, 2017Updated 9 years ago
- Malware dev tricks. Syscalls part 1. Simple C example☆11Jun 8, 2023Updated 3 years ago
- Wireshark Profiles for SS7, Diameter & GTP☆29Feb 13, 2025Updated last year
- This repo contains the source code for Scalpel 2.02, an improved version of the original Scalpel fast file carver.☆13Oct 9, 2026Updated last week
- All Files, Scripts, and exploits can be found here☆75Apr 16, 2021Updated 5 years ago
- ☆76Nov 30, 2023Updated 2 years ago
- Locate intersting files in grayhatwarfare.com open S3 buckets and Azure blobs automatically!☆29Apr 6, 2022Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- My notes from courses,books ..etc☆49Nov 26, 2025Updated 10 months ago
- ☆29Dec 16, 2023Updated 2 years ago
- A DLL Injector written in Python with no dependencies.☆23Sep 12, 2023Updated 3 years ago
- ☆1,127Mar 14, 2024Updated 2 years ago
- A collection of (even more) alternative shellcode callback methods in CSharp☆81Oct 26, 2024Updated last year
- Various exploits for SerenityOS☆17Oct 29, 2021Updated 4 years ago
- ☆39Nov 20, 2017Updated 8 years ago
- 📡 Ease file sharing during pentest/CTF 🎸☆10May 18, 2026Updated 5 months ago
- Files for my solution to the SSTIC 2021 challenge☆15Jun 14, 2021Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆27Jan 27, 2022Updated 4 years ago
- Simplifier vmp ultra☆22Dec 9, 2023Updated 2 years ago
- Write-ups for various CTF☆216Sep 2, 2025Updated last year
- A BinaryNinja plugin for contextual gadget analysis and semantic/hueristic based querying.☆71Feb 23, 2026Updated 7 months ago
- A tool that parses the function trace of IDA that executes VMProtect.☆12Mar 12, 2024Updated 2 years ago
- Tool for parsing hungarian laws (Rust version)☆12Aug 1, 2023Updated 3 years ago
- cheap and terrible voltage glitcher hardware/software☆46Jan 1, 2020Updated 6 years ago