Re: Help on disassembler/decompilers

vu0310@bingvaxu.cc.binghamton.edu.cc.binghamton.edu (R. Kym Horsell)
10 Sep 90 03:45:26 GMT

          From comp.compilers

Related articles
Help on disassembler/decompilers wwho@ucdavis.edu (1990-09-06)
Re: Help on disassembler/decompilers hrubin@l.cc.purdue.edu (1990-09-07)
Re: Help on disassembler/decompilers pardo@cs.washington.edu (1990-09-07)
Re: Help on disassembler/decompilers raul@sdnp1.ucsd.edu (1990-09-07)
Re: Help on disassembler/decompilers seanf@sco.COM (1990-09-09)
Re: Help on disassembler/decompilers rwallace@vax1.tcd.ie (1990-09-09)
Re: Help on disassembler/decompilers vu0310@bingvaxu.cc.binghamton.edu.cc.binghamton.ed (1990-09-10)
Re: Help on disassembler/decompilers hankd@dynamo.ecn.purdue.edu (1990-09-09)
Re: Help on disassembler/decompilers Chuck.Phillips@FtCollins.NCR.COM (1990-09-10)
Re: Help on disassembler/decompilers adamsf@turing.cs.rpi.edu (1990-09-10)
Re: Help on disassembler/decompilers harrison@necssd.NEC.COM (1990-09-11)
Re: Help on disassembler/decompilers freek@fwi.uva.nl (1990-09-12)
Re: Help on disassembler/decompilers dik@cwi.nl (1990-09-10)
[16 later articles]
| List of all articles for this month |

Newsgroups: comp.compilers
From: vu0310@bingvaxu.cc.binghamton.edu.cc.binghamton.edu (R. Kym Horsell)
Keywords: assembler, debug
Organization: SUNY Binghamton, NY
References: <HOW.90Sep5173755@sundrops.ucdavis.edu> <6839.26ea3b0e@vax1.tcd.ie>
Date: 10 Sep 90 03:45:26 GMT



In article <6839.26ea3b0e@vax1.tcd.ie> rwallace@vax1.tcd.ie writes:
>There's no unique mapping from machine code to HLL and hence (unlike machine
>code to assembler) no simple algorithm (your algorithm might recognize
>something it thinks is a loop but is it a for loop, a while loop or just
>something hacked together with gotos? that's before you even think about what
>optimized machine code will look like). You could probably figure out a


There's no _unique_ mapping from HLL into assembler, or from assembler into
assembler for that matter, either! In _principle_ translation between
assembler and an HLL is no harder than the other way 'round. You can't even
say that "assembly language is close to the machine & you can do things in
it that you can't in HLLs" -- after all, assembly and HLL are both capable
of emulating Turning machines, right?


I have made various attempts at writing assemlber -> HLL translators over
the years, mostly inspired by the `beatify' tool that attempts to transform
spagetti FORTRAN into structured FORTRAN. A bit of graph thy is all that's
needed for __most_ of that.


I ultimately see such tools as pointless, however, in that they only
encourage the maintenance of ``dusty deck'' stuff (in a new prettier form)
-- re-inventing the wheel occasionally comes up with a better wheel!


-Kym Horsell
--


Post a followup to this message

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