Труды института системного программирования РАН
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS


Труды ИСП РАН:
Год:
Том:
Выпуск:
Страница:
Найти




Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация

Труды института системного программирования РАН, 2018, том 30, выпуск 6, страницы 39–68
DOI: https://doi.org/10.15514/ISPRAS-2018-30(6)-3 (Mi tisp376) 		 
Эта публикация цитируется в 5 научных статьях (всего в 5 статьях)

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

М. А. Соловьевab, М. Г. Бакулинb, М. С. Горбачевb, Д. В. Манушинab, В. А. Падарянba, С. С. Панасенкоb

a Московский государственный университет им. М.В. Ломоносова
b Институт системного программирования им. В.П. Иванникова РАН
PDF полного текста (713 kB) Список цитирования (5)
Список литературы:
PDF
HTML
DOI: https://doi.org/10.15514/ISPRAS-2018-30(6)-3
Аннотация: Многие программные инструменты анализа бинарного кода работают не напрямую с машинными командами, а с промежуточными представлениями, в которые этот код транслируется. В статье рассмотрены различные задачи анализа бинарного кода, сформулированы требования к промежуточному представлению, которое могло бы использоваться сразу для многих задач. Базовые требования дополнены требованиями, вытекающими из особенностей целевых процессорных архитектур. Проведен обзор существующих подходов к декодированию машинных команд и описанию их семантики и предложены новые подходы к решению этих задач: унифицированная схема декодирования и промежуточное представление для задания семантики команд, позволяющее учитывать особенности выборки команд и обработки исключений. Показан способ применения предложенных подходов к моделированию работы процессора при конкретной и абстрактной интерпретации и символьном выполнении.
Ключевые слова: абстрактная интерпретация, анализ бинарного кода, динамический анализ, компиляторные технологии, обратная инженерия ПО, символьное выполнение, статический анализ.
Финансовая поддержка Номер гранта
Российский фонд фундаментальных исследований 18-07-01256
Работа поддержана грантом РФФИ 18-07-01256 А.
Реферативные базы данных:
Тип публикации: Статья
Образец цитирования: М. А. Соловьев, М. Г. Бакулин, М. С. Горбачев, Д. В. Манушин, В. А. Падарян, С. С. Панасенко, “О новом поколении промежуточных представлений, применяемых для анализа бинарного кода”, Труды ИСП РАН, 30:6 (2018), 39–68
Цитирование в формате AMSBIB
\RBibitem{SolBakGor18}
\by М.~А.~Соловьев, М.~Г.~Бакулин, М.~С.~Горбачев, Д.~В.~Манушин, В.~А.~Падарян, С.~С.~Панасенко
\paper О новом поколении промежуточных представлений, применяемых для анализа бинарного кода
\jour Труды ИСП РАН
\yr 2018
\vol 30
\issue 6
\pages 39--68
\mathnet{http://mi.mathnet.ru/tisp376}
\crossref{https://doi.org/10.15514/ISPRAS-2018-30(6)-3}
\elib{https://elibrary.ru/item.asp?id=36825264}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/tisp376
  • https://www.mathnet.ru/rus/tisp/v30/i6/p39
    • Эта публикация цитируется в следующих 5 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Труды института системного программирования РАН
    Статистика просмотров:
    Страница аннотации:242
    PDF полного текста:130
    Список литературы:38
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024