Комбінований програмний метод статичного аналізу коду мовою C#
Вантажиться...
Дата
2022
Науковий керівник
Назва журналу
Номер ISSN
Назва тому
Видавець
КПІ ім. Ігоря Сікорського
Анотація
Дана магістерська дисертація присвячена розробленню та реалізації комбінованого програмного метода статичного аналізу, на основі існуючих методів, таких як: Data-flow аналіз, Taint аналізу, а також метод виводу типів Хіндлі-Мілнера.
В дисертації проаналізовано існуючі методи, способи та алгоритми, які були розроблені для вирішення даної наукової проблеми, визначено вимоги до реалізації та запропоновано комбінований метод статичного аналізу вихідного коду, який здебільшого заснований на методі Data-flow аналізу. Головною відмінністю запропонованого методу є впровадження додаткового етапу, з роботою методу Хіндлі-Мілнера, що дозволяє отримувати більш точно визначати типи даних у вихідному коді. Така модифікація збільшує кількість оброблених вузлів графу та кількість звітів. Розроблений метод покращує зазначені показники у середньому на 9,6%, ніж базовий метод.
У даній магістерській дисертації розроблено програмне забезпечення, яке дозволяє проводити статичний аналіз вихідного коду користувача.
Опис
Ключові слова
статичний аналіз, динамічний аналіз, вивід типів, потік даних, аналіз на «чистоту», static analysis, dynamic analysis, type output, data-flow, taint analysis
Бібліографічний опис
Демченко, В. М. Комбінований програмний метод статичного аналізу коду мовою C# : магістерська дис. : 121 Інженерія програмного забезпечення / Демченко Владислав Миколайович. – Київ, 2022. – 145 с.