Журнал "Программная инженерия"
Теоретический и прикладной научно-технический журнал
ISSN 2220-3397

Номер 7 2017 год

DOI: 10.17587/prin.8.291-299
УДК: 004.052.42, 004.4'233
Статический анализ исходных текстов программ методом обратного выполнения на наличие в них ошибок доступа к памяти
Д. А. Орлов, канд. техн. наук, доц., e-mail: orlovdmal@mpei.ru, Национальный исследовательский университет МЭИ, г. Москва

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

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