Предметная область | — |
Выходные данные | — |
Ключевые слова | — |
Вид публикации | Статья |
Контактные данные автора публикации | АРЗАМАРЦЕВ ИЛЬЯ ВИКТОРОВИЧ1, МОИСЕЕВ АНДРЕЙ ВЛАДИМИРОВИЧ |
Ссылка на публикацию в интернете | elibrary.ru/item.asp?id=21003129 |
Аннотация
ЖУРНАЛ:
БЕЗОПАСНОСТЬ ИНФОРМАЦИОННЫХ ТЕХНОЛОГИЙ
Издательство: Всероссийский научно-исследовательский институт проблем вычислительной техники и информатизации (Москва)
ISSN: 2074-7128
КЛЮЧЕВЫЕ СЛОВА:
СТАТИЧЕСКИЙ АНАЛИЗ, STATIC ANALYSIS, СИМВОЛЬНОЕ ИСПОЛНЕНИЕ, SYMBOLIC EXECUTION
АННОТАЦИЯ:
Данная работа посвящена повышению эффективности существующих методов анализа потока данных программного обеспечения (ПО) посредством статического анализа. В работе представлен метод, позволяющий определять диапазоны значений, которые могут принимать данные внутри кода ПО в зависимости от значений входных аргументов, в качестве которых могут выступать операции взаимодействия с файловой системой, сетевой инфраструктурой и т. п. Работа данного метода основана на существующих алгоритмах статического анализа, а именно символьном исполнении, использовании помеченных данных, анализе потока управления.
ПодробнееБЕЗОПАСНОСТЬ ИНФОРМАЦИОННЫХ ТЕХНОЛОГИЙ
Издательство: Всероссийский научно-исследовательский институт проблем вычислительной техники и информатизации (Москва)
ISSN: 2074-7128
КЛЮЧЕВЫЕ СЛОВА:
СТАТИЧЕСКИЙ АНАЛИЗ, STATIC ANALYSIS, СИМВОЛЬНОЕ ИСПОЛНЕНИЕ, SYMBOLIC EXECUTION
АННОТАЦИЯ:
Данная работа посвящена повышению эффективности существующих методов анализа потока данных программного обеспечения (ПО) посредством статического анализа. В работе представлен метод, позволяющий определять диапазоны значений, которые могут принимать данные внутри кода ПО в зависимости от значений входных аргументов, в качестве которых могут выступать операции взаимодействия с файловой системой, сетевой инфраструктурой и т. п. Работа данного метода основана на существующих алгоритмах статического анализа, а именно символьном исполнении, использовании помеченных данных, анализе потока управления.
Для того чтобы оставить комментарий необходимо авторизоваться.