Публікація:
Дослідження методів перевірки вразливості програмного коду, які ґрунтуються на статичному аналізі програм

Завантаження...
Зображення мініатюри

Дата

2024

Назва журналу

ISSN журналу

Назва тома

Видавництво

Дослідницькі проекти

Організаційні підрозділи

Видання журналу

Анотація

Об’єктом дослідження є набір документів із програмним кодом. Метою дослідження є аналіз та оцінка методів виявлення вразливостей, що базуються на статичному аналізі програм. Розглянуто та систематизовано існуючі методи статичного аналізу програм для виявлення потенційних вразливостей в програмному коді. Оцінено ефективність в реальних програмах на прикладах з відкритих та комерційних проєктів. Порівняно їх точність, швидкодію та придатність для різних видів програмних проєктів та мов програмування. Розроблено рекомендації щодо використання найбільш ефективних методів статичного аналізу для забезпечення вищої якості програмного коду та зменшення ризику вразливостей в програмах. У результаті дослідження здійснена програмна реалізація системи для комплексного аналізу коду.

Опис

Ключові слова

статичний аналіз, потік даних, потік керування, система типів, лінтер

Бібліографічний опис

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

DOI