DERIVE: A tool that automatically reverse-engineers instruction encodings

Proceedings of the ACM SIGPLAN Workshop on Dynamic and Adaptive Compilation and Optimization, DYNAMO 2000

Volumn , Issue , 2000, Pages 12-22

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

^a STANFORD UNIVERSITY   (United States)

^b UNIVERSITY OF UTAH   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

INTERACTIVE DEVICES; PROGRAM COMPILERS; SPECIFICATIONS;

DISASSEMBLERS; DYNAMIC CODE GENERATION; EQUATION SOLVING; ERROR PRONES; EXECUTABLE CODES; INSTRUCTION ENCODING; MACHINE INSTRUCTIONS; TRADITIONAL SYSTEMS;

ENCODING (SYMBOLS);

EID: 85029396711     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/351397.351409     Document Type: Conference Paper

References (22)

1. F. Bergadano and D. Gunetti. Inductive Logic Programming. MIT Press, 1996.
2. Frederick P. Brooks, Jr. The Mythical Man-Month. Addison Wesley, 20th anniversary edition, 1995.
3. Christian Collberg. Reverse interpretation + mutation analysis = automatic retargeting. In Proceedings of the SIGPLAN '97 Conference on Programming Language Design and Implementation, June 1997.
4. C. Consel and F. Noel. A general approach for run-time specialization and its application to C. In Proceedings of the 23th Annual Symposium on Principles of Programming Languages, St. Petersburg, FL, January 1996.
5. P. Deutsch and A.M. Schiffman. Efficient implementation of the Smalltalk-80 system. In Proceedings of 11th POPL, pages 297-302, Salt Lake City, UT, January 1984.
6. D. R. Engler. vcode: a retargetable, extensible, very fast dynamic code generation system. In Proceedings of the SIGPLAN '96 Conference on Programming Language Design and Implementation, pages 160-170, Philadelphia, PA, USA, May 1996. http://wuiw.pdos. Ics.mit. edu/engler/vcode. html.
7. D.R. Engler and M.F. Kaashoek. DPF: fast, flexible message demultiplexing using dynamic code generation. In A CM Communication Architectures, Protocols, and Applications (SIGCOMM) 1996, pages 53-59, Stanford, CA, USA, August 1996.
8. Maxy Fernandez and Norman Ramsey. Automatic checking of instruction specifications. In 1997 International Conference on Software Engineering, 1997.
9. B. Grant, M. Mock, M. Philipose, C. Chambers, and S.J. Eggers. Annotation-directed run-time specialization in C. In Symposium on Partial Evaluation and Semantics-Based Program Manip ulation (Amsterdam, The Netherlands), pages 163-178, New York, June 1997. ACM.
10. W. Wilson Ho and Ronald A. Olsson. An approach to genuine dynamic linking. Software: Practice and Experience, 24(4):375-390, April 1991.
11. U. Holzle and D. Ungar. Optimizing dynamically-dispatched calls with run-time type feedback. In Proceedings of PLDI '94, pages 326-335, Orlando, Florida, June 1994.
12. James R. Larus and Thomas Ball. Rewriting executable files to measure program behavior. SPE, 24(2):197-218, feb 1994.
13. M. Leone and P. Lee. Optimizing ML with run-time code generation. In Proceedings of the SIGPLAN '96 Conference on Programming Language Design and Implementation, May 1996.
14. Steve Lucco. Personal communication. Use of undocumented proprietary formats as a technique to impede third-party additions, August 1997.
15. Henry Massalin. Superoptimizer - a look at the smallest program. In Second International Conference on Architectural Support for Programming Languages and Operating Systems, pages 122-126, October 1987.
16. Massimiliano Poletto, Wilson Hsieh, Dawson Engler, and M. Frans Kaashoek. 'C and tec: A language and compiler for dynamic code generation. ACM Transactions on Programming Languages and Systems, 21(2):324-369, March 1999.
17. N. Ramsey and M. F. Fernandez. The New Jersey machine-code toolkit. In 1995 Winter USENIX, December 1995.
18. Norman Ramsey and Mary Fernandez. Specifying representations of machine instructions. ACM Transactions on Programming Languages and Systems, to appear.
19. Amitabh Srivastava and Alan Eustace. Atom - a system for building customized program analysis tools. In Proceedings of the SIGPLAN '94 Conference on Programming Language Design and Implementation, 1994.
20. Bjarne Stroustrup. The Design and Evolution of C++. Addison Wesley, Reading, MA, 1994.
21. R. Wahbe, S. Lucco, T. Anderson, and S. Graham. Efficient software-based fault isolation. In Proceedings of the Fourteenth ACM Symposium on Operating Systems Principles, pages 203-216, Asheville, NC, USA, December 1993.
22. D.W. Wall. Systems for late code modification. CODE 91 Workshop on Code Generation, 1991.