Modeling operational semantics of machine instructions
Abstract
This paper offers a model which allows describe operational semantics of machine instructions for various target architectures. Feature of this model is that it is intended for reverse transformation compared with classical compilation one, however the model allows efficiently perform various optimizations. The target architectures are described by external specifications. We present a prototype subsystem for interpretation of the described model.
About the Authors
V. A. Padaryan
ISP RAS, Moscow
Russian Federation
Russian Federation
M. A. Soloviev
ISP RAS, Moscow
Russian Federation
Russian Federation
A. I. Kononov
ISP RAS, Moscow
Russian Federation
Russian Federation
References
1. Christian Collberg, Clark Thromborson, Douglas Low. A taxonomy of obfuscating transformations. – Technical report, University of Auckland, New Zealand.
2. Chenxi Wang, Jonathan Hill, John Knight, Jack Davidson. Software tamper resistance: obstructing static analysis of programs. – Technical report, University of Virginia, US. – 2000.
3. В. А. Падарян, А. И. Гетьман, М. А. Соловьев. Программная среда для динамического анализа бинарного кода. // Труды Института системного программирования, том 16, с. 51-72. – 2009.
4. B. Korel, J. Laski. Dynamic program slicing. // Information Processing Letters, vol. 29, issue 3, pp. 155-163. – 1988.
5. B. Korel, R. Smith. Slicing event traces of large software systems. // Automated and algorithmic debugging. – 2000.
6. Steven Muchnick. Advanced compiler design and implementation. – Morgan Kaufmann Publishers Inc. – 1997.
7. GNU Compiler Collection. http://gcc.gnu.org/.
8. Nicholas Nethercote, Julian Seward. Valgrind: a framework for heavyweight dynamic binary instrumentation. // Proceedings of ACM SIGPLAN 2007 conference on programming language design and implementation. – San Diego, California, US. – 2007.
9. Sanjay Bhansali, Wen-Ke Chen, Sturart de Jong, Andrew Edwards, Ron Murray, Milenko Drinic, Darek Mihocka, Joe Chau. Framework for Instruction-Level Tracing and Analysis of Program Executions. – Microsoft Corporation. – 2006.
10. Cristina Cifuentes, M. Van Emmerik, Norman Ramsey, Brian Lewis. Experience in the design, implementation and use of a retargetable static binary translation framework. – 2002.
11. Cristina Cifuentes, Brian Lewis, David Ung. Walkabout – a retargetable dynamic binary translation framework. – 2002.
12. Low Level Virtual Machine. http://www.llvm.org/.
Review
For citations:
Padaryan V.A., Soloviev M.A., Kononov A.I. Modeling operational semantics of machine instructions. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2010;19. (In Russ.)
Email this article 