z3 scripts and ctf challenge solutions.
☆24Dec 21, 2022Updated 3 years ago
Alternatives and similar repositories for z3-stuff
Users that are interested in z3-stuff are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆15Mar 25, 2017Updated 8 years ago
- ☆31Jun 18, 2020Updated 5 years ago
- zygotebench - benchmark process creation speed on Android☆14Dec 4, 2013Updated 12 years ago
- Triton based R2 plugin for concolic execution and total control☆33Nov 26, 2018Updated 7 years ago
- collection of evil code☆14Feb 20, 2013Updated 13 years ago
- Targeted patcher for CGC binaries. CGrex was used only during the CGC qualifier event, and is OBSOLETE. For the CFE, we used patcherex (g…☆15Sep 2, 2016Updated 9 years ago
- The best way to learn Frida, is practicing. This is an example of scripts to use in a practical workshop.☆28Jun 13, 2017Updated 8 years ago
- ☆24Mar 3, 2020Updated 6 years ago
- collection of scripts and stuff☆12Aug 15, 2016Updated 9 years ago
- CTF writeups☆13Jul 2, 2017Updated 8 years ago
- My personal notes ✍️☆35Dec 20, 2023Updated 2 years ago
- Materials for CTF101 Day 2 (Systems Security)☆11Sep 11, 2017Updated 8 years ago
- Pulled out Linux kernel code to run in userland so they could be targeted by AFL and KLEE☆20Jan 29, 2020Updated 6 years ago
- ☆13Jun 13, 2017Updated 8 years ago
- PoC for CVE-2021-39749, allowing starting arbitrary Activity on Android 12L Beta☆31Apr 16, 2022Updated 3 years ago
- Writeup of the Oracle DSR stack buffer overflow vulnerability (DRA) CVE-2014-6598☆14Jan 29, 2015Updated 11 years ago
- Growing list of potentially dangerous PHP functions☆52May 1, 2019Updated 6 years ago
- Hardcore corruption of my execve() vulnerability in WSL☆216Feb 2, 2018Updated 8 years ago
- Retro Game Engine inspired by the SNES-era☆25Sep 15, 2022Updated 3 years ago
- hidusb.sys source code, Windows 10 hidusb.sys fully reversed☆35Jun 15, 2017Updated 8 years ago
- Helper script for Linux kernel disassemble or debugging with IDA Pro on VMware + GDB stub (including some symbols helpers)☆38Aug 11, 2023Updated 2 years ago
- Stateless Network Fuzzer for QEMU (Targeting SLiRP)☆17Oct 19, 2020Updated 5 years ago
- Memory inspection REPL interface☆45Oct 14, 2017Updated 8 years ago
- HEVD Multi-Exploit by m_101☆23Jun 24, 2018Updated 7 years ago
- This repository will be containing all kind of additional resources that I think might be useful for someone fuzzing document (pdf, doc, …☆15Mar 22, 2020Updated 6 years ago
- Windows Hypervisor Platform client☆31Jun 13, 2018Updated 7 years ago
- just an experiment☆22Sep 5, 2018Updated 7 years ago
- just my way of printing info☆16Feb 9, 2021Updated 5 years ago
- An open source, multi-architecture ROP compiler written in python☆163Jun 14, 2017Updated 8 years ago
- A firmware base address search tool.☆48Jan 31, 2026Updated last month
- ☆60Feb 8, 2016Updated 10 years ago
- Plugins for IDA Pro and Hex-Rays☆46Jun 4, 2018Updated 7 years ago
- Exploitation on different architectures (x86, x64, arm, mips, avr)☆38Oct 23, 2018Updated 7 years ago
- Cross Architecture Shellcode in C☆209Aug 24, 2016Updated 9 years ago
- Internet Explorer MemoryProtection Mitigation☆32Jul 17, 2014Updated 11 years ago
- Grep-like WinDbg extension☆45Apr 7, 2017Updated 8 years ago
- A repository to store Z3-python scripts you can use as examples, reminders, whatever.☆281Aug 22, 2020Updated 5 years ago
- Static and Dynamic exploit analysis framework.☆23Jul 14, 2014Updated 11 years ago
- Adds symbols to a ELF file.☆65Jul 25, 2015Updated 10 years ago