Публікація: Дослідження методів перевірки вразливості програмного коду, які ґрунтуються на статичному аналізі програм
Завантаження...
Дата
2024
Автори
Назва журналу
ISSN журналу
Назва тома
Видавництво
Анотація
Об’єктом дослідження є набір документів із програмним кодом. Метою дослідження є аналіз та оцінка методів виявлення вразливостей, що базуються на статичному аналізі програм. Розглянуто та систематизовано існуючі методи статичного аналізу програм для виявлення потенційних вразливостей в програмному коді. Оцінено ефективність в реальних програмах на прикладах з відкритих та комерційних проєктів. Порівняно їх точність, швидкодію та придатність для різних видів програмних проєктів та мов програмування. Розроблено рекомендації щодо використання найбільш ефективних методів статичного аналізу для забезпечення вищої якості програмного коду та зменшення ризику вразливостей в програмах. У результаті дослідження здійснена програмна реалізація системи для комплексного аналізу коду.
Опис
Ключові слова
статичний аналіз, потік даних, потік керування, система типів, лінтер
Бібліографічний опис
Теребецький М. А. Дослідження методів перевірки вразливості програмного коду, які ґрунтуються на статичному аналізі програм : пояснювальна записка до кваліфікаційної роботи здобувача вищої освіти на другому (магістерському) рівні, спеціальність 122 Комп’ютерні науки / М. А. Теребецький ; М-во освіти і науки України, Харків. нац. ун-т радіоелектроніки. – Харків, 2024. – 55 с.