Журнал "Программная инженерия"
Теоретический и прикладной научно-технический журнал
ISSN 2220-3397
Номер 7 2017 год
Рассмотрена возможность применения метода обратного выполнения для статического анализа исходных текстов программ, реализующих алгоритмы обработки строк. Предложен алгоритм выявления ошибок доступа к памяти в исходных текстах таких программ. Представлены результаты работы программной реализации предложенного алгоритма.