Comparing Type-Based and Proof-Directed Decompilation

Authors:
Alan Mycroft;Atsushi Ohori;Shin-ya Katsumata
Affiliations:
-;-;-
Venue:
WCRE '01 Proceedings of the Eighth Working Conference on Reverse Engineering (WCRE'01)
Year:
2001

Citing 0
Cited 2

A symmetric approach to compilation and decompilation

The essence of computation
Binary synthesis

ACM Transactions on Design Automation of Electronic Systems (TODAES)

Quantified Score

Hi-index	0.00

Visualization

Abstract

Source model extraction---the automated extraction of information from system artifacts---is a common phase in reverse engineering tools. One of the major challenges of this phase is creating extractors that can deal with irregularities in the artifacts ...