Alternatives and similar repositories for multiverse

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

• angr / patcherex
  Shellphish's automated patching engine, originally created for the Cyber Grand Challenge.
  ☆262Updated 3 months ago
• s3team / uroboros
  Infrastructure for Reassembleable Disassembling and Transformation
  ☆207Updated 2 months ago
• jkinder / jakstab
  The Jakstab static analysis platform for binaries
  ☆161Updated 5 years ago
• S2E / s2e-old
  This is the archived S2E 1.0 repo. We do not maintain it anymore.
  ☆313Updated 5 years ago
• wmkhoo / taintgrind
  A taint-tracking plugin for the Valgrind memory checking tool
  ☆263Updated 6 months ago
• pakt / ropc
  A Turing complete ROP compiler
  ☆327Updated 12 years ago
• GrammaTech / gtirb
  Intermediate Representation for Binary analysis and transformation
  ☆345Updated 2 weeks ago
• HexHive / BOPC
  Block Oriented Programming -- Compiler
  ☆186Updated 5 years ago
• lifting-bits / grr
  High-throughput fuzzer and emulator of DECREE binaries
  ☆241Updated 6 years ago
• 0vercl0k / z3-playground
  A repository to store Z3-python scripts you can use as examples, reminders, whatever.
  ☆280Updated 5 years ago
• axt / angr-utils
  Handy utilities for the angr binary analysis framework, most notably CFG visualization
  ☆296Updated 6 years ago
• ampotos / dynStruct
  Reverse engineering tool for automatic structure recovering and memory use analysis based on DynamoRIO and Capstone
  ☆325Updated 6 years ago
• HexHive / T-Fuzz
  ☆253Updated 5 years ago
• angr / pyvex
  Python bindings for Valgrind's VEX IR.
  ☆369Updated this week
• columbia / egalito
  Self-hosting binary instrumentation framework for security research
  ☆217Updated 2 years ago
• HexHive / retrowrite
  RetroWrite -- Retrofitting compiler passes through binary rewriting
  ☆729Updated 7 months ago
• SQLab / symgdb
  SymGDB - symbolic execution plugin for gdb
  ☆218Updated 7 years ago
• talos-vulndev / afl-dyninst
  American Fuzzy Lop + Dyninst == AFL Fuzzing blackbox binaries
  ☆188Updated 4 years ago
• RUB-SysSec / syntia
  Program synthesis based deobfuscation framework for the USENIX 2017 paper "Syntia: Synthesizing the Semantics of Obfuscated Code"
  ☆313Updated 5 years ago
• sslab-gatech / qsym
  QSYM: A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing
  ☆653Updated 3 years ago
• RUB-SysSec / redqueen
  ☆393Updated 4 years ago
• feliam / pysymemu
  An amd64 symbolic emulator
  ☆313Updated 4 years ago
• RUB-SysSec / kAFL
  Code for the USENIX 2017 paper: kAFL: Hardware-Assisted Feedback Fuzzing for OS Kernels
  ☆587Updated 6 years ago
• bitblaze-fuzzball / fuzzball
  FuzzBALL: Vine-based Binary Symbolic Execution
  ☆215Updated 3 months ago
• d0c-s4vage / gramfuzz
  gramfuzz is a grammar-based fuzzer that lets one define complex grammars to generate text and binary data formats.
  ☆259Updated 5 years ago
• pbiernat / ripr
  Package Binary Code as a Python class using Binary Ninja and Unicorn Engine
  ☆408Updated 3 years ago
• enzet / symbolic-execution
  History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)
  ☆494Updated last year
• gamozolabs / falkervisor_grilled_cheese
  ☆173Updated 3 years ago
• RolfRolles / GhidraPAL
  Ghidra Program Analysis Library
  ☆344Updated 2 years ago
• pzread / unstrip
  ELF Unstrip Tool
  ☆107Updated 10 years ago