An experimentation framework for evaluating disassembly and decompilation tools for C++ and Java

Proceedings - Working Conference on Reverse Engineering, WCRE

Volumn 2003-January, Issue , 2003, Pages 14-23

  Vinciguerra, Lori ^a   Wills, Linda ^b   Kejriwal, Nidhi ^b   Martino, Paul ^c   Vinciguerra, Ralph ^d  

^a BAE SYSTEMS   (United Kingdom)

^b GEORGIA INSTITUTE OF TECHNOLOGY   (United States)

^c Ahpah Software ^*  (United States)

^d Trinity Research and Development Corp   (United States)

Author keywords

Binary reverse engineering; Binary translation; Decompilation; Disassembly; Obfuscation

Indexed keywords

BINS; C++ (PROGRAMMING LANGUAGE); COMPUTATIONAL LINGUISTICS; JAVA PROGRAMMING LANGUAGE; REVERSE ENGINEERING;

BENCHMARK PROGRAMS; BINARY TRANSLATION; DECOMPILATION; DISASSEMBLY; INPUT PROGRAMS; OBFUSCATION; STATE OF THE ART; TOOLS AND TECHNIQUES;

COMPUTER SOFTWARE;

EID: 84944602623     PISSN: 10951350     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WCRE.2003.1287233     Document Type: Conference Paper

References (31)

1. G. Caprino, "REC - Reverse Engineering Compiler," online at: http://www.backerstreet.com/rec/rec.htm, accessed May 2003.
2. C. Cifuentes, "An Environment for Reverse Engineering of Executable Programs," APSEC95, Brisbane, Australia, pp 410-419, Dec. 1995.
3. rd Working Conference on Reverse Engineering (WCRE), Monterey, CA, pp 50-56, November 1996.
4. C. Cifuentes and K.J. Gough, "Decompilation of Binary Programs," Software - Practice & Experience, Vol 25 (7), July 1995, 811-829.
5. C. Cifuentes and D. Simon, "Procedural Abstraction Recovery from Binary Code," Proc. of the European Conference on Software Maintenance and Reengineering, IEEE Computer Society Press, Zurich, Switzerland, March 2000.
6. C. Cifuentes and M. Van Emmerik, "Recovery of Jump Table Case Statements from Binary Code," Science of Computer Programming, 40 (2001): 171-188.
7. C. Cifuentes and M. Van Emmerik, "UQBT: Adaptable Binary Translation at Low Cost," IEEE Computer, pp.60-66, March 2000.
8. C. Cifuentes, M. Van Emmerik, N. Ramsey, and B. Lewis, "Experience in the Design, Implementation and Use of a Retargetable Static Binary Translation Framework," SMLI TR-2002-102, Available online at: http://research.sun.com/techrep/2002/smli-tr-2002-105.pdf, January 2002.
9. C. Cifuentes, T. Waddington, and M. van Emmerik, "Computer Security Analysis through Decompilation and High-Level Debugging," Workshop on Decompilation Techniques, held at the 8th Working Conference on Reverse Engineering (WCRE), Stuttgart, Germany, pp. 375-380, October 2001.
10. I. Guilfanov, "A Simple Type System for Program Reengineering," Workshop on Decompilation Techniques, held at the 8th Working Conference on Reverse Engineering (WCRE), Stuttgart, Germany, pp. 357-361, October 2001.
11. M. Halstead, "Using the computer for program conversion," Datamation, pp. 125-129, May 1970.
12. "History of Decompilation," in the Reengineering Wiki, available online at: www.programtransformation.org/twiki/bin/view/Transform/HistoryOfDecompilation1, accessed August 2003.
13. IDA Pro Disassembler, Online at: http://www.datarescue.com/, accessed May 2003.
14. S. Kumar, "DisC - Decompiler for TurboC," http://www.debugmode.com/decompile/disc.htm, October 2001.
15. P. Martino, "SourceAgain and Java Decompilation," http://www.ahpah.com/whitepaper.html, December 2001.
16. A. Mycroft, A. Ohori, and S. Katsumata, "Comparing Type-Based and Proof-Directed Decompilation," Workshop on Decompilation Techniques, held at the 8th Working Conference on Reverse Engineering (WCRE), Stuttgart, Germany, pp. 362-3367, October 2001.
17. N. Ramsey and M. Fernandez, "Specifying Representations of Machine Instructions," ACM Trans. Programming Languages and Systems, May 1997, pp. 492-524.
18. J. Reuter, "DeComp Read Me," online at: http://www.program-transformation.org/twiki/bin/view/Transform/DecompReadMe, accessed August 2003.
19. Sandia National Laboratories, "Design of Experiments", online: http://reliability.sandia.gov/Manuf-Statistics/Design-of-Experiments/design-of-experiments.html, Sandia National Laboratories, Albuquerque, NM.
20. B. Schwarz, S. Debray, G. Andrews, "Disassembly of Executable Code Revisited," Proc. of 9th Working Conference on Reverse Engineering (WCRE), Richmond, VA, pp. 45-54, Nov. 2002.
21. S. Sim and R. Holt, "C++ Parser-Analysers for Reverse Engineering: Trade-offs and Benchmarks," online at: http://www.cs.toronto.edu/~simsuz/cascon2001/workshop.html.
22. See also IWPC2002 http://cedar.csc.uvic.ca/kienle/view/IWPC2002 working session, June 2002.
23. th International Workshop on Program Comprehension, pp. 114-123, Paris, France, June 2002.
24. th Working Conference on Reverse Engineering, Brisbane, Queensland, Australia, pp. 184-193, November, 2000.
25. R. Sites, A. Chernoff, M. Kirk, M. Marks, and S. Robinson, "Binary Translation," Communications of the ACM, vol. 36, no. 2, Feb. 1993, pp. 69-81.
26. J. Troger and C. Cifuentes, "Analysis of Virtual Method Invocation for Binary Translation," Proc. of 9th Working Conference on Reverse Engineering (WCRE), Richmond, VA, pp. 65-74, Nov. 2002.
27. D. Ung and C. Cifuentes, "Machine-Adaptable Dynamic Binary Translation," Proceedings of the ACM SIGPLAN Workshop on Dynamic and Adaptive Compilation and Optimization, Boston, USA, ACM Press, January 2000, pp 30-40.
28. D. Ung and C. Cifuentes, "Optimising Hot Paths in a Dynamic Binary Translator," Second Workshop on Binary Translation, October 2000, Philadelphia, Pennsylvania.
29. Watts S. Humphrey, A Discipline for Software Engineering, Addison Wesley, 1994.
30. WorldPath, The WELTAB3 Election System, code placed into the public domain by Elliot Chikofsky, DMR Associates in 1977, code copyright 1982.
31. "XDASM - Universal Cross Disassembler," online at: http://www.datasynceng.com/xdasmdoc.htm, accessed May 2003.