Alternatives and similar repositories for dream:

Users that are interested in dream are comparing it to the libraries listed below

• GrammaTech / retypd
  ☆70Updated last year
• mahaloz / sailr-eval
  The SAILR paper's evaluation pipline for measuring the quality of decompilation
  ☆109Updated 5 months ago
• LukeSerne / DecompVis
  Visualise the Data Flow Graph of the PCODE at all stages in the decompilation process
  ☆47Updated last month
• binsec / xyntia
  Xyntia, the black-box deobfuscator
  ☆67Updated 2 weeks ago
• jevinskie / pypcode-emu
  Ghidra P-Code emulation and static LLVM lifting in Python
  ☆31Updated 3 years ago
• lifting-bits / sleigh
  Unofficial CMake build for Ghidra's C++ SLEIGH code
  ☆151Updated this week
• Vector35 / llil_transpiler
  transpile llil to c++ for execution and testing
  ☆42Updated last year
• softsec-unh / MBA-Solver
  ☆40Updated 4 years ago
• ssrg-vt / FoxDec
  Formally verified x86-64 decompilation
  ☆24Updated last week
• pd0wm / binaryninja-pcode
  This plugin serves as a bridge between Binary Ninja and Ghidra's disassembler.
  ☆31Updated 2 years ago
• quarkslab / tritondse
  Triton-based DSE library with loading and exploration capabilities (and more!)
  ☆117Updated this week
• relyze-ltd / LibTCGTranslate
  A library to translate native code for multiple architectures into Tiny Code Generator (TCG) based intermediate representation (IR), base…
  ☆47Updated 4 years ago
• uxmal / nucleus
  Clone of "Compiler-Agnostic Function Detection in Binaries" source code
  ☆86Updated 3 years ago
• GrammaTech / retypd-ghidra-plugin
  Retypd plugin for Ghidra reverse engineering framework from NSA
  ☆23Updated last year
• binsync / libbs
  A library for writing plugins in any decompiler: includes API lifting, common data formatting, and GUI abstraction!
  ☆104Updated last week
• sefcom / VarBERT
  ☆56Updated 4 months ago
• LL-MM / approxis-groundtruth
  ☆31Updated 4 years ago
• jordan9001 / dobby2
  Build your emulation environment as needed
  ☆66Updated 4 years ago
• angr / ailment
  AIL: The angr Intermediate Language.
  ☆32Updated this week
• sdasgup3 / validating-binary-decompilation
  Scalable Validator for Binary Lifters
  ☆56Updated 4 years ago
• TheRomanXpl0it / ghidra-emu-fun
  Ghidra Emulates Functions
  ☆54Updated 4 years ago
• riverloopsec / ninjadiff
  NinjaDiff is a binary diffing plugin for Binary Ninja. Read more on our blog, and contribute code & improvements!
  ☆63Updated 3 years ago
• quarkslab / sspam
  Symbolic Simplification with PAttern Matching
  ☆105Updated 8 years ago
• borzacchiello / naaz
  Symbolic Execution Engine based on Ghidra's PCode
  ☆83Updated 2 years ago
• insufficiently-caffeinated / caffeine
  A symbolic execution engine for LLVM IR
  ☆51Updated 3 years ago
• Mizari / herast
  Framework to automate working with AST in IDA Pro
  ☆70Updated last year
• lifting-bits / dds
  Dr. Disassembler
  ☆35Updated 3 years ago
• softsec-unh / MBA-Blast
  MBA-Blast is a tool for simplification of MBA expressions.
  ☆61Updated 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
• Pusty / ferret
  Mixed Boolean Arithmetic Simplification using E-Graphs
  ☆20Updated last week