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.
|Number of pages||6|
|Publication status||Published - 2001|
|Event||8th Working Conference on Reverse Engineering (WCRE 2001) - Stuttgart, Germany|
Duration: 2001 Oct 2 → 2001 Oct 5
|Other||8th Working Conference on Reverse Engineering (WCRE 2001)|
|Period||01/10/2 → 01/10/5|
ASJC Scopus subject areas