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