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
• ReverseLab / kernel-pwn-challenge
  Source code for building an exploitable linux kernel challenge iso.
  ☆44Updated 11 years ago
• o-o-overflow / dc2019q-rtooos
  pwning challenge with a minimal hypervisor on apple hypervisor framework
  ☆13Updated 5 years ago
• pnfsoftware / PleaseROP
  Architecture-agnostic ROP gadget finder using JEB's IR
  ☆22Updated 7 years ago
• stevenseeley / bridgit
  ☆22Updated 5 years ago
• CENSUS / windows_10_rs2_rs3_exploitation_primitives
  Windows 10 RS2/RS3 exploitation primitives based on the OffensiveCon 2018 talk
  ☆55Updated 6 years ago
• floyd-fuh / afl-fuzzing-scripts
  Fuzzing scripts for the American Fuzzy Lop (AFL) fuzzer
  ☆47Updated 8 years ago
• bkth / chakra-bugs
  ☆31Updated 4 years ago
• FSecureLABS / 3d-accelerated-exploitation
  3D Accelerated Exploitation
  ☆54Updated 5 years ago
• niklasb / memfuzzing
  Memory fuzzing based on sinn3r's In Memory Fuzzer
  ☆26Updated 12 years ago
• xuechiyaobai / V8_November_2017
  ☆74Updated 7 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
• n30m1nd / painless_intro_ptmalloc2
  Proof of Concept files for SensePost's blog - Painless intro to the linux userland heap
  ☆22Updated 7 years ago
• renorobert / virtualbox-nat-dhcp-bugs
  ☆30Updated 6 years ago
• tencentbladeteam / css_2019_tools
  Tools released in CSS 2019
  ☆38Updated 5 years ago
• cosine0 / amphitrite
  Symbolic debugging tool using JonathanSalwan/Triton
  ☆25Updated 6 years ago
• exodusintel / magellan_PoC
  Magellan PoC
  ☆34Updated 6 years ago
• bkth / 34c3ctf
  ☆40Updated 7 years ago
• bkth / optimize_rce_chakra
  keynote I gave at GreHack 2019
  ☆18Updated 5 years ago
• xinali / AfdkoFuzz
  adobe afdko fuzz
  ☆41Updated 5 years ago
• atdog / wasm_generator
  ☆13Updated 4 years ago
• rh0dev / expdev
  exploit development
  ☆49Updated 6 years ago
• bfosterjr / ufgraph
  ☆39Updated 3 years ago
• mrowensnobody / presentation
  ☆44Updated 6 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
• wmliang / windowsland
  HITCON CTF 2018
  ☆45Updated 6 years ago
• o-o-overflow / dc2019q-LCARS000
  ☆18Updated 5 years ago
• demi6od / Smashing_The_Browser_2
  A Modern Approach
  ☆10Updated 9 years ago
• yannayl / ctf-writeups
  Write ups of solution for CTF challenges I solved
  ☆25Updated 3 years ago
• vanhauser-thc / afl-simulate
  Simulate afl-fuzz
  ☆16Updated 5 years ago