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


Платформа межпроцедурного статического анализа бинарного кода

Асланян А.К. (ИСП РАН, Москва, Россия)

Аннотация

В рамках данной статьи описывается разработанная платформа для статического анализа бинарного кода. Платформа разработанa на основе межпроцедурного, потоко-чувствительного и контекстно-чувствительного анализа программы. В качестве промежуточного представления используется машинно-независимый язык REIL. На этом представлении разработаны и реализованы основные анализы потока данных - анализ достигающих определений, построение DEF-USE и USE-DEF цепочек, трансформация для удаления мертвого кода, анализ значений, анализ помеченных данных, анализа памяти и т.д. Реализованный подход аннотации функций позволяет распространять данные между вызовами функций, тем самым сделав анализ чувствительным к контексту. Платформа предоставляет программный интерфейс для работы со всеми реализованным анализами, что позволяет добавлять новые анализы в качестве плагинов.

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

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

Издание

Труды Института системного программирования РАН, том 30, вып. 5, 2018, стр. 89-100.

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

DOI: 10.15514/ISPRAS-2018-30(5)-5

Для цитирования

Асланян А.К. Платформа межпроцедурного статического анализа бинарного кода. Труды Института системного программирования РАН, том 30, вып. 5, 2018, стр. 89-100. DOI: 10.15514/ISPRAS-2018-30(5)-5.

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