The Community for Technology Leaders
2013 20th Working Conference on Reverse Engineering (WCRE) (2001)
Suttgart, Germany
Oct. 2, 2001 to Oct. 5, 2001
ISSN: 1095-1350
ISBN: 0-7695-1303-4
pp: 362
Atsushi Ohori , Japan Advanced Institute of Science and Technology
Shin-ya Katsumata , University of Edinburgh
Alan Mycroft , University of Cambridge
ABSTRACT
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.
INDEX TERMS
CITATION
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
90 ms
(Ver 3.3 (11022016))