Alternatives and similar repositories for z3-stuff

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

• rh0dev / expdev
  exploit development
  ☆49Updated 7 years ago
• saelo / feuerfuchs
  Files for the "feuerfuchs" challenge of 33C3 CTF. See the greeting message in server.py for more information about the challenge
  ☆39Updated 8 years ago
• ReverseLab / kernel-pwn-challenge
  Source code for building an exploitable linux kernel challenge iso.
  ☆46Updated 11 years ago
• floyd-fuh / afl-fuzzing-scripts
  Fuzzing scripts for the American Fuzzy Lop (AFL) fuzzer
  ☆48Updated 9 years ago
• renorobert / virtualbox-nat-dhcp-bugs
  ☆30Updated 6 years ago
• bkth / chakra-bugs
  ☆31Updated 5 years ago
• vanhauser-thc / afl-simulate
  Simulate afl-fuzz
  ☆16Updated 5 years ago
• stevenseeley / bridgit
  ☆22Updated 6 years ago
• niklasb / memfuzzing
  Memory fuzzing based on sinn3r's In Memory Fuzzer
  ☆26Updated 13 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
• o-o-overflow / dc2019q-LCARS000
  ☆17Updated 6 years ago
• Manouchehri / angr-WIP
  This repository is for binaries that are currently being worked on to be solved by angr.
  ☆11Updated 8 years ago
• yannayl / ctf-writeups
  Write ups of solution for CTF challenges I solved
  ☆25Updated 3 years ago
• ymgve / ctf-writeups
  various CTF writeups
  ☆60Updated 7 years ago
• JeffJerseyCow / fuzzle
  A stateful fuzzing engine.
  ☆45Updated 6 years ago
• xuechiyaobai / V8_November_2017
  ☆74Updated 7 years ago
• bkth / 34c3ctf
  ☆40Updated 7 years ago
• FSecureLABS / 3d-accelerated-exploitation
  3D Accelerated Exploitation
  ☆54Updated 6 years ago
• mrowensnobody / presentation
  ☆43Updated 6 years ago
• saelo / foxpwn
  Exploit code for CVE-2016-9066
  ☆43Updated 8 years ago
• Proteas / fuzzers_based_on_afl
  specific fuzzers based on AFL and fuzzing results
  ☆41Updated 8 years ago
• tencentbladeteam / css_2019_tools
  Tools released in CSS 2019
  ☆38Updated 5 years ago
• spiperac / armroper
  ARM rop chain gadget searcher
  ☆38Updated 7 years ago
• niklasb / 34c3ctf-sols
  Solutions for my 34C3CTF challenges
  ☆21Updated 7 years ago
• artemdinaburg / binfuzz
  Binfuzz.js: A Binary Fuzzer in JavaScript
  ☆30Updated 11 years ago
• o-o-overflow / dc2019q-rtooos
  pwning challenge with a minimal hypervisor on apple hypervisor framework
  ☆13Updated 6 years ago
• exodusintel / magellan_PoC
  Magellan PoC
  ☆34Updated 6 years ago
• yoava333 / ctf-writeups
  ☆14Updated 6 years ago
• pnfsoftware / PleaseROP
  Architecture-agnostic ROP gadget finder using JEB's IR
  ☆22Updated 7 years ago
• ertlnagoya / lwip-bug-finder
  lwipのバグを半自動検出くん。First introduced in 「2018年 暗号と情報セキュリティシンポジウム」（SCIS2018).
  ☆14Updated 2 years ago