Preview

Труды Института системного программирования РАН

Расширенный поиск

Моделирование операционной семантики машинных инструкций

Полный текст:

Аннотация

В работе предлагается модель, позволяющая описывать операционную семантику машинных инструкций для широкого класса целевых архитектур. Особенностью модели является то, что она предназначена для обратного по сравнению с классической компиляторной задачей тракта преобразований, но в то же время модель позволяет выполнять над ней различные оптимизирующие преобразования. Для описания целевой машины применяются внешние спецификации. Рассмотрена прототипная подсистема интерпретации модели.

Об авторах

В. А. Падарян
ИСП РАН
Россия


М. А. Соловьев
ИСП РАН
Россия


А. И. Кононов
ИСП РАН
Россия


Список литературы

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.)

Просмотров: 21


Creative Commons License
Контент доступен под лицензией Creative Commons Attribution 4.0 License.


ISSN 2079-8156 (Print)
ISSN 2220-6426 (Online)