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
• floyd-fuh / afl-fuzzing-scripts
  Fuzzing scripts for the American Fuzzy Lop (AFL) fuzzer
  ☆48Updated 9 years ago
• FSecureLABS / 3d-accelerated-exploitation
  3D Accelerated Exploitation
  ☆53Updated 6 years ago
• bkth / 34c3ctf
  ☆40Updated 7 years ago
• ReverseLab / kernel-pwn-challenge
  Source code for building an exploitable linux kernel challenge iso.
  ☆45Updated 11 years ago
• andreafioraldi / pwntrace
  Use ltrace with pwnlib.tubes.process instances, useful for heap exploitation. Pwntools rocks!
  ☆52Updated 7 years ago
• rh0dev / expdev
  exploit development
  ☆49Updated 7 years ago
• renorobert / virtualbox-nat-dhcp-bugs
  ☆30Updated 6 years ago
• niklasb / 34c3ctf-sols
  Solutions for my 34C3CTF challenges
  ☆21Updated 7 years ago
• siberas / arpwn
  Analysis tools and exploit sample scripts for Adobe Reader 10/11 and Acrobat Reader DC
  ☆79Updated 9 years ago
• niklasb / memfuzzing
  Memory fuzzing based on sinn3r's In Memory Fuzzer
  ☆25Updated 13 years ago
• MotherFuzzers / meetups
  Materials from Fuzzing Bay Area meetups
  ☆68Updated 5 years ago
• blackzert / aslur
  ☆49Updated 7 years ago
• o-o-overflow / dc2019q-LCARS000
  ☆17Updated 6 years ago
• ChrisTheCoolHut / Easy-Pickings
  Automatic function exporting and linking for fuzzing cross-architecture binaries.
  ☆50Updated 7 years ago
• stevenseeley / bridgit
  ☆22Updated 6 years ago
• vanhauser-thc / afl-pin
  run AFL with pintool
  ☆66Updated 5 years ago
• niklasb / 35c3ctf-challs
  ☆90Updated 6 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
  ☆36Updated 8 years ago
• artemdinaburg / binfuzz
  Binfuzz.js: A Binary Fuzzer in JavaScript
  ☆29Updated 12 years ago
• CENSUS / windows_10_rs2_rs3_exploitation_primitives
  Windows 10 RS2/RS3 exploitation primitives based on the OffensiveCon 2018 talk
  ☆56Updated 7 years ago
• vanhauser-thc / afl-patches
  Patches to afl to fix bugs or add enhancements
  ☆81Updated 6 years ago
• saelo / foxpwn
  Exploit code for CVE-2016-9066
  ☆43Updated 8 years ago
• ymgve / ctf-writeups
  various CTF writeups
  ☆60Updated 7 years ago
• kitctf / nginxpwn
  Exploitation Training -- CVE-2013-2028: Nginx Stack Based Buffer Overflow
  ☆55Updated 9 years ago
• bkth / Attacking-Edge-Through-the-JavaScript-Compiler
  Attacking-Edge-Through-the-JavaScript-Compiler
  ☆92Updated 6 years ago
• MozillaSecurity / libfuzzer-python-bridge
  INACTIVE - http://mzl.la/ghe-archive - A Python3 bridge for implementing custom libFuzzer mutators
  ☆74Updated 6 years ago
• yannayl / ctf-writeups
  Write ups of solution for CTF challenges I solved
  ☆25Updated 4 years ago
• cseagle / ida_clemency
  IDA cLEMENCy Tools
  ☆62Updated 8 years ago
• Proteas / fuzzers_based_on_afl
  specific fuzzers based on AFL and fuzzing results
  ☆41Updated 8 years ago