Совершенствование статического анализа программного кода на основе графа явных вызовов

Аннотация

Федоров А.Ю., Портнов Е.М.

Дата поступления статьи: 17.05.2018

Целью данного исследования является создание алгоритмов статического анализа, для поиска всевозможных последовательностей вызовов функций, приводящих к определенной точке в программе. Для достижения данной цели проводится анализ графа явных вызовов функций, в котором происходит поиск всевозможных путей между двумя вершинами. Анализ проводится в два этапа: 1) на подготовительном этапе строится новый граф на основе графа вызовов, из которого удаляются избыточные вершины и дуги; 2) на втором этапе происходит поиск в новом графе возможных путей от корневой вершины к заданной. Также в работе представлено экспериментальное сравнение разработанных алгоритмов с ближайшим аналогом – алгоритмом Йена.

Ключевые слова: статический анализ кода, граф вызовов, алгоритм поиска путей, алгоритм Йена, стек вызовов

05.13.06 - Автоматизация и управление технологическими процессами и производствами (по отраслям)

05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей

`