Моделирование операционной семантики машинных инструкций
Аннотация
В работе предлагается модель, позволяющая описывать операционную семантику машинных инструкций для широкого класса целевых архитектур. Особенностью модели является то, что она предназначена для обратного по сравнению с классической компиляторной задачей тракта преобразований, но в то же время модель позволяет выполнять над ней различные оптимизирующие преобразования. Для описания целевой машины применяются внешние спецификации. Рассмотрена прототипная подсистема интерпретации модели.
Список литературы
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/.
Рецензия
Для цитирования:
Падарян В.А., Соловьев М.А., Кононов А.И. Моделирование операционной семантики машинных инструкций. Труды Института системного программирования РАН. 2010;19.
For citation:
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.)
Послать статью по эл. почте 