review: Future research, resources and notes

[mewmew]

The is a meta issue which collects interesting references for future research.

Links

• https://github.com/REMath/literature_review
• https://retdec.com/publications/
• http://www.program-transformation.org/Transform/DeCompilation
• http://www.backerstreet.com/decompiler/introduction.htm

Papers

• Issue review: Reverse Compilation Techniques [30h] #76 - Reverse Compilation Techniques
• Issue review: REcompile: A Decompilation Framework for Static Analysis of Binaries [3h] #83 - REcompile: A Decompilation Framework for Static Analysis of Binaries
• J. Křoustek: Retargetable Analysis of Machine Code. Ph.D. Thesis, FIT BUT, Brno, CZ, 2015, pp. 190

Type Analysis

• Issue review: Type-Based Decompilation [5h] #77 - Type-Based Decompilation
• Comparing type-based and proof-directed decompilation

SSA

• Issue review: Static Single Assignment for Decompilation [30h] #78 - Static Single Assignment for Decompilation

Control Flow Recovery

• Issue #193 - Native x86 Decompilation using Semantics-Preserving Structural Analysis and Iterative Control-Flow Structuring
• Issue #194 - No More Gotos: Decompilation Using Pattern-Independent Control-Flow Structuring and Semantic-Preserving Transformations
• "Characterizations of reducible flow graphs", Hecht, Matthew S., and Jeffrey D. Ullman.
• "Flow graph reducibility.", Hecht, Matthew S., and Jeffrey D. Ullman.
• Control Flow Decompilation via Program Graph Decomposition

Common graphs in reverse engineering

ref: An Intermediate Representation for Integrating Reverse Engineering Analyses (1998)

Graph	Nodes	Edges
call graph	routines	call relationships
type graph	types	part-of, is-a, or subtype relationships
variable reference graph	routines, variables	set and use relationships