From: Reini Urban
Subject: fasl->lsp decompilation?
Date:
Message-ID: <3518e81e.1942112@judy>
I wonder if anyone knows of a byte-code decompilation tool.
I know of the various disassemblers, but never heard or saw any actual
lisp decompiler, but i saw working decompilers for c and java, for lisp
it should be quite easier, isn't it?
the resulting code should be evaluatable. the resulting lisp is very
simple. more a scheme-like dialect, no complicated structures, no
objects.
the compiler is known,
the compiler sources not,
the byte-codes not, but they should be easy guessable.
are there any papers about theoretical approaches besides the dcc paper?
are there any known lisp implementations? (just yes or no is sufficient)
I know:
http://wwwis.cs.utwente.nl:8080/faase/Ha/D/appdec.html "Application
specific decompilation" and
http://www.cs.uq.edu.au/groups/csm/dcc.html#thesis
but this is only for machine code, not for byte-code.
ethics:
i don't want to decompile foreign code. i'm just concerned about
security, because I thought encrypted lisp byte-code is more secure than
unencrypted machine code from c++, both from known compilers.
-- Reini Urban
AutoCAD stuff at http://xarch.tu-graz.ac.at/autocad/
Reini Urban <······@sbox.tu-graz.ac.at> wrote:
> I wonder if anyone knows of a byte-code decompilation tool.
> I know of the various disassemblers, but never heard or saw any actual
> lisp decompiler, but i saw working decompilers for c and java, for lisp
> it should be quite easier, isn't it?
> the resulting code should be evaluatable. the resulting lisp is very
> simple. more a scheme-like dialect, no complicated structures, no
> objects.
> the compiler is known,
> the compiler sources not,
> the byte-codes not, but they should be easy guessable.
> are there any papers about theoretical approaches besides the dcc paper?
> are there any known lisp implementations? (just yes or no is sufficient)
> I know:
> http://wwwis.cs.utwente.nl:8080/faase/Ha/D/appdec.html "Application
> specific decompilation" and
> http://www.cs.uq.edu.au/groups/csm/dcc.html#thesis
> but this is only for machine code, not for byte-code.
Look at:
http://www.csee.uq.edu.au/csm/decompilation/
or
http://zeus.polsl.gliwice.pl/dekompil.html
Adam Przybyla