Alternatives and similar repositories for microx

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

• gamozolabs / falkervisor_beta
  ☆74Updated 4 years ago
• uxmal / nucleus
  Clone of "Compiler-Agnostic Function Detection in Binaries" source code
  ☆86Updated 3 years ago
• trailofbits / Honeybee
  An experimental high performance, fuzzing oriented Intel Processor Trace capture and analysis suite
  ☆129Updated 3 years ago
• bdcht / ccrawl
  clang-based search engine for C/C++ data structures, classes, prototypes & macros
  ☆101Updated 6 months ago
• quarkslab / sspam
  Symbolic Simplification with PAttern Matching
  ☆105Updated 8 years ago
• csl-ugent / diablo
  Diablo is a retargetable link-time binary rewriting framework
  ☆77Updated 4 years ago
• blitz / baresifter
  A bare-metal x86 instruction set fuzzer a la Sandsifter
  ☆70Updated last year
• abenkhadra / spedi
  Speculative disassembly, CFG recovery, and call-graph recovery from stripped binaries.
  ☆107Updated 6 years ago
• lifting-bits / klee
  KLEE Symbolic Execution Engine
  ☆60Updated 5 years ago
• gamozolabs / falkervisor_grilled_cheese
  ☆172Updated 2 years ago
• angr / vex
  A patched version of VEX to work with PyVEX.
  ☆108Updated 3 months ago
• hase-project / hase
  Timeless debugging with symbolic execution and processor trace
  ☆76Updated 4 years ago
• RUB-SysSec / Marx
  Uncovering Class Hierarchies in C++ Programs
  ☆127Updated 2 years ago
• cdisselkoen / pitchfork
  Detecting Spectre vulnerabilities using symbolic execution, built on angr (github.com/angr/angr)
  ☆75Updated 2 years ago
• srg-imperial / SaBRe
  Load-time selective binary rewriting
  ☆158Updated 2 years ago
• AFLplusplus / LibAFL-legacy
  AFL++ as a library: gives you all the tools necessary to craft the best fuzzer for your targets with ease!
  ☆113Updated 4 years ago
• honorarybot / PulseDbg
  Hypervisor-based debugger
  ☆189Updated 4 years ago
• lifting-bits / fennec
  Rewriting functions in compiled binaries using McSema
  ☆89Updated 5 years ago
• cojocar / bin2llvm
  A binary to LLVM translator
  ☆147Updated 6 years ago
• rmusser01 / hyperdbg
  Automatically exported from code.google.com/p/hyperdbg
  ☆106Updated 10 years ago
• s3team / loop
  Logic-Oriented Opaque Predicate Detection in Obfuscated Binary Code
  ☆51Updated 9 years ago
• trailofbits / binrec-tob
  BinRec: Dynamic Binary Lifting and Recompilation
  ☆137Updated last year
• abenkhadra / bcov
  Static instrumentation tool for efficient binary-level coverage analysis.
  ☆146Updated 4 years ago
• ainfosec / MoRE
  TLB splitting VMM
  ☆165Updated 9 years ago
• jkinder / jakstab
  The Jakstab static analysis platform for binaries
  ☆158Updated 5 years ago
• athre0z / disas-bench
  X86 disassembler benchmark
  ☆60Updated 11 months ago
• marcusbotacin / BranchMonitoringProject
  A branch-monitor-based solution for process monitoring.
  ☆133Updated 5 years ago
• ahmedbougacha / dagger
  Binary Translator to LLVM IR
  ☆219Updated 2 years ago
• utds3lab / multiverse
  A static binary rewriter that does not use heuristics
  ☆304Updated 7 years ago
• RolfRolles / PandemicML
  Pandemic binary program analysis framework in OCaml (abandoned)
  ☆71Updated 6 years ago