Плагин статического анализа динамического поиска символов для компилятора GCC

Задача построения графа вызовов программы может быть осложнена косвенными вызовами. Современные компиляторы способны отслеживать косвенные вызовы объявленных функций в рамках одной единицы трансляции. Несмотря на это, существование функций, таких как dlsym, делает возможным совершение косвенных вызовы без объявления. Адрес функции для вызова может быть найден в динамической библиотеке по имени во время исполнения. Такие вызовы функций по адресу скрыты как для компилятора, так и для компоновщика. Данная работа предлагает двухэтапный статический анализ для обнаружения символов, которые компонуются во время исполнения с помощью функций, похожих на dlsym. Первый этап предполагает сбор вспомогательной информации о программе между единицами трансляции. На втором этапе происходит анализ каждой единицы трансляции, который, используя информацию, полученную на первом этапе, находит символы. Работа содержит 34 страницы, 6 глав, 5 рисунков, 5 таблиц, 29 источников. Ключевые слова: статический анализ, граф вызовов, компилятор, плагин, jump functions, dlsym, gcc.