Alternatives and similar repositories for implementations:

Users that are interested in implementations are comparing it to the libraries listed below

• lifting-bits / codereason
  Semantic Binary Code Analysis Framework
  ☆125Updated 9 years ago
• feliam / pysymemu
  An amd64 symbolic emulator
  ☆313Updated 3 years ago
• oblivia-simplex / roper
  Return Oriented Programme Evolution with ROPER
  ☆168Updated 5 years ago
• cseagle / fREedom
  capstone based disassembler for extracting to binnavi
  ☆227Updated 8 years ago
• montyly / gueb
  ☆236Updated 6 years ago
• kokjo / universalrop
  Small tool for generating ropchains using unicorn and z3
  ☆197Updated 6 years ago
• lifting-bits / grr
  High-throughput fuzzer and emulator of DECREE binaries
  ☆243Updated 5 years ago
• mothran / aflpin
  aflpin enables afl to fuzz blackbox binaries using a pin tool to trace execution branches.
  ☆171Updated 10 years ago
• JonathanSalwan / abf
  Abstract Binary Format Manipulation - ELF, PE and Mach-O format
  ☆117Updated 9 years ago
• angr / simuvex
  [DEPRECATED] A symbolic execution engine for the VEX IR
  ☆79Updated 6 years ago
• thomasdullien / heap_history_viewer
  A program to draw rectangles from heap traces.
  ☆132Updated 4 years ago
• felixwilhelm / xenpwn
  Xenpwn is a toolkit for memory access tracing using hardware-assisted virtualization
  ☆144Updated 8 years ago
• utds3lab / pemu
  ☆104Updated 9 years ago
• RolfRolles / SynesthesiaYS
  Synesthesia, implemented as Yices scripts
  ☆93Updated 7 years ago
• maurer / symfuzz
  ☆61Updated 9 years ago
• keystone-engine / placeholder
  A place holder for Keystone repo. See https://github.com/keystone-engine/keystone for the real stuff
  ☆67Updated 2 years ago
• roachspray / opcde2017
  Slides and very basic examples
  ☆111Updated 7 years ago
• awailly / nrop
  Automated Return-Oriented Programming Chaining
  ☆83Updated 8 years ago
• trailofbits / binjascripts
  Scripts for Binary Ninja
  ☆254Updated last year
• jeffball55 / rop_compiler
  An open source, multi-architecture ROP compiler written in python
  ☆161Updated 7 years ago
• bnagy / afl-trivia
  Short, unrelated helper scripts for users of AFL (the fuzzer)
  ☆110Updated 8 years ago
• S2E / s2e-old
  This is the archived S2E 1.0 repo. We do not maintain it anymore.
  ☆314Updated 4 years ago
• JonathanSalwan / stuffz
  Some low-level stuff
  ☆105Updated 9 months ago
• jkinder / jakstab
  The Jakstab static analysis platform for binaries
  ☆158Updated 5 years ago
• RUB-SysSec / Marx
  Uncovering Class Hierarchies in C++ Programs
  ☆126Updated 2 years ago
• felixwilhelm / mario_baslr
  PoC for breaking hypervisor ASLR using branch target buffer collisions
  ☆166Updated 8 years ago
• AirbusCyber / grap
  grap: define and match graph patterns within binaries
  ☆170Updated 3 years ago
• pakt / ropc
  A Turing complete ROP compiler
  ☆319Updated 11 years ago
• codelion / pathgrind
  Path based Dynamic Analysis
  ☆114Updated 7 years ago
• blankwall / Python_Pin
  ☆159Updated 9 years ago