uxmal / awesome-decompilation

A curated list of awesome decompilation resources and projects.

awesome-decompilation

A curated list of awesome decompilation resources and projects.

---

Contents

• General Overview
• Projects
• Compilers
• Program Analysis
• Decompilation Pipeline
  • General
  • Intermediate Representation
  • Type Reconstruction
  • Control-Flow Reconstruction
  • C++ Decompilation
  • Identifier Recovery
• Advanced Topics
  • Search-Based Decompilation
  • AI-based Decompilation
  • Binary-Source Matching

---

General Overview

• Reverse Compilation Techniques

• Static Single Assignment for Decompilation

• Retargetable Analysis of Machine Code

• A Human-Centric Approach For Binary Code Decompilation

Projects

• Hex-Rays

• JEB

• fcd

• radeco

• retdec

• smartdec

• snowman

• dcc

Compilers

• Compilers: Principles, Techniques, and Tools

• Advanced Compiler Design and Implementation

Program Analysis

• Principles of Program Analysis

• Data Flow Analysis: Theory and Practice

Decompilation Pipeline

General

• Decompilers and beyond

• decomp

Intermediate Representation

• LLVM

• VEX

• Hex-Rays microcode

• BAP

• REIL

• ESIL

• LLIL

• VTIL

Type Reconstruction

• DIVINE: DIscovering Variables IN Executables

• Improved Memory-Access Analysis for x86 Executables

• TIE: Principled Reverse Engineering of Types in Binary Programs

• Polymorphic Type Inference for Machine Code

Control-Flow Reconstruction

• No More Gotos: Decompilation Using Pattern-Independent Control-Flow Structuring and Semantics-Preserving Transformations

• Helping Johnny to Analyze Malware

C++ Decompilation

• SmartDec: Approaching C++ Decompilation

Identifier Recovery

• Meaningful Variable Names for Decompiled Code: A Machine Translation Approach

• Debin: Predicting Debug Information in Stripped Binaries

Advanced Topics

Search-Based Decompilation

• Evolving Exact Decompilation

AI-based Decompilation

• Using Recurrent Neural Networks for Decompilation

• Towards Neural Decompilation (2019)

Binary-Source Matching

• BinPro: A Tool for Binary Source Code Provenance

• Statistical Similarity of Binaries

• Similarity of Binaries through re-Optimization

• Scalable Graph-based Bug Search for Firmware Images

• Neural Network-based Graph Embedding for Cross-Platform Binary Code Similarity Detection

• SAFE: Self Attentive Function Embedding For Binary Similarity