Метод виявлення вразливостей типу переповнення буферу в програмному забезпеченні
| dc.contributor.author | Гордєєв, Богдан Віталійович | |
| dc.date.accessioned | 2025-12-15T12:46:35Z | |
| dc.date.available | 2025-12-15T12:46:35Z | |
| dc.date.issued | 2025 | |
| dc.description.abstract | У кваліфікаційній роботі розроблено метод виявлення вразливостей типу переповнення буфера в програмному забезпеченні, який ґрунтується на поєднанні символьного виконання, Q-навчання та побудови дерева обмежень. Запропонований підхід забезпечує підвищення точності аналізу, скорочення кількості хибних спрацьовувань і здатність функціонувати в режимі реального часу. Проведено аналіз сучасних методів виявлення програмних вразливостей, зокрема статичного, динамічного та гібридного аналізу. Розроблено математичну модель переповнення буфера, алгоритми симулятивного покриття коду та генерації тестових даних. Виконано експериментальне дослідження ефективності методу, результати якого підтвердили його перевагу порівняно з класичними інструментами аналізу безпеки. Практичне значення полягає у можливості інтеграції розробленого методу в системи моніторингу безпеки для автоматизованого виявлення критичних дефектів програмного забезпечення. | |
| dc.identifier.citation | Гордєєв Б. В. Метод виявлення вразливостей типу переповнення буферу в програмному забезпеченні : кваліфікаційна робота магістра : 125 Кібербезпека та захист інформації / Б. В. Гордєєв ; Хмельниц. нац. ун-т. – Хмельницький, 2025. – 109 с. | |
| dc.identifier.uri | https://elar.khmnu.edu.ua/handle/123456789/19962 | |
| dc.language.iso | uk | |
| dc.publisher | Хмельницький національний університет | |
| dc.subject | 125 Кібербезпека та захист інформації | |
| dc.subject | переповнення буфера | |
| dc.subject | Q-навчання | |
| dc.subject | вразливості програмного забезпечення | |
| dc.subject | символьне виконання | |
| dc.subject | навчання з підкріпленням | |
| dc.subject | аналіз безпеки | |
| dc.subject | кібербезпека | |
| dc.subject | автоматизоване тестування | |
| dc.title | Метод виявлення вразливостей типу переповнення буферу в програмному забезпеченні | |
| dc.type | Магістерські роботи |
Файли
Контейнер файлів
1 - 1 з 1
Ліцензійна угода
1 - 1 з 1
- Назва:
- license.txt
- Розмір:
- 4.26 KB
- Формат:
- Item-specific license agreed upon to submission
- Опис: