Alternatives and similar repositories for z3-stuff:

Users that are interested in z3-stuff are comparing it to the libraries listed below

• saelo / feuerfuchs
  Files for the "feuerfuchs" challenge of 33C3 CTF. See the greeting message in server.py for more information about the challenge
  ☆38Updated 8 years ago
• renorobert / virtualbox-nat-dhcp-bugs
  ☆30Updated 6 years ago
• ReverseLab / kernel-pwn-challenge
  Source code for building an exploitable linux kernel challenge iso.
  ☆44Updated 11 years ago
• pnfsoftware / PleaseROP
  Architecture-agnostic ROP gadget finder using JEB's IR
  ☆22Updated 7 years ago
• bkth / chakra-bugs
  ☆31Updated 4 years ago
• Comsecuris / vgpu_shader_pocs
  PoCs for VMWare VGPU Direct 3D 10 vulnerabilities fixed in VMware Workstation 12.5.5 and 12.5.7
  ☆35Updated 7 years ago
• o-o-overflow / dc2019q-rtooos
  pwning challenge with a minimal hypervisor on apple hypervisor framework
  ☆13Updated 5 years ago
• spiperac / armroper
  ARM rop chain gadget searcher
  ☆37Updated 7 years ago
• atdog / wasm_generator
  ☆13Updated 4 years ago
• Manouchehri / angr-WIP
  This repository is for binaries that are currently being worked on to be solved by angr.
  ☆11Updated 7 years ago
• rh0dev / expdev
  exploit development
  ☆49Updated 6 years ago
• wmliang / checksec-win
  checksec tool for win10
  ☆25Updated 7 years ago
• saelo / foxpwn
  Exploit code for CVE-2016-9066
  ☆42Updated 7 years ago
• renorobert / virtualbox-vmsvga-bugs
  ☆36Updated 6 years ago
• n30m1nd / painless_intro_ptmalloc2
  Proof of Concept files for SensePost's blog - Painless intro to the linux userland heap
  ☆22Updated 7 years ago
• CENSUS / windows_10_rs2_rs3_exploitation_primitives
  Windows 10 RS2/RS3 exploitation primitives based on the OffensiveCon 2018 talk
  ☆55Updated 7 years ago
• exodusintel / magellan_PoC
  Magellan PoC
  ☆34Updated 6 years ago
• beched / ctf
  ☆13Updated 6 years ago
• FSecureLABS / 3d-accelerated-exploitation
  3D Accelerated Exploitation
  ☆54Updated 6 years ago
• 0xddaa / iddaa
  idapython scripts
  ☆11Updated 7 years ago
• sam-b / pilloc
  A pin tool to visualise heap operations
  ☆21Updated 9 years ago
• bkth / 34c3ctf
  ☆40Updated 7 years ago
• tencentbladeteam / css_2019_tools
  Tools released in CSS 2019
  ☆38Updated 5 years ago
• elttam / canary-fun
  Code samples used for the blog post
  ☆23Updated 8 years ago
• xuechiyaobai / V8_November_2017
  ☆74Updated 7 years ago
• artemdinaburg / binfuzz
  Binfuzz.js: A Binary Fuzzer in JavaScript
  ☆30Updated 11 years ago
• niklasb / memfuzzing
  Memory fuzzing based on sinn3r's In Memory Fuzzer
  ☆26Updated 13 years ago
• floyd-fuh / afl-fuzzing-scripts
  Fuzzing scripts for the American Fuzzy Lop (AFL) fuzzer
  ☆47Updated 8 years ago
• FlappyPig / WCTF-pigdriver
  by http://whereisk0shl.top/
  ☆35Updated 6 years ago
• Scepticz / Glibc-Malloc-POCs
  Exploitation primitives worth mentioning surrounding Glibc's Malloc implementation
  ☆16Updated 6 years ago