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

14 сентября 2018
159
Предметная область
Выходные данные
Ключевые слова
Вид публикации Статья
Контактные данные автора публикации АРЗАМАРЦЕВ ИЛЬЯ ВИКТОРОВИЧ1, МОИСЕЕВ АНДРЕЙ ВЛАДИМИРОВИЧ
Ссылка на публикацию в интернете elibrary.ru/item.asp?id=21003129

Аннотация

ЖУРНАЛ:


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

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


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

АННОТАЦИЯ:

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