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.

☆25Dec 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.

• LAYER7KR / how2pwn

  View on GitHub
  ☆15Mar 25, 2017Updated 9 years ago
• bkth / chakra-bugs

  View on GitHub
  ☆30Jun 18, 2020Updated 6 years ago
• piggybird / ctf

  View on GitHub
  ☆11Dec 1, 2015Updated 10 years ago
• ruckuus / kernel-abuse

  View on GitHub
  collection of evil code
  ☆14Feb 20, 2013Updated 13 years ago
• kamou / pimp

  View on GitHub
  Triton based R2 plugin for concolic execution and total control
  ☆36Nov 26, 2018Updated 7 years ago
• AI Agents on DigitalOcean Gradient AI Platform • Ad
  Build production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
• 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 10 years ago
• feliam / CVE-2013-2729

  View on GitHub
  ☆24Mar 3, 2020Updated 6 years ago
• vngkv123 / exploitation

  View on GitHub
  ¯\_(ツ)_/¯
  ☆29Dec 16, 2019Updated 6 years ago
• saaramar / execve_exploit

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

  View on GitHub
  zygotebench - benchmark process creation speed on Android
  ☆14Dec 4, 2013Updated 12 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.
  ☆29Jun 13, 2017Updated 9 years ago
• bo13oy / flash

  View on GitHub
  ☆11Jun 13, 2017Updated 9 years ago
• zwclose / hidusb2

  View on GitHub
  hidusb.sys source code, Windows 10 hidusb.sys fully reversed
  ☆32Jun 15, 2017Updated 9 years ago
• koffiedrinker / writeups

  View on GitHub
  CTF writeups
  ☆12Jul 2, 2017Updated 9 years ago
• Simple, predictable pricing with DigitalOcean hosting • Ad
  Always know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
• 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
• 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
• agustingianni / memrepl

  View on GitHub
  Memory inspection REPL interface
  ☆45Oct 14, 2017Updated 9 years ago
• m101 / hsploit

  View on GitHub
  HEVD Multi-Exploit by m_101
  ☆23Jun 24, 2018Updated 8 years ago
• Vector35 / shuriken16

  View on GitHub
  Retro Game Engine inspired by the SNES-era
  ☆25Sep 15, 2022Updated 4 years ago
• andreafioraldi / taint-with-frida

  View on GitHub
  just an experiment
  ☆22Sep 5, 2018Updated 8 years ago
• therealdreg / linux_kernel_debug_disassemble_ida_vmware

  View on GitHub
  Helper script for Linux kernel disassemble or debugging with IDA Pro on VMware + GDB stub (including some symbols helpers)
  ☆38Aug 11, 2023Updated 3 years ago
• VirtualBoBs / QEMUSLNetFuzz

  View on GitHub
  Stateless Network Fuzzer for QEMU (Targeting SLiRP)
  ☆17Oct 19, 2020Updated 6 years ago
• StrikerX3 / whvpclient

  View on GitHub
  Windows Hypervisor Platform client
  ☆31Jun 13, 2018Updated 8 years ago
• Managed Database hosting by DigitalOcean • Ad
  PostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
• mncoppola / StringIPC

  View on GitHub
  CSAW CTF 2015 Linux kernel exploitation challenge
  ☆39Nov 16, 2015Updated 10 years ago
• long123king / grep

  View on GitHub
  Grep-like WinDbg extension
  ☆42Apr 7, 2017Updated 9 years ago
• dougallj / dj_ida_plugins

  View on GitHub
  Plugins for IDA Pro and Hex-Rays
  ☆45Jun 4, 2018Updated 8 years ago
• avatarone / s2e

  View on GitHub
  S2E - A Platform for In-Vivo Multi-Path Software Analysis
  ☆16Jan 18, 2017Updated 9 years ago
• marcograss / rbasefind

  View on GitHub
  A firmware base address search tool.
  ☆50Jan 31, 2026Updated 8 months ago
• jeffball55 / rop_compiler

  View on GitHub
  An open source, multi-architecture ROP compiler written in python
  ☆163Jun 14, 2017Updated 9 years ago
• ixty / xarch_shellcode

  View on GitHub
  Cross Architecture Shellcode in C
  ☆212Aug 24, 2016Updated 10 years ago
• ryaoi / lldb-peda

  View on GitHub
  just my way of printing info
  ☆16Feb 9, 2021Updated 5 years ago
• pwning / defcon25-public

  View on GitHub
  Publicly released tools/plugins from PPP for DEFCON 25 CTF Finals
  ☆145Oct 28, 2018Updated 8 years ago
• 1-Click AI Models by DigitalOcean Gradient • Ad
  Deploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
• lgeek / dynamorio_pin_escape

  View on GitHub
  ☆60Feb 8, 2016Updated 10 years ago
• hexpresso / WU-2016

  View on GitHub
  ☆15Apr 9, 2018Updated 8 years ago
• michalbednarski / OrganizerTransaction

  View on GitHub
  PoC for CVE-2021-39749, allowing starting arbitrary Activity on Android 12L Beta
  ☆38Apr 16, 2022Updated 4 years ago
• enovella / exploitrainings

  View on GitHub
  Exploitation on different architectures (x86, x64, arm, mips, avr)
  ☆38Oct 23, 2018Updated 8 years ago
• deresz / unpacking

  View on GitHub
  Some tutorials and examples for generic unpacking JAVA, .NET and x86/x64 code
  ☆51May 3, 2016Updated 10 years ago
• wapiflapi / wsym

  View on GitHub
  Adds symbols to a ELF file.
  ☆65Jul 25, 2015Updated 11 years ago
• cosine0 / amphitrite

  View on GitHub
  Symbolic debugging tool using JonathanSalwan/Triton
  ☆25Oct 24, 2018Updated 8 years ago