🐍 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
Sorting:
- A mix of learning resources, my notes and mostly ctf writeup of sandbox escape challenges☆10Jun 6, 2023Updated 2 years ago
- ios app signature server,Using the Apple Undisclosed Web Interface Signing Application.☆10Apr 21, 2019Updated 6 years ago
- Reverse_Shell Implemented in C++ with the ability to bypass sandboxes☆12Apr 2, 2021Updated 4 years ago
- Reference of Vehicle Security。☆13Aug 13, 2021Updated 4 years ago
- It's a CLI Unity DLL Injector.☆12Aug 8, 2019Updated 6 years ago
- Subdomain finder☆10Mar 13, 2025Updated 11 months ago
- Some CTF Write-ups☆27Feb 7, 2022Updated 4 years ago
- More simple and convenient C++ library to manipulate json and plist, maybe better than libplist.☆18Feb 7, 2025Updated last year
- Client side tools to play the CTS contest☆47Jul 9, 2021Updated 4 years ago
- Demonstrates iterative FGSM on Apple's NeuralHash model.☆16Aug 19, 2021Updated 4 years ago
- Attack & Defense CTF dashboard☆16Oct 7, 2021Updated 4 years ago
- burpplugin 根据一遍神贴,实现了一下burp插件版本的小刀,一键生成shell☆14Jul 15, 2019Updated 6 years ago
- iOS crash log symbolication tool for jailbroken devices☆18Jan 30, 2026Updated last month
- Repo containing course materials from our paper, "Pwn Lessons Made Easy With Docker: Towards an Undergraduate Vulnerability Research Cybe…☆19Mar 8, 2024Updated last year
- Various exploits for SerenityOS☆17Oct 29, 2021Updated 4 years ago
- xcode logos tweak demo☆16Jan 31, 2025Updated last year
- Demo of using System Shell private API to render view over SpringBoard☆20Sep 16, 2024Updated last year
- Windows iTunes full technology, login, purchase, install IPA, use account authorization to the device and more.☆14Apr 21, 2019Updated 6 years ago
- A collection of MacOS jailbreak applications, IPA, and JailbreakMe websites.☆36Jun 20, 2024Updated last year
- Recreating and reviewing the Windows persistence methods☆39Nov 18, 2021Updated 4 years ago
- QilingLab challenge writeup☆22Sep 25, 2021Updated 4 years ago
- Skywalking远程代码执行漏洞验证☆19Feb 22, 2021Updated 5 years ago
- CTF Challenge☆18Nov 20, 2020Updated 5 years ago
- Simple program to read Apple battery information as json, text or in a format suitable for a shell prompt☆19Mar 8, 2020Updated 5 years ago
- ☆17Jan 27, 2022Updated 4 years ago
- some leaked src code for known and unknown malwares☆23Aug 15, 2025Updated 6 months ago
- ☆19Mar 13, 2022Updated 3 years ago
- Android Hacking Event 2017 Write-up☆44Jun 27, 2017Updated 8 years ago
- some research results of sep☆20Apr 9, 2021Updated 4 years ago
- Code profiler based on Frida☆32Mar 10, 2021Updated 4 years ago
- Getting better stacks and backtraces in Frida☆61Feb 20, 2026Updated last week
- Cross-architecture instruction counting for CTF solving☆48Mar 13, 2022Updated 3 years ago
- I wanted a nicer signature scanner that worked the way I wanted. Include however you want in your own DLL project.☆45Oct 18, 2025Updated 4 months ago
- This has all of my resources advised in my youtube channel for the TMUA exam☆20Jan 7, 2025Updated last year
- By manipulating LSASS memory flags like UseLogonCredential and IsCredGuardEnabled, this repo demonstrates how Credential Guard can be byp…☆14May 25, 2025Updated 9 months ago
- iPhone AppStore Tweak,AppStore Keybag and all cache file、Junk files cleanup.☆21Apr 21, 2019Updated 6 years ago
- Solution for cryptohack challenges☆21Oct 6, 2021Updated 4 years ago
- Protobuf file descriptor extractor☆23Jun 15, 2019Updated 6 years ago
- A collection of dumped iOS and macOS runtime headers.☆23Feb 16, 2026Updated 2 weeks ago