Reverse-engineering instruction encodings

Proceedings of the 2001 USENIX Annual Technical Conference

Volumn , Issue , 2001, Pages

  Hsieh, Wilson C ^a   Engler, Dawson R ^b   Back, Godmar ^a  

^a UNIVERSITY OF UTAH   (United States)

^b STANFORD UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ENCODING (SYMBOLS); JUST IN TIME PRODUCTION; REVERSE ENGINEERING;

ASSEMBLY LEVELS; ENGINEERING INSTRUCTIONS; EXECUTABLE CODES; EXPLICIT REPRESENTATION; INSTRUCTION ENCODING; INSTRUCTION SET; JUST IN TIME COMPILERS; MACHINE INSTRUCTIONS;

C (PROGRAMMING LANGUAGE);

EID: 85084164540     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (25)

1. C. Collberg. Reverse interpretation + mutation analysis = automatic retargeting. In Proc. of PLDI '97, June 1997.
2. A. A. Committee. Alpha Architecture Reference Manual. Digital Press, third edition, 1998.
3. C. Consel and F. Noel. A general approach for run-time specialization and its application to C. In Proc. of 23rd POPL, St. Petersburg, FL, Jan. 1996.
4. P. Deutsch and A. Schiffman. Efficient implementation of the Smalltalk-80 system. In Proc. of 11th POPL, pp. 297-302, Salt Lake City, UT, Jan. 1984.
5. H. Emmelmann, F.-W. Schroer, and R. Landwehr. BEG-a generator for efficient back ends. In Proc. of PLDI '89, pp. 227-237, 1989.
6. D. Engler and W. Hsieh. DERIVE: A tool that automatically reverse-engineers instruction encodings. In Proc. of DYNAMO, Boston, MA, Jan. 2000.
7. D. Engler and M. Kaashoek. DPF: Fast, flexible message demultiplexing using dynamic code generation. In Proc. of SIGCOMM 1996, pp. 53-59, Stanford, CA, USA, Aug. 1996.
8. D. R. Engler. VCODE: a retargetable, extensible, very fast dynamic code generation system. In Proc. of PLDI '96, pp. 160-170, Philadelphia, PA, USA, May 1996.
9. M. Fernandez and N. Ramsey. Automatic checking of instruction specifications. In Proc. of ICSE, 1997.
10. B. Grant, M. Philipose, M. Mock, C. Chambers, and S. Eggers. An evaluation of staged run-time optimizations in DyC. In Proc. of PLDI '99, pp. 293-304, Atlanta, GA, May 1999.
11. W. W. Ho and R. A. Olsson. An approach to genuine dynamic linking. Software: Practice and Experience, 24(4):375-390, Apr. 1991.
12. U. Holzle and D. Ungar. Optimizing dynamically-dispatched calls with run-time type feedback. In Proc. of PLDI '94, pp. 326-335, Orlando, Florida, June 1994.
13. D. Jaggar, editor. ARM Architecture Reference Manual. Prentice Hall, 1996.
14. J. R. Larus and T. Ball. Rewriting executable files to measure program behavior. SPE, 24(2):197-218, feb 1994.
15. M. Leone and P. Lee. Optimizing ML with run-time code generation. In Proc. of PLDI '96, May 1996.
16. S. Lucco. Personal communication. Use of undocumented proprietary formats technique to impede third-party additions, Aug. 1997.
17. I. Piumarta. ccg: dynamic code generation for C and C++. http://www-sor.inria.fr/projects/vvm/ccg/, Mar. 1999.
18. M. Poletto, W. Hsieh, D. Engler, and M. F. Kaashoek. 'C and tec: A language and compiler for dynamic code generation. TOPLAS, 21(2):324-369, Mar. 1999.
19. N. Ramsey and M. Fernandez. New Jersey machine-code toolkit architecture specifications. http://www.eecs.harvard.edu/ nr/toolkit/specs/specs.ps, Nov. 1996.
20. N. Ramsey and M. F. Fernandez. The New Jersey machine-code toolkit. In 1995 Winter USENIX, Dec. 1995.
21. A. Srivastava and A. Eustace. Atom - a system for building customized program analysis tools. In Proc. of PLDI '94, 1994.
22. D. Sweetman. See MIPS Run. Morgan Kaufman, 1999.
23. R. Wahbe, S. Lucco, T. Anderson, and S. Graham. Efficient software-based fault isolation. In Proc. of the Fourteenth ACM SOSP, pp. 203-216, Asheville, NC, USA, Dec. 1993.
24. D. Wall. Systems for late code modification. CODE 91 Workshop on Code Generation, 1991.
25. T. Wilkinson. Kaffe - a Java virtual machine. http://www.transvirtual.com.