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

Читах А.Е. (науч. рук. Ханов А.Р.) РАЗРАБОТКА ИНСТРУМЕНТА АНАЛИЗА ДРАЙВЕРОВ WINDOWS НА ОСНОВЕ СИМВОЛЬНОГО ВЫПОЛНЕНИЯ // Сборник тезисов докладов конгресса молодых ученых. Электронное издание. – СПб: Университет ИТМО, [2022]. URL: https://kmu.itmo.ru/digests/article/9489