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 2 months ago
• icicle-emu / icicle-emu
  Core emulator components for Icicle
  ☆140Updated last week
• lifting-bits / sleigh
  Unofficial CMake build for Ghidra's C++ SLEIGH code
  ☆150Updated this week
• mahaloz / sailr-eval
  The SAILR paper's evaluation pipline for measuring the quality of decompilation
  ☆106Updated 3 months ago
• softsec-unh / MBA-Blast
  MBA-Blast is a tool for simplification of MBA expressions.
  ☆63Updated 3 years ago
• SystemSecurityStorm / Awesome-Binary-Rewriting
  An awesome & curated list of binary rewriting papers
  ☆229Updated 2 years ago
• GrammaTech / retypd
  ☆69Updated last year
• junxzm1990 / x86-sok
  ☆141Updated 4 months ago
• chubbymaggie / capstone2llvmir
  Library for Capstone instruction to LLVM IR translation
  ☆44Updated 7 years ago
• toor-de-force / Ghidra-to-LLVM
  An binary-to-LLVM IR lifter that leverages Ghidra's IR and analysis
  ☆217Updated 4 years ago
• angr / pypcode
  Python bindings to Ghidra's SLEIGH library for disassembly and lifting to P-Code IR
  ☆192Updated this week
• fvrmatteo / TritonASTLLVMIRTranslator
  A simple pluggable tool to convert an unrolled TritonAST to LLVM-IR, optimize it and get back to TritonAST.
  ☆35Updated 4 years ago
• R-Fuzz / symsan
  A LLVM Sanitizer for Symbolic Tracing
  ☆217Updated 5 months ago
• quarkslab / qsynthesis
  Greybox Synthesizer geared for deobfuscation of assembly instructions.
  ☆149Updated 2 weeks ago
• sdasgup3 / validating-binary-decompilation
  Scalable Validator for Binary Lifters
  ☆55Updated 4 years ago
• binsync / libbs
  A library for writing plugins in any decompiler: includes API lifting, common data formatting, and GUI abstraction!
  ☆81Updated 2 weeks ago
• alexjung / Writing-an-LLVM-Pass-using-the-new-PassManager
  This is a tutorial on how to write an LLVM Pass using the (kind-of) new PassManager. It is compiled from different sources referenced in …
  ☆53Updated 6 years ago
• black-binary / sleigh
  A (SLEIGH) disassembler that supports multiple architectures
  ☆81Updated 2 years ago
• ShiftLeftSecurity / llvm2cpg
  LLVM meets Code Property Graphs
  ☆90Updated 4 years ago
• aengelke / instrew
  A high performance LLVM-based dynamic binary instrumentation framework
  ☆253Updated 8 months ago
• rbran / sleigh-rs
  Ghidra Sleight (PCode) parsing library in Rust.
  ☆42Updated 2 months ago
• ohjeongwook / iptanalyzer
  Intel PT log analyzer With Parallel Processing And Basic Block Offset Caching Support
  ☆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 11 months ago
• StarCrossPortal / bincraft
  ☆81Updated 3 years ago
• carter-yagemann / ARCUS
  Symbolic Execution Over Processor Traces
  ☆119Updated 6 months ago
• JonathanSalwan / ttexplore
  TTexplore is a library that performs path exploration on binary code using symbolic execution
  ☆78Updated 2 years ago
• softsec-unh / MBA-Solver
  ☆40Updated 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.
  ☆56Updated 2 years ago
• AFLplusplus / qemuafl
  This fork of QEMU enables fuzzing userspace ELF binaries under AFL++.
  ☆81Updated 3 weeks ago
• GaloisInc / cclyzerpp
  cclyzer++ is a precise and scalable pointer analysis for LLVM code.
  ☆139Updated last month