๐ 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:
- Open source software radio 3GPP LTE UEโ10Apr 17, 2017Updated 8 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
- some leaked src code for known and unknown malwaresโ23Aug 15, 2025Updated 7 months ago
- Dynamic instrumentation toolkits powered by Fridaโ25Mar 10, 2022Updated 4 years ago
- Installing SDR based applications through Homebrewโ22Jan 15, 2019Updated 7 years ago
- Bootloader explorationโ20Feb 22, 2022Updated 4 years ago
- Source code and solution of CTF challenges that I created.โ45Jun 25, 2025Updated 8 months ago
- OpenBTS 5.0 + Testcallโ18Jan 13, 2017Updated 9 years ago
- Android Hacking Event 2017 Write-upโ44Jun 27, 2017Updated 8 years ago
- ๐ฆโ10Mar 6, 2023Updated 3 years ago
- ios app signature server,Using the Apple Undisclosed Web Interface Signing Application.โ10Apr 21, 2019Updated 6 years ago
- A collection of MacOS jailbreak applications, IPA, and JailbreakMe websites.โ36Jun 20, 2024Updated last year
- Subdomain finderโ10Mar 13, 2025Updated last year
- โ19Mar 13, 2022Updated 4 years ago
- Malware dev tricks. Syscalls part 1. Simple C exampleโ10Jun 8, 2023Updated 2 years ago
- Some CTF Write-upsโ27Feb 7, 2022Updated 4 years ago
- All Files, Scripts, and exploits can be found hereโ74Apr 16, 2021Updated 4 years ago
- Reverse_Shell Implemented in C++ with the ability to bypass sandboxesโ12Apr 2, 2021Updated 4 years ago
- Spoof TLS/JA3/JA4 and HTTP/2 fingerprints in Javaโ64Mar 15, 2026Updated last week
- Collections of all CTF challenges made by me.โ19Apr 14, 2024Updated last year
- Cross-architecture instruction counting for CTF solvingโ48Mar 13, 2022Updated 4 years ago
- It's a CLI Unity DLL Injector.โ12Aug 8, 2019Updated 6 years ago
- Locate intersting files in grayhatwarfare.com open S3 buckets and Azure blobs automatically!โ28Apr 6, 2022Updated 3 years ago
- burpplugin ๆ นๆฎไธ้็ฅ่ดด๏ผๅฎ็ฐไบไธไธburpๆไปถ็ๆฌ็ๅฐๅ๏ผไธ้ฎ็ๆshellโ14Jul 15, 2019Updated 6 years ago
- Demonstrates iterative FGSM on Apple's NeuralHash model.โ16Aug 19, 2021Updated 4 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โฆโ19Mar 8, 2024Updated 2 years ago
- More simple and convenient C++ library to manipulate json and plist, maybe better than libplist.โ18Feb 7, 2025Updated last year
- web ctf edu challsโ12Oct 15, 2023Updated 2 years ago
- A collection of awesome software, libraries, learning tutorials, documents and books, awesome resources and cool stuff about ARM and Windโฆโ50Jan 6, 2024Updated 2 years ago
- WaniCTF 2023 official writeup & source codeโ25Jun 7, 2023Updated 2 years ago
- 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
- ๐ก Ease file sharing during pentest/CTF ๐ธโ11Oct 18, 2022Updated 3 years ago
- Write-ups for various CTFโ218Sep 2, 2025Updated 6 months ago
- Fastest Tiktok Reporterโ13Nov 11, 2024Updated last year
- Linux/x86 - Egghunter Reverse TCP Shell dynamic IP and port Shellcodeโ12Jul 30, 2021Updated 4 years ago
- The GSM parser used for GSMmap and SnoopSnitch (SRLabs)โ37Feb 19, 2015Updated 11 years ago
- A BinaryNinja plugin for contextual gadget analysis and semantic/hueristic based querying.โ67Feb 23, 2026Updated 3 weeks ago