Recovery of jump table case statements from binary code

Science of Computer Programming

Volumn 40, Issue 2-3, 2001, Pages 171-188

  Cifuentes, Cristina ^a   Van Emmerik, Mike ^a  

^a UNIVERSITY OF QUEENSLAND   (Australia)

Author keywords

Binary analysis; Binary translation; Jump tables; Slicing

Indexed keywords

C (PROGRAMMING LANGUAGE); FORTRAN (PROGRAMMING LANGUAGE); PASCAL (PROGRAMMING LANGUAGE); PROGRAM COMPILERS; TABLE LOOKUP;

JUMP TABLE CASE STATEMENTS;

BINARY CODES;

EID: 0035400735     PISSN: 01676423     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0167-6423(01)00014-4     Document Type: Article

References (25)

1. Ball T., Larus J.R. Optimally profiling and tracing programs. Trans. Program. Languages Systems. 16(4):1994;1319-1360.
2. Bernstein R.L. Producing good code for the case statement. Software-Practice Exp. 15(10):1985;1021-1024.
3. Cifuentes C. Interprocedural dataflow decompilation. J. Program. Languages. 4(2):1996;77-99.
4. C. Cifuentes, A. Fraboulet, Intraprocedural static slicing of binary executables, in: M.J. Harrold, G. Visaggio (Eds.), Proc. Internat. Conf. on Software Maintenance, Bari, Italy, 1-3 October 1997, IEEE CS Press, Los Alamitos, CA, pp. 188-195.
5. Cifuentes C., Gough K.J. Decompilation of binary programs. Software-Practice Exp. 25(7):1995;811-829.
6. C. Cifuentes, S. Sendall, Specifying the semantics of machine instructions, in: Proc. Internat. Workshop on Program Comprehension, Ischia, Italy, 24-26 June 1998, IEEE CS Press, Los Alamitos, CA, pp. 126-133.
7. C. Cifuentes, D. Simon, A. Fraboulet, Assembly to high-level language translation, in: Proc. Internat. Conf. on Software Maintenance, Washington, DC, USA, 18-20 November 1998, IEEE CS Press, Los Alamitos, CA, pp. 228-237.
8. B. Cmelik, D. Keppel, Shade: a fast instruction-set simulator for execution profiling, in: Proc. ACM SIGMETRICS Conference on Measurement and modeling of Computer Systems, 1994.
9. V. Communications, Sourcer - Commenting Disassembler, 8088 to 80486 Instruction Set Support. V. Communications, Inc, 4320 Stevens Creek Blvd., Suite 275, San Jose, CA 95129, 1991.
10. Fraser C.W., Hanson D.R. A retargetable compiler for ANSI C. SIGPLAN Notices. 26(10):1991;29-43.
11. Fraser C.W., Hanson D.R. A Retargetable C Compiler: Design and Implementation. 1995;The Benjamin/Cummings Publishing Company, Inc. Redwood City, CA.
12. L. Freeman, Don't let Missing Source Code Stall your Year 2000 Project, Year 2000 Survival Guide, 1997.
13. Hennessy J.L., Mendelsohn N. Compilation of the Pascal case statement. Software-Practice Exp. 12:1982;879-882.
14. Huang H., Tsai W., Bhattacharya S., Chen X., Wang Y. Business rule extraction techniques for COBOL programs. J. Software Maintenance. Res. Practice 10(1):1998;3-35.
15. Ida PRO disassembler, Data Rescue. http://www.datarescue.com/ida.htm , 1997.
16. Larus J.R., Ball T. Rewriting executable files to measure program behavior. Software-Practice Exp. 24(2):1994;197-218.
17. J.R. Larus, E. Schnarr, EEL: machine-independent executable editing, in: SIGPLAN Conference on Programming Languages, Design and Implementation, June 1995, pp. 291-300.
18. Sale A. The implementation of case statements in Pascal. Software-Practice Exp. 11:1981;929-942.
19. Sites R.L., Chernoff A., Kirk M.B., Marks M.P., Robinson S.G. Binary translation. Comm. ACM. 36(2):1993;69-81.
20. T. Thompson, An Alpha in PC clothing, Byte (1996) 195-196.
21. TracePoint, HiProf hierarchical profiler. http://www.tracepoint.com/noframes/hiprof/products/hiprof , 1997.
22. Unix System V: Application Binary Interface, Prentice-Hall, Englewood Cliffs, NJ, 1990.
23. The wine project. http://www.winehq.com , 1996.
24. Wirth N., Hoare C.A.R. A contribution to the development of ALGOL. Comm. ACM. 9(6):1966;413-432.
25. Wrandle C. Notes on the. case statement Software-Practice Exp. 4:1974;289-298.