Re: Help on disassembler/decompilers

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.
--

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