|
Эта публикация цитируется в 5 научных статьях (всего в 5 статьях)
О новом поколении промежуточных представлений, применяемых для анализа бинарного кода
М. А. Соловьевab, М. Г. Бакулинb, М. С. Горбачевb, Д. В. Манушинab, В. А. Падарянba, С. С. Панасенкоb a Московский государственный университет им. М.В. Ломоносова
b Институт системного программирования им. В.П. Иванникова РАН
Аннотация:
Многие программные инструменты анализа бинарного кода работают не напрямую с машинными командами, а с промежуточными представлениями, в которые этот код транслируется. В статье рассмотрены различные задачи анализа бинарного кода, сформулированы требования к промежуточному представлению, которое могло бы использоваться сразу для многих задач. Базовые требования дополнены требованиями, вытекающими из особенностей целевых процессорных архитектур. Проведен обзор существующих подходов к декодированию машинных команд и описанию их семантики и предложены новые подходы к решению этих задач: унифицированная схема декодирования и промежуточное представление для задания семантики команд, позволяющее учитывать особенности выборки команд и обработки исключений. Показан способ применения предложенных подходов к моделированию работы процессора при конкретной и абстрактной интерпретации и символьном выполнении.
Ключевые слова:
абстрактная интерпретация, анализ бинарного кода, динамический анализ, компиляторные технологии, обратная инженерия ПО, символьное выполнение, статический анализ.
Образец цитирования:
М. А. Соловьев, М. Г. Бакулин, М. С. Горбачев, Д. В. Манушин, В. А. Падарян, С. С. Панасенко, “О новом поколении промежуточных представлений, применяемых для анализа бинарного кода”, Труды ИСП РАН, 30:6 (2018), 39–68
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/tisp376 https://www.mathnet.ru/rus/tisp/v30/i6/p39
|
Статистика просмотров: |
Страница аннотации: | 235 | PDF полного текста: | 128 | Список литературы: | 36 |
|