CodeIntelligenceTesting / dream
The DREAM decompiler
☆41Updated 2 years ago
Alternatives and similar repositories for dream:
Users that are interested in dream are comparing it to the libraries listed below
- ☆70Updated last year
- The SAILR paper's evaluation pipline for measuring the quality of decompilation☆109Updated 4 months ago
- Unofficial CMake build for Ghidra's C++ SLEIGH code☆150Updated this week
- Xyntia, the black-box deobfuscator☆67Updated 3 weeks ago
- Ghidra Emulates Functions☆54Updated 4 years ago
- Visualise the Data Flow Graph of the PCODE at all stages in the decompilation process☆45Updated last week
- Build your emulation environment as needed☆66Updated 4 years ago
- transpile llil to c++ for execution and testing☆42Updated last year
- Retypd plugin for Ghidra reverse engineering framework from NSA☆22Updated last year
- A library for writing plugins in any decompiler: includes API lifting, common data formatting, and GUI abstraction!☆100Updated this week
- Ghidra P-Code emulation and static LLVM lifting in Python☆31Updated 3 years ago
- ☆31Updated 4 years ago
- VSCode Ghidra Plugin/Script Skeletons☆29Updated 4 years ago
- Triton-based DSE library with loading and exploration capabilities (and more!)☆115Updated 4 months ago
- NinjaDiff is a binary diffing plugin for Binary Ninja. Read more on our blog, and contribute code & improvements!☆63Updated 3 years ago
- Symbolic Execution Engine based on Ghidra's PCode☆82Updated 2 years ago
- Python scripts for parsing IDA TIL files.☆29Updated 3 years ago
- Scalable Validator for Binary Lifters☆56Updated 4 years ago
- AIL: The angr Intermediate Language.☆32Updated this week
- A symbolic execution engine for LLVM IR☆51Updated 2 years ago
- A library to translate native code for multiple architectures into Tiny Code Generator (TCG) based intermediate representation (IR), base…☆46Updated 4 years ago
- A Python API to VarBERT, a BERT based model for suggesting variable names in decompiled code.☆49Updated 7 months ago
- Formally verified x86-64 decompilation☆22Updated this week
- Dr. Disassembler☆35Updated 3 years ago
- Framework to automate working with AST in IDA Pro☆69Updated last year
- Clone of "Compiler-Agnostic Function Detection in Binaries" source code☆86Updated 3 years ago
- MBA-Blast is a tool for simplification of MBA expressions.☆61Updated 3 years ago
- ☆58Updated 2 years ago
- SMT Modeling for Ghidra's PCODE☆23Updated this week
- Ghidra Sleight (PCode) parsing library in Rust.☆43Updated 3 months ago