Розробка методології автоматизованого аналізу вразливостей програмного забезпечення з використанням технік символьного виконання та фазингу
Дата
2025
Автори
Науковий керівник
Назва журналу
Номер ISSN
Назва тому
Видавець
НН ФТІ, КПІ ім. Ігоря Сікорського
Анотація
Актуальність дослідження зумовлена зростаючою потребою в ефективних методах автоматичного виявлення вразливостей програмного забезпечення для підвищення кібербезпеки. Метою даної роботи є дослідження та обґрунтування перспективності поєднання технік символьного виконання та фазингу для більш глибокого та всебічного аналізу програм на наявність потенційних слабких місць. Предметом дослідження є методи автоматизованого аналізу вразливостей програмного забезпечення, зокрема фазинг та символьне виконання, а також їхні комбінації.
Опис
Ключові слова
Бібліографічний опис
Маринкевич, О. М. Розробка методології автоматизованого аналізу вразливостей програмного забезпечення з використанням технік символьного виконання та фазингу / Маринкевич О. М. // Theoretical and Applied Cybersecurity : Матеріали ІІІ Всеукраїнської науково-практичної конференції (TACS-2025), [Київ], 29 травня 2025 р. / НН ФТІ, КПІ ім. Ігоря Сікорського. - Київ, 2025. - С. 192-195.