Alternatives and similar repositories for binrec-tob

Users that are interested in binrec-tob are comparing it to the libraries listed below

• quarkslab / tritondse
  Triton-based DSE library with loading and exploration capabilities (and more!)
  ☆127Updated last week
• lifting-bits / sleigh
  Unofficial CMake build for Ghidra's C++ SLEIGH code
  ☆159Updated last week
• mahaloz / sailr-eval
  The SAILR paper's evaluation pipline for measuring the quality of decompilation
  ☆113Updated 9 months ago
• toor-de-force / Ghidra-to-LLVM
  An binary-to-LLVM IR lifter that leverages Ghidra's IR and analysis
  ☆226Updated 5 years ago
• GrammaTech / retypd
  ☆72Updated last year
• softsec-unh / MBA-Blast
  MBA-Blast is a tool for simplification of MBA expressions.
  ☆64Updated 4 years ago
• angr / pypcode
  Python bindings to Ghidra's SLEIGH library for disassembly and lifting to P-Code IR
  ☆200Updated last week
• SystemSecurityStorm / Awesome-Binary-Rewriting
  An awesome & curated list of binary rewriting papers
  ☆250Updated 3 years ago
• icicle-emu / icicle-emu
  Core emulator components for Icicle
  ☆237Updated 2 months ago
• chubbymaggie / capstone2llvmir
  Library for Capstone instruction to LLVM IR translation
  ☆47Updated 7 years ago
• quarkslab / qsynthesis
  Greybox Synthesizer geared for deobfuscation of assembly instructions.
  ☆158Updated 6 months ago
• softsec-unh / MBA-Solver
  ☆43Updated 4 years ago
• fvrmatteo / TritonASTLLVMIRTranslator
  A simple pluggable tool to convert an unrolled TritonAST to LLVM-IR, optimize it and get back to TritonAST.
  ☆36Updated 5 years ago
• rbran / sleigh-rs
  Ghidra Sleight (PCode) parsing library in Rust.
  ☆44Updated 7 months ago
• black-binary / sleigh
  A (SLEIGH) disassembler that supports multiple architectures
  ☆84Updated 3 years ago
• ElykDeer / McNinja
  Compile Binary Ninja's MLIL to LLVM, for purposes of analysis, patching, and compiling it back to a binary again.
  ☆58Updated 3 years ago
• aengelke / instrew
  A high performance LLVM-based dynamic binary instrumentation framework
  ☆272Updated last year
• garyttierney / intellij-ghidra
  An IntelliJ IDEA plugin for working on Ghidra Extensions.
  ☆98Updated last year
• insufficiently-caffeinated / caffeine
  A symbolic execution engine for LLVM IR
  ☆51Updated 3 years ago
• lifting-bits / anvill
  anvill forges beautiful LLVM bitcode out of raw machine code
  ☆352Updated 11 months ago
• intel / vmtaint
  Full-VM taint analysis with Xen, Intel(R) Processor Trace and Triton.
  ☆41Updated 2 years ago
• gamozolabs / proc_mem_ida_loader
  A /proc/mem IDA loader to snapshot a running process
  ☆164Updated last month
• binsync / libbs
  A library for writing plugins in any decompiler: includes API lifting, common data formatting, and GUI abstraction!
  ☆114Updated this week
• mikekben / SLOT
  SLOT: SMT-LLVM Optimizing Translation
  ☆60Updated 4 months ago
• repzret / dagger
  Binary Translator to LLVM IR
  ☆48Updated 7 years ago
• borzacchiello / naaz
  Symbolic Execution Engine based on Ghidra's PCode
  ☆84Updated 2 years ago
• JonathanSalwan / ttexplore
  TTexplore is a library that performs path exploration on binary code using symbolic execution
  ☆80Updated 2 years ago
• ShiftLeftSecurity / llvm2cpg
  LLVM meets Code Property Graphs
  ☆93Updated 4 years ago
• pgarba / SiMBA-
  Port of MBA Solver SiMBA to C/C++ (MBA deobfuscation in real world applications)
  ☆90Updated 3 months ago
• junxzm1990 / x86-sok
  ☆144Updated 10 months ago