Гордєєв, Богдан Віталійович2025-12-152025-12-152025Гордєєв Б. В. Метод виявлення вразливостей типу переповнення буферу в програмному забезпеченні : кваліфікаційна робота магістра : 125 Кібербезпека та захист інформації / Б. В. Гордєєв ; Хмельниц. нац. ун-т. – Хмельницький, 2025. – 109 с.https://elar.khmnu.edu.ua/handle/123456789/19962У кваліфікаційній роботі розроблено метод виявлення вразливостей типу переповнення буфера в програмному забезпеченні, який ґрунтується на поєднанні символьного виконання, Q-навчання та побудови дерева обмежень. Запропонований підхід забезпечує підвищення точності аналізу, скорочення кількості хибних спрацьовувань і здатність функціонувати в режимі реального часу. Проведено аналіз сучасних методів виявлення програмних вразливостей, зокрема статичного, динамічного та гібридного аналізу. Розроблено математичну модель переповнення буфера, алгоритми симулятивного покриття коду та генерації тестових даних. Виконано експериментальне дослідження ефективності методу, результати якого підтвердили його перевагу порівняно з класичними інструментами аналізу безпеки. Практичне значення полягає у можливості інтеграції розробленого методу в системи моніторингу безпеки для автоматизованого виявлення критичних дефектів програмного забезпечення.uk125 Кібербезпека та захист інформаціїпереповнення буфераQ-навчаннявразливості програмного забезпеченнясимвольне виконаннянавчання з підкріпленняманаліз безпекикібербезпекаавтоматизоване тестуванняМагістерські роботи