Abstract
We propose a model describing the operational semantics of machine instructions for a wide class of target architectures. A special feature of the model is that it is designed for the inverse (compared to the classical compiler problem) tract of transformations, but, at the same time, the model makes it possible to perform different optimizing transformations over it. The target machine is described by means of external specifications. A prototype subsystem for model interpretation is considered.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Collberg, C., Thomborson, C., and Low, D., A Taxonomy of Obfuscating Transformations, 1997, Univ. of Auckland, New Zealand, Tech. Rep. no. 148.
Wang, C., Hill, J., Knight, J., and Davidson, J., Software Tamper Resistance: Obstructing Static Analysis of Programs, 2000, Univ. of Virginia, USA, Tech. Rep.
Padaryan, V.A., Get’man, A.I., and Solov’ev, M.A., Program Environment for Dynamic Analysis of Binary Code, Trudy Inst. Sist. Prog., 2009, vol. 16, pp. 51–72.
Korel, B. and Laski, J., Dynamic Program Slicing., Inf. Process. Lett., 1988, vol. 29, no. 3, pp. 155–163.
Korel, B. and Smith, R., Slicing Event Traces of Large Software Systems, in Automated and Algorithmic Debugging, 2000.
Muchnick, S.S., Advanced Compiler Design and Implementation, Morgan Kaufmann, 1997.
GNU Compiler Collection, http://gcc.gnu.org/.
Nethercote, N. and Seward, J., Valgrind: A Framework for Heavyweight Dynamic Binary Instrumentation, Proc. of the ACM SIGPLAN 2007 Conf. on Programming Language Design and Implementation (PLDI 2007), San Diego, June 2007.
Bhansali, S., Chen, W.-K., de Jong, S., Edwards, A., Murray, R., Drinic, M., Mihocka, D., and Chau, J., Framework for Instruction-Level Tracing and Analysis of Program Executions, Microsoft Corporation, 2006, pp. 154–163.
Cifuentes, C., Van Emmerik, M.J., Ramsey, N., and Lewis, B., Experience in the Design, Implementation and Use of a Retargetable Static Binary Translation Framework, Tech. Rep. SMLI TR-2002-105, Sun Microsystems, January, 2002.
Cifuentes, C., Lewis, B., and Ung, D., Walkabout—a Retargetable Dynamic Binary Translation Framework, Tech. Rep., Sun Microsystems, 2002.
Low-Level Virtual Machine, http://www.llvm.org.
Author information
Authors and Affiliations
Corresponding author
Additional information
Original Russian Text © V.A. Padaryan, M.A. Solov’ev, A.I. Kononov, 2011, published in Programmirovanie, 2011, Vol. 37, No. 3.
Rights and permissions
About this article
Cite this article
Padaryan, V.A., Solov’ev, M.A. & Kononov, A.I. Simulation of operational semantics of machine instructions. Program Comput Soft 37, 161–170 (2011). https://doi.org/10.1134/S0361768811030030
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1134/S0361768811030030