Comparing type-based and proof-directed decompilation

A. Mycroft, A. Ohori, S. Y. Katsumata

Research output: Contribution to conferencePaperpeer-review

4 Citations (Scopus)


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.

Original languageEnglish
Number of pages6
Publication statusPublished - 2001
Externally publishedYes
Event8th Working Conference on Reverse Engineering (WCRE 2001) - Stuttgart, Germany
Duration: 2001 Oct 22001 Oct 5


Other8th Working Conference on Reverse Engineering (WCRE 2001)

ASJC Scopus subject areas

  • Engineering(all)


Dive into the research topics of 'Comparing type-based and proof-directed decompilation'. Together they form a unique fingerprint.

Cite this