Alternatives and similar repositories for DecompVis:

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

• Mizari / herast
  Framework to automate working with AST in IDA Pro
  ☆63Updated 9 months ago
• binsync / libbs
  A library for writing plugins in any decompiler: includes API lifting, common data formatting, and GUI abstraction!
  ☆75Updated this week
• mahaloz / sailr-eval
  The SAILR paper's evaluation pipline for measuring the quality of decompilation
  ☆98Updated 2 months ago
• GrammaTech / retypd
  ☆69Updated last year
• TheRomanXpl0it / ghidra-emu-fun
  Ghidra Emulates Functions
  ☆54Updated 4 years ago
• jevinskie / pypcode-emu
  Ghidra P-Code emulation and static LLVM lifting in Python
  ☆30Updated 2 years ago
• lifting-bits / sleigh
  Unofficial CMake build for Ghidra's C++ SLEIGH code
  ☆146Updated 3 weeks ago
• CodeIntelligenceTesting / dream
  The DREAM decompiler
  ☆40Updated 2 years ago
• rbran / sleigh-rs
  Ghidra Sleight (PCode) parsing library in Rust.
  ☆42Updated last month
• toolCHAINZ / jingle
  SMT Modeling for Ghidra's PCODE
  ☆22Updated this week
• LukeSerne / RuleChef
  Translates a high-level declarative description of a simplification rule for Ghidra's decompiler into the C++ code that is required for t…
  ☆16Updated 2 years ago
• Vector35 / llil_transpiler
  transpile llil to c++ for execution and testing
  ☆42Updated last year
• binsync / varbert_api
  A Python API to VarBERT, a BERT based model for suggesting variable names in decompiled code.
  ☆44Updated 4 months ago
• garyttierney / intellij-ghidra
  An IntelliJ IDEA plugin for working on Ghidra Extensions.
  ☆98Updated 9 months ago
• clearbluejar / ghidra-python-vscode-devcontainer-skeleton
  Ghidra Headless Python VScode Skeleton with Devcontainer Super Powers
  ☆52Updated last year
• Pusty / ferret
  Mixed Boolean Arithmetic Simplification using E-Graphs
  ☆12Updated last week
• ElykDeer / McNinja
  Compile Binary Ninja's MLIL to LLVM, for purposes of analysis, patching, and compiling it back to a binary again.
  ☆55Updated 2 years ago
• fmagin / ghidra-kotlin-extension-template
  Write a Ghidra Extension without using Java or Eclipse!
  ☆16Updated this week
• borzacchiello / naaz
  Symbolic Execution Engine based on Ghidra's PCode
  ☆82Updated last year
• ssrg-vt / FoxDec
  Formally verified x86-64 decompilation
  ☆22Updated 2 months ago
• hgarrereyn / STRIDE
  simple type recognition in decompiled executables
  ☆100Updated 6 months ago
• allthingsida / ida-cmake
  Simple CMake files for the IDASDK
  ☆91Updated 3 months ago
• quarkslab / tritondse
  Triton-based DSE library with loading and exploration capabilities (and more!)
  ☆112Updated last month
• icicle-emu / icicle-emu
  Core emulator components for Icicle
  ☆136Updated last month
• GrammaTech / retypd-ghidra-plugin
  Retypd plugin for Ghidra reverse engineering framework from NSA
  ☆22Updated last year
• saruman9 / ghidra_scripts
  My scripts for Ghidra.
  ☆20Updated last year
• AFLplusplus / unicornafl
  AFL bindings for Unicorn-Engine
  ☆71Updated 3 weeks ago
• cellebrite-labs / FunctionInliner
  An IDA plugin that eases reversing of binaries that have been code-size-optimized with function outlining
  ☆195Updated last month
• pietroborrello / ghidra-atom-microcode
  Ghidra Processor Module to disassemble and decompile the x86 Intel Atom microcode
  ☆80Updated last year
• Cryptogenic / idc_importer
  A Binary Ninja plugin for importing IDC database dumps from IDA.
  ☆40Updated 2 years ago