Сборники трудов ИСП РАН


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

В.А. Падарян, М.А. Соловьев, А.И. Кононов.

Аннотация

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

Ключевые слова

обратная инженерия, бинарный код, промежуточное представление.

Издание

Труды Института системного программирования РАН, том 19, 2010, стр. 165-186.

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

Полный текст статьи в формате pdf Вернуться к содержанию тома