๐ Solving CTF challenges using Z3 and Python
โ64Jun 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:
- 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
- Open source software radio 3GPP LTE UEโ10Apr 17, 2017Updated 9 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โ11Jun 6, 2023Updated 3 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.
- MIT IEEE URTC 2025. GSET 2025. Repository for "TaintMonkey: Dynamic Taint Analysis of Python Web Applications Using Monkey Patching". A Pโฆโ16Aug 28, 2025Updated last year
- My personnal repositoryโ10Sep 2, 2025Updated last year
- Python 3 server used to control SK8RAT implantโ36Jan 5, 2021Updated 5 years ago
- Here you can find writeups from various CTFs that I've participated in.โ12Jul 30, 2023Updated 3 years ago
- โ10Jan 18, 2024Updated 2 years ago
- CVE-2024-23897 jenkins-cliโ15Jan 27, 2024Updated 2 years ago
- Dynamic instrumentation toolkits powered by Fridaโ25Mar 10, 2022Updated 4 years ago
- Source code and solution of CTF challenges that I created.โ47Jun 25, 2025Updated last year
- Bootloader explorationโ20Feb 22, 2022Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean โข AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Installing SDR based applications through Homebrewโ22Jan 15, 2019Updated 7 years ago
- Executable File Viewerโ10Jul 27, 2016Updated 10 years ago
- Client side tools to play the CTS contestโ48Jul 9, 2021Updated 5 years ago
- OpenBTS 5.0 + Testcallโ18Jan 13, 2017Updated 9 years ago
- Android Hacking Event 2017 Write-upโ44Jun 27, 2017Updated 9 years ago
- ios app signature server,Using the Apple Undisclosed Web Interface Signing Application.โ10Apr 21, 2019Updated 7 years ago
- Recreating and reviewing the Windows persistence methodsโ39Nov 18, 2021Updated 4 years ago
- Malware dev tricks. Syscalls part 1. Simple C exampleโ11Jun 8, 2023Updated 3 years ago
- โ19Mar 13, 2022Updated 4 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.
- All Files, Scripts, and exploits can be found hereโ74Apr 16, 2021Updated 5 years ago
- Reverse_Shell Implemented in C++ with the ability to bypass sandboxesโ12Apr 2, 2021Updated 5 years ago
- โ37Nov 4, 2017Updated 8 years ago
- Collections of all CTF challenges made by me.โ20Apr 14, 2024Updated 2 years ago
- Some CTF Write-upsโ27Feb 7, 2022Updated 4 years ago
- โ10Dec 10, 2025Updated 8 months ago
- Cross-architecture instruction counting for CTF solvingโ48Mar 13, 2022Updated 4 years ago
- Fastest Tiktok Reporterโ14Nov 11, 2024Updated last year
- It's a CLI Unity DLL Injector.โ12Aug 8, 2019Updated 7 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.
- IDA plugin helping reverse-engineering rust binariesโ36Jul 31, 2024Updated 2 years ago
- A DLL Injector written in Python with no dependencies.โ22Sep 12, 2023Updated 2 years ago
- โ28Dec 16, 2023Updated 2 years ago
- WaniCTF 2023 official writeup & source codeโ23Jun 7, 2023Updated 3 years ago
- angr tutorial for ctfโ171Apr 11, 2021Updated 5 years ago
- burpplugin ๆ นๆฎไธ้็ฅ่ดด๏ผๅฎ็ฐไบไธไธburpๆไปถ็ๆฌ็ๅฐๅ๏ผไธ้ฎ็ๆshellโ14Jul 15, 2019Updated 7 years ago
- Attack & Defense CTF dashboardโ16Oct 7, 2021Updated 4 years ago