Re: Help on disassembler/decompilers

Jonathan Bowen <Jonathan.Bowen@prg.oxford.ac.uk>
13 Sep 90 09:28:49 GMT

          From comp.compilers

Related articles
[8 earlier articles]
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)
Re: Help on disassembler/decompilers markh@csd4.csd.uwm.edu (Mark William Hopkins) (1990-09-10)
Re: Help on disassembler/decompilers Jonathan.Bowen@prg.oxford.ac.uk (Jonathan Bowen) (1990-09-13)
Re: Help on disassembler/decompilers nreadwin@miclon.uucp (1990-09-13)
Re: Help on disassembler/decompilers td@alice.UUCP (1990-09-13)
Re: Help on disassembler/decompilers kym@bingvaxu.cc.binghamton.edu.cc.binghamton.edu (1990-09-14)
Re: Help on disassembler/decompilers hankd@dynamo.ecn.purdue.edu (1990-09-14)
Re: Help on disassembler/decompilers hawley@icot32.icot.or.jp (1990-09-15)
Re: Help on disassembler/decompilers ch@dce.ie (1990-09-14)
[8 later articles]
| List of all articles for this month |

Newsgroups: comp.compilers,comp.lang.prolog
From: Jonathan Bowen <Jonathan.Bowen@prg.oxford.ac.uk>
Keywords: debug
Organization: Programming Research Group, Oxford University, UK
References: <HOW.90Sep5173755@sundrops.ucdavis.edu> <2900@network.ucsd.edu> <1990Sep9.010032.23235@sco.COM> <433@necssd.NEC.COM>
Date: 13 Sep 90 09:28:49 GMT

Speaking of decompilers, I have recently written a simple compiler in
Prolog based almost directly on a formal compiling specification.
Currently a high-level program can be supplied and object code produced
(non-deterministically, so several (possibly an infinite number of)
versions may be generated) or a high-level program and some object code
may be supplied and checked against one another. Prolog in principle
can run backwards, so it may be possible to supply some object code and
produce a high-level program or programs as output. The main problem is
running the necessary arithmetic backwards (i.e. avoiding the use of
"is") and I am currently looking into this. Has anyone else done any
similar work or can anyone supply any useful references?


I am cross posting this to comp.lang.prolog as well as comp.compilers
for wider coverage.


--
Jonathan Bowen, Oxford.
--


Post a followup to this message

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