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!)
  ☆120Updated 3 weeks ago
• mahaloz / sailr-eval
  The SAILR paper's evaluation pipline for measuring the quality of decompilation
  ☆112Updated 6 months ago
• SystemSecurityStorm / Awesome-Binary-Rewriting
  An awesome & curated list of binary rewriting papers
  ☆238Updated 3 years ago
• softsec-unh / MBA-Blast
  MBA-Blast is a tool for simplification of MBA expressions.
  ☆62Updated 3 years ago
• junxzm1990 / x86-sok
  ☆144Updated 7 months ago
• toor-de-force / Ghidra-to-LLVM
  An binary-to-LLVM IR lifter that leverages Ghidra's IR and analysis
  ☆220Updated 4 years ago
• GrammaTech / retypd
  ☆70Updated last year
• softsec-unh / MBA-Solver
  ☆42Updated 4 years ago
• chubbymaggie / capstone2llvmir
  Library for Capstone instruction to LLVM IR translation
  ☆45Updated 7 years ago
• fvrmatteo / TritonASTLLVMIRTranslator
  A simple pluggable tool to convert an unrolled TritonAST to LLVM-IR, optimize it and get back to TritonAST.
  ☆35Updated 5 years ago
• angr / pypcode
  Python bindings to Ghidra's SLEIGH library for disassembly and lifting to P-Code IR
  ☆194Updated this week
• intel / vmtaint
  Full-VM taint analysis with Xen, Intel(R) Processor Trace and Triton.
  ☆41Updated last year
• lifting-bits / sleigh
  Unofficial CMake build for Ghidra's C++ SLEIGH code
  ☆152Updated last week
• ohjeongwook / iptanalyzer
  Intel PT log analyzer With Parallel Processing And Basic Block Offset Caching Support
  ☆71Updated last year
• Fare9 / KUNAI-static-analyzer
  Tool aimed to provide a binary analysis of different file formats through the use of an Intermmediate Representation.
  ☆140Updated last year
• R-Fuzz / symsan
  A LLVM Sanitizer for Symbolic Tracing
  ☆221Updated this week
• icicle-emu / icicle-emu
  Core emulator components for Icicle
  ☆226Updated 2 weeks ago
• astean1001 / ProMBA
  MBA deobfuscator via Program Synthesis and Term Rewriting
  ☆52Updated last year
• black-binary / sleigh
  A (SLEIGH) disassembler that supports multiple architectures
  ☆84Updated 3 years ago
• quarkslab / qsynthesis
  Greybox Synthesizer geared for deobfuscation of assembly instructions.
  ☆154Updated 3 months ago
• 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!
  ☆105Updated this week
• aengelke / instrew
  A high performance LLVM-based dynamic binary instrumentation framework
  ☆265Updated 11 months ago
• RUB-SysSec / loki
  Hardening code obfuscation against automated attacks
  ☆133Updated last year
• gamozolabs / proc_mem_ida_loader
  A /proc/mem IDA loader to snapshot a running process
  ☆163Updated 3 years ago
• AFLplusplus / qemuafl
  This fork of QEMU enables fuzzing userspace ELF binaries under AFL++.
  ☆83Updated last month
• garyttierney / intellij-ghidra
  An IntelliJ IDEA plugin for working on Ghidra Extensions.
  ☆98Updated last year
• lifting-bits / anvill
  anvill forges beautiful LLVM bitcode out of raw machine code
  ☆350Updated 9 months ago
• borzacchiello / naaz
  Symbolic Execution Engine based on Ghidra's PCode
  ☆83Updated 2 years ago
• pgarba / SiMBA-
  Port of MBA Solver SiMBA to C/C++
  ☆83Updated last month