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] |
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
Return to the
comp.compilers page.
Search the
comp.compilers archives again.