doc
doc copied to clipboard
decomp
Design documents related to the decompilation pipeline.
S. Pan and R. G. Dromey, *A Formal Basis for Removing Goto Statements*, 1996. https://pdfs.semanticscholar.org/f1a6/242247c6ae2df38ac7608eab839e059abcd7.pdf
M. S. Hecht and J. D. Ullman, *Flow Graph Reducibility*, 1972.
G. Oulsnam, *The Algorithmic Transformation of Schemas to Structured Form*, 1987. https://academic.oup.com/comjnl/article-pdf/30/1/43/1137143/300043.pdf
G. Oulsnam, *Unravelling Unstructured Programs*, 1982. https://academic.oup.com/comjnl/article-pdf/25/3/379/1053480/25-3-379.pdf
A. Flexeder, B. Mihaila, M. Petter and H. Seidl, *Interprocedural Control Flow Reconstruction*, 2010. http://www2.in.tum.de/bib/files/Flexeder10Interprocedural.pdf
T. Conradi, *Matching of Control- and Data-Flow Constructs in Disassembled Code*, 2015. https://www.sts.tuhh.de/pw-and-m-theses/2015/conradi15.pdf
E. Schwartz, J. Lee, M. Woo and D. Brumley, *Native x86 Decompilation using Semantics-Preserving Structural Analysis and Iterative Control-Flow Structuring*, 2013. https://www.usenix.org/system/files/conference/usenixsecurity13/sec13-paper_schwartz.pdf
K. Yakdan, S. Dechand, E. Gerhards-Padilla and M. Smith, *Helping Johnny to Analyze Malware: A Usability-Optimized Decompiler and Malware Analysis User Study*, 2016. https://net.cs.uni-bonn.de/fileadmin/ag/martini/Staff/yakdan/dream_oakland2016.pdf