Comparing type-based and proof-directed decompilation

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

Research output: Contribution to conferencePaperpeer-review

4 Citations (Scopus)

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.

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

Other

Other8th Working Conference on Reverse Engineering (WCRE 2001)
Country/TerritoryGermany
CityStuttgart
Period01/10/201/10/5

ASJC Scopus subject areas

  • Engineering(all)

Fingerprint

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

Cite this