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


Межпроцедурный анализ помеченных данных на базе инфраструктуры LLVM.

В.К. Кошелев, А.О. Избышев, И.А. Дудина.

Аннотация

В данной работе рассматривается задача анализа помеченных данных. Для её решения предлагается статический межпроцедурный котекстно-потоковый объектно-чувствительный алгоритм, производится оценка характеристик данного алгоритма, обсуждаются особенности реализации на базе компиляторной инфраструктуры LLVM и приводятся результаты практического тестирования.

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

статический анализ; межпроцедурный анализ; класс IFDS; анализ потоков данных; анализ помеченных данных

Издание

Труды Института системного программирования РАН, том 26, вып. 2, 2014, стр. 97-118.

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

DOI: 10.15514/ISPRAS-2014-26(2)-4

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