RUS  ENG
Полная версия
ЖУРНАЛЫ // Труды института системного программирования РАН // Архив

Труды ИСП РАН, 2020, том 32, выпуск 6, страницы 87–100 (Mi tisp560)

Эта публикация цитируется в 3 статьях

Внутрипроцедурный анализ для поиска ошибок на основе символьного выполнения

А. Е. Бородинa, И. А. Дудинаba

a Институт системного программирования им. В.П. Иванникова РАН
b Московский государственный университет имени М.В. Ломоносова

Аннотация: В работе описывается внутрипроцедурный анализ отдельных функций, использующийся в инструменте статического поиска ошибок Svace. Отличительные особенности анализа: анализ по графу потока управления, символьное выполнение с объединением состояний анализа в точках слияния путей, анализ только части путей в функциях с циклами, одновременный запуск всех анализаторов, моделирование достижимых ячеек памяти, нумерация значений переменных.

Ключевые слова: статический анализ, символьное выполнение, svace, поиск ошибок.

DOI: 10.15514/ISPRAS-2020-32(6)-7



© МИАН, 2024