fasl->lsp decompilation? 
Author Message
 fasl->lsp decompilation?

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://www.*-*-*.com/ :8080/faase/Ha/D/appdec.html "Application
specific decompilation" and
http://www.*-*-*.com/ #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://www.*-*-*.com/



Sun, 10 Sep 2000 03:00:00 GMT  
 fasl->lsp decompilation?

Quote:

> 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


Sun, 10 Sep 2000 03:00:00 GMT  
 
 [ 2 post ] 

 Relevant Pages 

1. Referencing a LSP command from another LSP program

2. HELP>>>>>>>Fortran-Pascal Linking

3. >>>>>>>FROM SMTK TO C++

4. Can poplog make a fasl?

5. New SIOD update, with -*-parser:fasl-*- and -*-parser:read-*-

6. ><><><><>Heeeeeeeeeeeeeeelp on INT 14!><><><><><>

7. Are fasl files feasible for delivery?

8. fasl file magic numbers?

9. New SIOD update, with -*-parser:fasl-*- and -*-parser:read-*-

10. Standardized FASL files?

11. AKCL fasl loader for ESIX v3.2

12. <<<<<YOU MUST CHECK THIS OUT >>>>>>>>>> 2103

 

 
Powered by phpBB® Forum Software