sam-b/z3-stuff external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

sam-b/z3-stuff

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/sam-b/z3-stuff)

Close

sam-b / z3-stuffView on GitHubMore

• External links
• Readme badge

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

• niktay / ctf101-systems-security-2017

  View on GitHub
  Materials for CTF101 Day 2 (Systems Security)
  ☆11Sep 11, 2017Updated 8 years ago
• crmulliner / zygotebench

  View on GitHub
  zygotebench - benchmark process creation speed on Android
  ☆13Dec 4, 2013Updated 12 years ago
• 0xmilkmix / sandbox

  View on GitHub
  collection of scripts and stuff
  ☆12Aug 15, 2016Updated 9 years ago
• feliam / CVE-2013-2729

  View on GitHub
  ☆24Mar 3, 2020Updated 6 years ago
• mechaphish / cgrex

  View on GitHub
  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
• as0ler / Frida_Exercise

  View on GitHub
  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
• koffiedrinker / writeups

  View on GitHub
  CTF writeups
  ☆13Jul 2, 2017Updated 8 years ago
• LAYER7KR / how2pwn

  View on GitHub
  ☆15Mar 25, 2017Updated 8 years ago
• bo13oy / flash

  View on GitHub
  ☆13Jun 13, 2017Updated 8 years ago
• KPN-CISO / DRA_writeup

  View on GitHub
  Writeup of the Oracle DSR stack buffer overflow vulnerability (DRA) CVE-2014-6598
  ☆14Jan 29, 2015Updated 11 years ago
• kamou / pimp

  View on GitHub
  Triton based R2 plugin for concolic execution and total control
  ☆33Nov 26, 2018Updated 7 years ago
• bkth / chakra-bugs

  View on GitHub
  ☆31Jun 18, 2020Updated 5 years ago
• VirtualBoBs / QEMUSLNetFuzz

  View on GitHub
  Stateless Network Fuzzer for QEMU (Targeting SLiRP)
  ☆17Oct 19, 2020Updated 5 years ago
• secgroup / xxblind

  View on GitHub
  eXtremely fast data eXtraction via blind SQL injection
  ☆14Aug 15, 2012Updated 13 years ago
• lanjelot / cryptopal

  View on GitHub
  Python library created while solving the Matasano Cryptopals challenges
  ☆17Jun 17, 2021Updated 4 years ago
• 0x3a / tools

  View on GitHub
  A collection of tools mostly written in Python.
  ☆15Feb 4, 2015Updated 11 years ago
• ryaoi / lldb-peda

  View on GitHub
  just my way of printing info
  ☆16Feb 9, 2021Updated 5 years ago
• connglli / blog-notes

  View on GitHub
  My personal notes ✍️
  ☆35Dec 20, 2023Updated 2 years ago
• forrestthewoods / fts_pdbsrc

  View on GitHub
  ☆16Oct 31, 2021Updated 4 years ago
• v-p-b / DangerousPHPFunctions

  View on GitHub
  Growing list of potentially dangerous PHP functions
  ☆52May 1, 2019Updated 6 years ago
• zwclose / hidusb2

  View on GitHub
  hidusb.sys source code, Windows 10 hidusb.sys fully reversed
  ☆35Jun 15, 2017Updated 8 years ago
• grimm-co / linuxklee

  View on GitHub
  Pulled out Linux kernel code to run in userland so they could be targeted by AFL and KLEE
  ☆20Jan 29, 2020Updated 6 years ago
• hexpresso / WU-2016

  View on GitHub
  ☆15Apr 9, 2018Updated 7 years ago
• fb1h2s / sandy

  View on GitHub
  Static and Dynamic exploit analysis framework.
  ☆23Jul 14, 2014Updated 11 years ago
• saaramar / execve_exploit

  View on GitHub
  Hardcore corruption of my execve() vulnerability in WSL
  ☆216Feb 2, 2018Updated 8 years ago
• agustingianni / memrepl

  View on GitHub
  Memory inspection REPL interface
  ☆45Oct 14, 2017Updated 8 years ago
• mephi42 / ctf

  View on GitHub
  My solutions for CTF challenges
  ☆75Dec 16, 2025Updated 2 months ago
• shellphish / shellphish-afl

  View on GitHub
  A pip wrapper around AFL.
  ☆87Apr 12, 2021Updated 4 years ago
• dougallj / dj_ida_plugins

  View on GitHub
  Plugins for IDA Pro and Hex-Rays
  ☆46Jun 4, 2018Updated 7 years ago
• Vector35 / shuriken16

  View on GitHub
  Retro Game Engine inspired by the SNES-era
  ☆25Sep 15, 2022Updated 3 years ago
• a1ext / ida-embed-arch-disasm

  View on GitHub
  Allows IDA PRO to disassemble x86-64 code (WOW64) in 32-bit database
  ☆27Dec 27, 2021Updated 4 years ago
• m101 / hsploit

  View on GitHub
  HEVD Multi-Exploit by m_101
  ☆23Jun 24, 2018Updated 7 years ago
• lmangani / node_ssl_logger

  View on GitHub
  Decrypt and log process SSL traffic via Frida Injection
  ☆18Feb 25, 2022Updated 4 years ago
• jndok / iokit-dumper

  View on GitHub
  OS X tool for dumping IOKit hierarchies in DOT format.
  ☆46Feb 7, 2016Updated 10 years ago
• zh-explorer / black_zone

  View on GitHub
  The project black zone
  ☆18Nov 9, 2017Updated 8 years ago
• promised-lu / MemoryProtection

  View on GitHub
  Internet Explorer MemoryProtection Mitigation
  ☆32Jul 17, 2014Updated 11 years ago
• legitbs / quals-2014

  View on GitHub
  quals-2014
  ☆21Nov 3, 2014Updated 11 years ago
• lgeek / dynamorio_pin_escape

  View on GitHub
  ☆61Feb 8, 2016Updated 10 years ago
• andreafioraldi / taint-with-frida

  View on GitHub
  just an experiment
  ☆22Sep 5, 2018Updated 7 years ago