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 2 months ago
• s3team / uroboros
  Infrastructure for Reassembleable Disassembling and Transformation
  ☆206Updated last month
• wmkhoo / taintgrind
  A taint-tracking plugin for the Valgrind memory checking tool
  ☆262Updated 5 months ago
• pakt / ropc
  A Turing complete ROP compiler
  ☆327Updated 12 years ago
• S2E / s2e-old
  This is the archived S2E 1.0 repo. We do not maintain it anymore.
  ☆313Updated 5 years ago
• jkinder / jakstab
  The Jakstab static analysis platform for binaries
  ☆160Updated 5 years ago
• 0vercl0k / z3-playground
  A repository to store Z3-python scripts you can use as examples, reminders, whatever.
  ☆280Updated 5 years ago
• feliam / pysymemu
  An amd64 symbolic emulator
  ☆313Updated 4 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
• RUB-SysSec / syntia
  Program synthesis based deobfuscation framework for the USENIX 2017 paper "Syntia: Synthesizing the Semantics of Obfuscated Code"
  ☆313Updated 5 years ago
• lifting-bits / grr
  High-throughput fuzzer and emulator of DECREE binaries
  ☆242Updated 6 years ago
• gamozolabs / falkervisor_grilled_cheese
  ☆172Updated 3 years ago
• ampotos / dynStruct
  Reverse engineering tool for automatic structure recovering and memory use analysis based on DynamoRIO and Capstone
  ☆324Updated 6 years ago
• SQLab / symgdb
  SymGDB - symbolic execution plugin for gdb
  ☆218Updated 7 years ago
• HexHive / T-Fuzz
  ☆253Updated 5 years ago
• rohanpadhye / FuzzFactory
  Domain-Specific Fuzzing with Waypoints
  ☆238Updated 2 years ago
• sslab-gatech / qsym
  QSYM: A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing
  ☆653Updated 2 years ago
• enzet / symbolic-execution
  History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)
  ☆494Updated last year
• columbia / egalito
  Self-hosting binary instrumentation framework for security research
  ☆217Updated 2 years ago
• HexHive / retrowrite
  RetroWrite -- Retrofitting compiler passes through binary rewriting
  ☆727Updated 6 months ago
• bitblaze-fuzzball / fuzzball
  FuzzBALL: Vine-based Binary Symbolic Execution
  ☆214Updated 2 months ago
• googleprojectzero / functionsimsearch
  Some C++ example code to demonstrate how to perform code similarity searches using SimHashing.
  ☆560Updated 5 years ago
• pbiernat / ripr
  Package Binary Code as a Python class using Binary Ninja and Unicorn Engine
  ☆407Updated 3 years ago
• RUB-SysSec / kAFL
  Code for the USENIX 2017 paper: kAFL: Hardware-Assisted Feedback Fuzzing for OS Kernels
  ☆586Updated 6 years ago
• talos-vulndev / afl-dyninst
  American Fuzzy Lop + Dyninst == AFL Fuzzing blackbox binaries
  ☆188Updated 4 years ago
• axt / angr-utils
  Handy utilities for the angr binary analysis framework, most notably CFG visualization
  ☆295Updated 6 years ago
• angr / heaphopper
  HeapHopper is a bounded model checking framework for Heap-implementations
  ☆219Updated 4 months ago
• angr / cle
  CLE Loads Everything (at least, many binary formats!)
  ☆468Updated this week
• Cr4sh / openreil
  Open source library that implements translator and tools for REIL (Reverse Engineering Intermediate Language)
  ☆510Updated 4 years ago