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

Теребецький, М. А.

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

dc.contributor.author	Теребецький, М. А.
dc.date.accessioned	2024-02-06T18:19:40Z
dc.date.available	2024-02-06T18:19:40Z
dc.date.issued	2024
dc.description.abstract	Об’єктом дослідження є набір документів із програмним кодом. Метою дослідження є аналіз та оцінка методів виявлення вразливостей, що базуються на статичному аналізі програм. Розглянуто та систематизовано існуючі методи статичного аналізу програм для виявлення потенційних вразливостей в програмному коді. Оцінено ефективність в реальних програмах на прикладах з відкритих та комерційних проєктів. Порівняно їх точність, швидкодію та придатність для різних видів програмних проєктів та мов програмування. Розроблено рекомендації щодо використання найбільш ефективних методів статичного аналізу для забезпечення вищої якості програмного коду та зменшення ризику вразливостей в програмах. У результаті дослідження здійснена програмна реалізація системи для комплексного аналізу коду.
dc.identifier.citation	Теребецький М. А. Дослідження методів перевірки вразливості програмного коду, які ґрунтуються на статичному аналізі програм : пояснювальна записка до кваліфікаційної роботи здобувача вищої освіти на другому (магістерському) рівні, спеціальність 122 Комп’ютерні науки / М. А. Теребецький ; М-во освіти і науки України, Харків. нац. ун-т радіоелектроніки. – Харків, 2024. – 55 с.
dc.identifier.uri	https://openarchive.nure.ua/handle/document/25540
dc.language.iso	uk
dc.subject	статичний аналіз
dc.subject	потік даних
dc.subject	потік керування
dc.subject	система типів
dc.subject	лінтер
dc.title	Дослідження методів перевірки вразливості програмного коду, які ґрунтуються на статичному аналізі програм
dc.type	Other
dspace.entity.type	Publication