Abstract Static Single Assignment enables the efficient implementation of many important
decompiler components, including expression propagation, preservation analysis, type …

Despite their 40 year history, native executable decompilers have found very limited
practical application in commercial projects. The success of Java decompilers is well known …

The aim of this article is to provide a unified mathematical framework for program slicing
which places all slicing work for sequential programs on a sound theoretical foundation. The …

This short paper is a summary of my doctoral research, which was conducted under Oege
de Moor's supervision at the University of Oxford, starting October 2001. The thesis was …

Software maintenance takes up a disproportionately large amount of time in the modern
software life cycle. One of the common problems is understanding the original code that is …

Decompilation is the process of converting programs in a low-level representation, such as
machine code, into high-level programs that are human readable, compilable and …

The FermaT transformation system has proved to be a very successful tool for migrating from
assembler to high level languages, including C and COBOL. One of the more challenging …

One of the most challenging tasks a programmer can face is attempting to analyse and
understand a legacy assembler system. Many features of assembler make analysis difficult …

This chapter focuses on tools and techniques for software reverse engineering in the
domain of complex embedded systems. While there are many “generic” reverse engineering …

In this paper, we present a case study in deriving an algorithm from a formal specification via
FermaT transformations. The general method (which is presented in a separate paper) is …