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!)
  ☆131Updated last month
• softsec-unh / MBA-Blast
  MBA-Blast is a tool for simplification of MBA expressions.
  ☆68Updated 4 years ago
• mahaloz / sailr-eval
  The SAILR paper's evaluation pipline for measuring the quality of decompilation
  ☆115Updated 11 months ago
• GrammaTech / retypd
  ☆72Updated last year
• lifting-bits / sleigh
  Unofficial CMake build for Ghidra's C++ SLEIGH code
  ☆159Updated this week
• softsec-unh / MBA-Solver
  ☆45Updated 4 years ago
• SystemSecurityStorm / Awesome-Binary-Rewriting
  An awesome & curated list of binary rewriting papers
  ☆251Updated 3 years ago
• fvrmatteo / TritonASTLLVMIRTranslator
  A simple pluggable tool to convert an unrolled TritonAST to LLVM-IR, optimize it and get back to TritonAST.
  ☆37Updated 5 years ago
• chubbymaggie / capstone2llvmir
  Library for Capstone instruction to LLVM IR translation
  ☆47Updated 7 years ago
• insufficiently-caffeinated / caffeine
  A symbolic execution engine for LLVM IR
  ☆51Updated 3 years ago
• angr / pypcode
  Python bindings to Ghidra's SLEIGH library for disassembly and lifting to P-Code IR
  ☆202Updated last week
• mikekben / SLOT
  SLOT: SMT-LLVM Optimizing Translation
  ☆60Updated 6 months ago
• binsync / libbs
  A library for writing plugins in any decompiler: includes API lifting, common data formatting, and GUI abstraction!
  ☆118Updated this week
• toor-de-force / Ghidra-to-LLVM
  An binary-to-LLVM IR lifter that leverages Ghidra's IR and analysis
  ☆226Updated 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.
  ☆58Updated 3 years ago
• ShiftLeftSecurity / llvm2cpg
  LLVM meets Code Property Graphs
  ☆96Updated 4 years ago
• icicle-emu / icicle-emu
  Core emulator components for Icicle
  ☆252Updated last week
• quarkslab / qsynthesis
  Greybox Synthesizer geared for deobfuscation of assembly instructions.
  ☆160Updated 8 months ago
• intel / vmtaint
  Full-VM taint analysis with Xen, Intel(R) Processor Trace and Triton.
  ☆41Updated 2 years ago
• repzret / dagger
  Binary Translator to LLVM IR
  ☆48Updated 7 years ago
• aengelke / instrew
  A high performance LLVM-based dynamic binary instrumentation framework
  ☆274Updated last year
• toolCHAINZ / jingle
  SMT Modeling for Ghidra's PCODE
  ☆31Updated last week
• black-binary / sleigh
  A (SLEIGH) disassembler that supports multiple architectures
  ☆85Updated 3 years ago
• astean1001 / ProMBA
  MBA deobfuscator via Program Synthesis and Term Rewriting
  ☆55Updated 2 weeks ago
• sdasgup3 / validating-binary-decompilation
  Scalable Validator for Binary Lifters
  ☆57Updated 5 years ago
• rbran / sleigh-rs
  Ghidra Sleight (PCode) parsing library in Rust.
  ☆44Updated 10 months ago
• Vector35 / llil_transpiler
  transpile llil to c++ for execution and testing
  ☆43Updated last year
• pgarba / Saturn_Results
  This repo contains the tests and results that were done during the research of SATURN
  ☆43Updated 4 years ago
• mahaloz / cfgutils
  Utility library for analysis of Control Flow Graphs, home to the Basque CFGED algorithm.
  ☆31Updated 5 months ago
• garyttierney / intellij-ghidra
  An IntelliJ IDEA plugin for working on Ghidra Extensions.
  ☆104Updated last year