2013 20th Working Conference on Reverse Engineering (WCRE) (2001)
Oct. 2, 2001 to Oct. 5, 2001
Atsushi Ohori , Japan Advanced Institute of Science and Technology
Shin-ya Katsumata , University of Edinburgh
Alan Mycroft , University of Cambridge
In the past couple of years interest in decompilation has widened from its initial concentration on reconstruction of control flow into well-founded-in-theory methods to reconstruct type information. Mycroft described Type-Based Decompilation and Katsumata and Ohori described Proof-Directed Decompilation. This note summarises the two approaches and identifies their commonality, strengths and weaknesses; it concludes by suggesting how they may be integrated.
Atsushi Ohori, Shin-ya Katsumata, Alan Mycroft, "Comparing Type-Based and Proof-Directed Decompilation", 2013 20th Working Conference on Reverse Engineering (WCRE), vol. 00, no. , pp. 362, 2001, doi:10.1109/WCRE.2001.957844