Сирота, Александр Алексеевич. Поиск ошибок в исполняемом бинарном коде на основе обратного символьного выполнения: выпускная квалификационная работа специалиста: направление 10.05.04 «Информационно-аналитические системы безопасности» ; образовательная программа 10.05.04_01 «Автоматизация информационно-аналитической деятельности» = Error detection in executable binary code based on reverse symbolic execution / А. А. Сирота; Санкт-Петербургский политехнический университет Петра Великого, Институт кибербезопасности и защиты информации; научный руководитель Е. Ю. Павленко; консультант по нормоконтролю А. В. Ярмак. — Санкт-Петербург, 2022. — 1 файл (2,7 Мб). — Загл. с титул. экрана. — Доступ по паролю из сети Интернет (чтение). — Adobe Acrobat Reader 7.0. — <URL:http://elib.spbstu.ru/dl/3/2022/vr/vr22-185.pdf>. — <URL:http://elib.spbstu.ru/dl/3/2022/vr/rev/vr22-185-o.pdf>. — <URL:http://elib.spbstu.ru/dl/3/2022/vr/rev/vr22-185-r.pdf>. — <URL:http://elib.spbstu.ru/dl/3/2022/vr/rev/vr22-185-a.pdf>. — DOI 10.18720/SPBPU/3/2022/vr/vr22-185. — Текст