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!)
  ☆114Updated 3 months ago
• icicle-emu / icicle-emu
  Core emulator components for Icicle
  ☆142Updated last month
• toor-de-force / Ghidra-to-LLVM
  An binary-to-LLVM IR lifter that leverages Ghidra's IR and analysis
  ☆218Updated 4 years ago
• softsec-unh / MBA-Blast
  MBA-Blast is a tool for simplification of MBA expressions.
  ☆61Updated 3 years ago
• mahaloz / sailr-eval
  The SAILR paper's evaluation pipline for measuring the quality of decompilation
  ☆109Updated 4 months ago
• angr / pypcode
  Python bindings to Ghidra's SLEIGH library for disassembly and lifting to P-Code IR
  ☆194Updated this week
• chubbymaggie / capstone2llvmir
  Library for Capstone instruction to LLVM IR translation
  ☆45Updated 7 years ago
• lifting-bits / sleigh
  Unofficial CMake build for Ghidra's C++ SLEIGH code
  ☆151Updated last week
• GrammaTech / retypd
  ☆70Updated last year
• Fare9 / KUNAI-static-analyzer
  Tool aimed to provide a binary analysis of different file formats through the use of an Intermmediate Representation.
  ☆138Updated last year
• SystemSecurityStorm / Awesome-Binary-Rewriting
  An awesome & curated list of binary rewriting papers
  ☆232Updated 3 years ago
• quarkslab / qsynthesis
  Greybox Synthesizer geared for deobfuscation of assembly instructions.
  ☆150Updated last month
• junxzm1990 / x86-sok
  ☆143Updated 5 months ago
• sdasgup3 / validating-binary-decompilation
  Scalable Validator for Binary Lifters
  ☆55Updated 4 years ago
• borzacchiello / naaz
  Symbolic Execution Engine based on Ghidra's PCode
  ☆82Updated 2 years ago
• R-Fuzz / symsan
  A LLVM Sanitizer for Symbolic Tracing
  ☆219Updated 6 months ago
• AFLplusplus / qemuafl
  This fork of QEMU enables fuzzing userspace ELF binaries under AFL++.
  ☆82Updated last month
• softsec-unh / MBA-Solver
  ☆40Updated 3 years ago
• gamozolabs / proc_mem_ida_loader
  A /proc/mem IDA loader to snapshot a running process
  ☆161Updated 2 years ago
• astean1001 / ProMBA
  MBA deobfuscator via Program Synthesis and Term Rewriting
  ☆49Updated last year
• binsync / libbs
  A library for writing plugins in any decompiler: includes API lifting, common data formatting, and GUI abstraction!
  ☆94Updated last week
• StarCrossPortal / bincraft
  ☆81Updated 3 years ago
• mikekben / SLOT
  SLOT: SMT-LLVM Optimizing Translation
  ☆56Updated last week
• insufficiently-caffeinated / caffeine
  A symbolic execution engine for LLVM IR
  ☆51Updated 2 years ago
• IntelLabs / kafl.fuzzer
  kAFL Fuzzer
  ☆33Updated 3 weeks ago
• garyttierney / intellij-ghidra
  An IntelliJ IDEA plugin for working on Ghidra Extensions.
  ☆98Updated 11 months ago
• fugue-re / fugue-core
  A binary analysis framework written in Rust.
  ☆167Updated this week
• cojocar / bin2llvm
  A binary to LLVM translator
  ☆145Updated 6 years ago
• ElykDeer / McNinja
  Compile Binary Ninja's MLIL to LLVM, for purposes of analysis, patching, and compiling it back to a binary again.
  ☆56Updated 2 years ago
• DenuvoSoftwareSolutions / SiMBA
  Efficient Deobfuscation of Linear Mixed Boolean-Arithmetic Expressions
  ☆154Updated last year