Interprocedural data flow decompilation

Journal of Programming Languages

Volumn 4, Issue 2, 1996, Pages 77-99

  Cifuentes, Cristina ^a  

^a UNIVERSITY OF TASMANIA   (Australia)

Author keywords

Data flow analysis; Decompiler; Reverse compiler

Indexed keywords

EID: 0002364562     PISSN: 09639306     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (20)

1. C. Cifuentes. A structuring algorithm for decompilation. In Proceedings of the XIX Conferencia Latinoamericana de Informática, pp. 267-276, Buenos Aires, Argentina, 2-6 August 1993. Centro Latinoamericano de Estudios en Informática.
2. C. Cifuentes. Reverse Compilation Techniques. PhD dissertation, Queensland University of Technology, School of Computing Science, July 1994.
3. A.V. Aho, R. Sethi, and J.D. Ullman. Compilers: Principles, Techniques, and Tools, chapter 10, pp 585-722. (Addison-Wesley, 1986).
4. B.C. Housel. A Study of Decompiling Machine Languages into High-Level Machine Independent Languages. PhD dissertation, Purdue University, Computer Science, August 1973.
5. F.L. Friedman. Decompilation and the Transfer of Mini-Computer Operating Systems. PhD dissertation, Purdue University, Computer Science, August 1974.
6. D.A. Workman. Language design using decompilation. Technical report, University of Central Florida, December 1978.
7. D.L. Brinkley. Intercomputer transportation of assembly language software through decompilation. Technical report, Naval Underwater Systems Center, October 1981.
8. J. Reuter. URL: ftp//cs.washington.edu/pub/decomp.tar.z. Public domain software, 1988.
9. J. Bowen and P. Breuer. Decompilation techniques. Internal to ESPRIT REDO project no. 2487 2487-TN-PRG-1065 Version 1.2, Oxford University Computing Laboratory, 11 Keble Road, Oxford OX1 3QD, March 1991.
10. J. Bowen. From programs to object code and back again using logic programming: Compilation and decompilation. Journal of Software Maintenance: Research and Practice, 5 (1993) 205-234.
11. P.T. Breuer and J.P. Bowen. Decompilation: the enumeration of types and grammars. Transactions of Programming Languages and Systems, 16 (1994) 1613-1647.
12. D.M. Dejean and G.W. Zobrist. A definition optimization technique used in a code translation algorithm. Communications of the ACM, 32 (1989) 94-104.
13. G.L. Hopwood. Decompilation. PhD dissertation, University of California, Irvine, Computer Science, 1978.
14. M. Van Emmerik. Signatures for library functions in executable files. Technical Report 2/94, Faculty of Information Technology, Queensland University of Technology, GPO Box 2434, Brisbane 4001, Australia, April 1994.
15. K.J. Gough. Private communication, 1993.
16. A. Srivastava and D.W. Wall. A practical system for intermodule code optimization at link-time. Journal of Programming Languages, 1 (1993) 1-18.
17. C. Cifuentes and K.J. Gough. Decompilation of binary programs. Software - Practice and Experience, 25 (1995) 811-829.
18. E.S. Raymond. Plum-hall benchmarks. URL: ftp//plaza.aarnet.edu.au/usenet/comp.sources.unix/volume20/plum-benchmarks.gz, 1989.
19. F.E. Allen and J. Cocke. A program data flow analysis procedure. Communications of the ACM, 19 (1976) 137-147.
20. C.N. Fischer and R.J. LeBlanc Jr. Crafting a Compiler, Ch. 16, pp. 609-680. (Benjamin Cummings, Menlo Park, CA, 1988).