awesome-decompilation

A curated list of awesome decompilation resources and projects.
https://github.com/nforest/awesome-decompilation

Last synced: 21 days ago
JSON representation

AI-based Decompilation
- Identifier Recovery
Advanced Topics
- Search-Based Decompilation
  - Evolving Exact Decompilation
- Binary-Source Matching
Decompilation Pipeline
- Identifier Recovery
  - Meaningful Variable Names for Decompiled Code: A Machine Translation Approach
  - Debin: Predicting Debug Information in Stripped Binaries
- General
  - Decompilers and beyond
  - decomp
- Intermediate Representation
  - LLVM
  - VEX
  - Hex-Rays microcode
  - ESIL
  - LLIL
  - VTIL
  - BAP
  - REIL
- Type Reconstruction
- 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
General Overview
Compilers
- Compilers: Principles, Techniques, and Tools
- Advanced Compiler Design and Implementation
Program Analysis
- Principles of Program Analysis
- Data Flow Analysis: Theory and Practice
Projects
- Ghidra
- JEB
- rev.ng-c
- jsdec

Programming Languages

C 1 OCaml 1 Go 1 JavaScript 1

Categories

AI-based Decompilation 30 Decompilation Pipeline 19 Advanced Topics 5 Projects 4 General Overview 4 Compilers 2 Program Analysis 2

Sub Categories

Identifier Recovery 32 Intermediate Representation 8 Binary-Source Matching 4 Type Reconstruction 4 General 2 Control-Flow Reconstruction 2 C++ Decompilation 1 Search-Based Decompilation 1

Keywords

reverse-engineering 3 decompiler 2 disassembler 2 binary-analysis 2 lifter 1 instruction-semantics 1 emulator 1 dynamic-analysis 1 bap 1 arm 1 llvm-ir 1 llvm 1 golang 1 go 1 decompilation-pipeline 1 decompilation 1 compositional-decompilation 1 rizin 1 windbg 1 reversing 1 reil 1 proof-of-concept 1 ida 1 gdb 1 debugging 1 code-translation 1 code-analysis 1 x86 1 taint-analysis 1 symbolic-execution 1 static-analysis 1 security 1 program-verification 1 program-analysis 1 powerpc 1 ocaml 1 mips 1