Alternatives and similar repositories for binrec-tob

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

• lifting-bits / sleigh
  Unofficial CMake build for Ghidra's C++ SLEIGH code
  ☆170Updated this week
• mahaloz / sailr-eval
  The SAILR paper's evaluation pipline for measuring the quality of decompilation
  ☆117Updated last year
• quarkslab / tritondse
  Triton-based DSE library with loading and exploration capabilities (and more!)
  ☆135Updated last month
• GrammaTech / retypd
  ☆74Updated 2 years ago
• softsec-unh / MBA-Blast
  MBA-Blast is a tool for simplification of MBA expressions.
  ☆70Updated 4 years ago
• softsec-unh / MBA-Solver
  ☆45Updated 4 years ago
• angr / pypcode
  Python bindings to Ghidra's SLEIGH library for disassembly and lifting to P-Code IR
  ☆206Updated last week
• mahaloz / cfgutils
  Utility library for analysis of Control Flow Graphs, home to the Basque CFGED algorithm.
  ☆33Updated this week
• SystemSecurityStorm / Awesome-Binary-Rewriting
  An awesome & curated list of binary rewriting papers
  ☆259Updated 3 years ago
• toor-de-force / Ghidra-to-LLVM
  An binary-to-LLVM IR lifter that leverages Ghidra's IR and analysis
  ☆230Updated 5 years ago
• quarkslab / qsynthesis
  Greybox Synthesizer geared for deobfuscation of assembly instructions.
  ☆165Updated 11 months ago
• sdasgup3 / validating-binary-decompilation
  Scalable Validator for Binary Lifters
  ☆62Updated 5 years ago
• mikekben / SLOT
  SLOT: SMT-LLVM Optimizing Translation
  ☆60Updated 9 months ago
• icicle-emu / icicle-emu
  Core emulator components for Icicle
  ☆277Updated last week
• aengelke / instrew
  A high performance LLVM-based dynamic binary instrumentation framework
  ☆284Updated last year
• junxzm1990 / x86-sok
  ☆144Updated last year
• repzret / dagger
  Binary Translator to LLVM IR
  ☆49Updated 8 years ago
• chubbymaggie / capstone2llvmir
  Library for Capstone instruction to LLVM IR translation
  ☆47Updated 8 years ago
• fvrmatteo / TritonASTLLVMIRTranslator
  A simple pluggable tool to convert an unrolled TritonAST to LLVM-IR, optimize it and get back to TritonAST.
  ☆38Updated 5 years ago
• ElykDeer / McNinja
  Compile Binary Ninja's MLIL to LLVM, for purposes of analysis, patching, and compiling it back to a binary again.
  ☆60Updated 3 years ago
• intel / vmtaint
  Full-VM taint analysis with Xen, Intel(R) Processor Trace and Triton.
  ☆42Updated 2 years ago
• garyttierney / intellij-ghidra
  An IntelliJ IDEA plugin for working on Ghidra Extensions.
  ☆106Updated last year
• insufficiently-caffeinated / caffeine
  A symbolic execution engine for LLVM IR
  ☆51Updated 3 years ago
• binsync / libbs
  A library for writing plugins in any decompiler: includes API lifting, common data formatting, and GUI abstraction!
  ☆124Updated this week
• borzacchiello / naaz
  Symbolic Execution Engine based on Ghidra's PCode
  ☆84Updated 2 years ago
• rbran / sleigh-rs
  Ghidra Sleight (PCode) parsing library in Rust.
  ☆44Updated last year
• lifting-bits / anvill
  anvill forges beautiful LLVM bitcode out of raw machine code
  ☆364Updated last year
• ShiftLeftSecurity / llvm2cpg
  LLVM meets Code Property Graphs
  ☆96Updated 4 years ago
• sefcom / VarBERT
  ☆63Updated last month
• black-binary / sleigh
  A (SLEIGH) disassembler that supports multiple architectures
  ☆88Updated 3 years ago