DOI: 10.17587/prin.8.291-299

УДК: 004.052.42, 004.4'233

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

Д. А. Орлов, канд. техн. наук, доц., e-mail: orlovdmal@mpei.ru, Национальный исследовательский университет МЭИ, г. Москва

Рассмотрена возможность применения метода обратного выполнения для статического анализа исходных текстов программ, реализующих алгоритмы обработки строк. Предложен алгоритм выявления ошибок доступа к памяти в исходных текстах таких программ. Представлены результаты работы программной реализации предложенного алгоритма.

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

Стр. 291–299