Re: anyone interested in decompilation

Martin Ward <martin@gkc.org.uk>
4 Aug 2006 16:55:32 -0400

          From comp.compilers

Related articles
Re: anyone interested in decompilation dcorbit@connx.com (2006-08-03)
Re: anyone interested in decompilation emailamit@gmail.com (Amit Gupta) (2006-08-04)
Re: anyone interested in decompilation martin@gkc.org.uk (Martin Ward) (2006-08-04)
Re: anyone interested in decompilation gah@ugcs.caltech.edu (glen herrmannsfeldt) (2006-08-08)
Re: anyone interested in decompilation Juergen.Kahrs@vr-web.de (Juergen Kahrs) (2006-08-10)
Re: anyone interested in decompilation kym@ukato.freeshell.org (russell kym horsell) (2006-08-11)
Re: anyone interested in decompilation chris.dollin@hp.com (Chris Dollin) (2006-08-12)
Re: anyone interested in decompilation Juergen.Kahrs@vr-web.de (=?ISO-8859-1?Q?J=FCrgen_Kahrs?=) (2006-08-13)
Re: anyone interested in decompilation gah@ugcs.caltech.edu (glen herrmannsfeldt) (2006-08-14)
[4 later articles]
| List of all articles for this month |
From: Martin Ward <martin@gkc.org.uk>
Newsgroups: comp.compilers
Date: 4 Aug 2006 16:55:32 -0400
Organization: Compilers Central
References: <1154507032.629515.108580@m79g2000cwm.googlegroups.com> 06-08-017
Keywords: disassemble
Posted-Date: 04 Aug 2006 16:55:32 EDT

On Thursday 03 Aug 2006 23:49, dcorbit@connx.com wrote:
> You can't turn the DNA of a dead cow back into a cow.  That sort of
> thing only works on "Jurasic Park" movies.


Reengineering of assembler code to a high level language is certainly
possible
(see http://www.program-transformation.org/Transform/DecompilationPossible)
even for programs which were hand-written in assembler,
and not compiled from a high level language in the first place!


I have worked on several major commercial assembler to C migration projects:
each involving over half a million lines of hand-written assembler that was
migrated to efficient and maintainable C code. This paper is a good
starting point:


%A Martin Ward
%T Pigs from Sausages? Reengineering from Assembler to C via
FermaT Transformations
%J Science of Computer Programming,
Special Issue on Program Transformation
%E R. Lammel
%V 52
%N 1--3
%P 213-255
%D 2004


The core transformation engine used in these projects can be downloaded
from my web site: http://www.cse.dmu.ac.uk/~mward/fermat.html
or: http://www.dur.ac.uk/martin.ward/fermat.html


--
Martin


martin@gkc.org.uk http://www.cse.dmu.ac.uk/~mward/ Erdos number: 4


Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.