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

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

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



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






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


Труды института системного программирования РАН, 2020, том 32, выпуск 6, страницы 101–110
DOI: https://doi.org/10.15514/ISPRAS-2020-32(6)-8
(Mi tisp561)
 

Эта публикация цитируется в 1 научной статье (всего в 1 статье)

Практическая абстрактная интерпретация бинарного кода

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

a Институт системного программирования им. В.П. Иванникова РАН
b Московский государственный университет имени М.В. Ломоносова
Список литературы:
Аннотация: Математический аппарат абстрактной интерпретации предоставляет универсальный способ формализации и изучения алгоритмов анализа программ для самого широкого спектра прикладных задач. Однако его применение для практически значимых задач анализа бинарного кода связано с большим числом вызовов, как научных, так и инженерных. В настоящей работе предложены подходы к преодолению части этих трудностей. Описано промежуточное представление, учитывающее особенности бинарного кода. Предложена инфраструктура абстрактной интерпретации с возможностью выполнения интерпретации как вдоль отдельного пути в программе, так и статически до достижения неподвижной точки. В совокупности промежуточное представление и инфраструктура абстрактной интерпретации позволяют задать модель конвейера процессора, что позволяет проводить анализ бинарного кода для различных архитектур. В работе также представлены предварительные эксперименты и указаны дальнейшие направления развития проекта.
Ключевые слова: абстрактная интерпретация, анализ бинарного кода, динамический анализ, символьное выполнение, статический анализ.
Финансовая поддержка Номер гранта
Российский фонд фундаментальных исследований 18-07-01256
Работа поддержана грантом РФФИ № 18-07-01256
Тип публикации: Статья
Образец цитирования: М. А. Соловьев, М. Г. Бакулин, С. С. Макаров, Д. В. Манушин, В. А. Падарян, “Практическая абстрактная интерпретация бинарного кода”, Труды ИСП РАН, 32:6 (2020), 101–110
Цитирование в формате AMSBIB
\RBibitem{SolBakMak20}
\by М.~А.~Соловьев, М.~Г.~Бакулин, С.~С.~Макаров, Д.~В.~Манушин, В.~А.~Падарян
\paper Практическая абстрактная интерпретация бинарного кода
\jour Труды ИСП РАН
\yr 2020
\vol 32
\issue 6
\pages 101--110
\mathnet{http://mi.mathnet.ru/tisp561}
\crossref{https://doi.org/10.15514/ISPRAS-2020-32(6)-8}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/tisp561
  • https://www.mathnet.ru/rus/tisp/v32/i6/p101
  • Эта публикация цитируется в следующих 1 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Труды института системного программирования РАН
    Статистика просмотров:
    Страница аннотации:182
    PDF полного текста:64
    Список литературы:23
     
      Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024