Simulation of operational semantics of machine instructions
Tóm tắt
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.
Tài liệu tham khảo
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.