СТАТИЧЕСКИЙ АНАЛИЗ СЛОЖНЫХ ЦИКЛИЧЕСКИХ КОНСТРУКЦИЙ

ЖУРНАЛ:


БЕЗОПАСНОСТЬ ИНФОРМАЦИОННЫХ ТЕХНОЛОГИЙ
Издательство: Всероссийский научно-исследовательский институт проблем вычислительной техники и информатизации (Москва)
ISSN: 2074-7128

КЛЮЧЕВЫЕ СЛОВА:


СТАТИЧЕСКИЙ АНАЛИЗ, STATIC ANALYSIS, СИМВОЛЬНОЕ ИСПОЛНЕНИЕ, SYMBOLIC EXECUTION

АННОТАЦИЯ:

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