|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
Практическая абстрактная интерпретация бинарного кода
М. А. Соловьевab, М. Г. Бакулинa, С. С. Макаровb, Д. В. Манушинb, В. А. Падарянba a Институт системного программирования им. В.П. Иванникова РАН
b Московский государственный университет имени М.В. Ломоносова
Аннотация:
Математический аппарат абстрактной интерпретации предоставляет универсальный способ формализации и изучения алгоритмов анализа программ для самого широкого спектра прикладных задач. Однако его применение для практически значимых задач анализа бинарного кода связано с большим числом вызовов, как научных, так и инженерных. В настоящей работе предложены подходы к преодолению части этих трудностей. Описано промежуточное представление, учитывающее особенности бинарного кода. Предложена инфраструктура абстрактной интерпретации с возможностью выполнения интерпретации как вдоль отдельного пути в программе, так и статически до достижения неподвижной точки. В совокупности промежуточное представление и инфраструктура абстрактной интерпретации позволяют задать модель конвейера процессора, что позволяет проводить анализ бинарного кода для различных архитектур. В работе также представлены предварительные эксперименты и указаны дальнейшие направления развития проекта.
Ключевые слова:
абстрактная интерпретация, анализ бинарного кода, динамический анализ, символьное выполнение, статический анализ.
Образец цитирования:
М. А. Соловьев, М. Г. Бакулин, С. С. Макаров, Д. В. Манушин, В. А. Падарян, “Практическая абстрактная интерпретация бинарного кода”, Труды ИСП РАН, 32:6 (2020), 101–110
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/tisp561 https://www.mathnet.ru/rus/tisp/v32/i6/p101
|
Статистика просмотров: |
Страница аннотации: | 182 | PDF полного текста: | 64 | Список литературы: | 23 |
|