Комбінований програмний метод статичного аналізу коду мовою C#

Скорочена інформація про документ
dc.contributor.advisorЗаболотня, Тетяна Миколаївна
dc.contributor.authorДемченко, Владислав Миколайович
dc.date.accessioned2023-01-16T10:01:55Z
dc.date.available2023-01-16T10:01:55Z
dc.date.issued2022
dc.description.abstractenThis master's thesis is devoted to development and realization of the combined program method of static analysis, on the basis of existing methods, such as: Data- flow analysis, taint analysis, and also method of output of types of Hindley-Milner. The thesis analyzes the existing methods, methods and algorithms that were developed to solve this scientific problem, defines the requirements for implementation and proposes a combined method of static analysis of source code, which is mostly based on the method Data-flow analysis. The main difference of the proposed method is the introduction of an additional stage, with the work of the method Hindley-Milner, which allows to get more precise data types in the source code. This modification increases the number of processed graphic nodes and the number of reports. The developed method improves the indicated indicators by an average of 9,6% compared to the basic method. In this master's thesis the software is developed, which allows to carry out static analysis of the source code of the user.uk
dc.description.abstractukДана магістерська дисертація присвячена розробленню та реалізації комбінованого програмного метода статичного аналізу, на основі існуючих методів, таких як: Data-flow аналіз, Taint аналізу, а також метод виводу типів Хіндлі-Мілнера. В дисертації проаналізовано існуючі методи, способи та алгоритми, які були розроблені для вирішення даної наукової проблеми, визначено вимоги до реалізації та запропоновано комбінований метод статичного аналізу вихідного коду, який здебільшого заснований на методі Data-flow аналізу. Головною відмінністю запропонованого методу є впровадження додаткового етапу, з роботою методу Хіндлі-Мілнера, що дозволяє отримувати більш точно визначати типи даних у вихідному коді. Така модифікація збільшує кількість оброблених вузлів графу та кількість звітів. Розроблений метод покращує зазначені показники у середньому на 9,6%, ніж базовий метод. У даній магістерській дисертації розроблено програмне забезпечення, яке дозволяє проводити статичний аналіз вихідного коду користувача.uk
dc.format.page145 с.uk
dc.identifier.citationДемченко, В. М. Комбінований програмний метод статичного аналізу коду мовою C# : магістерська дис. : 121 Інженерія програмного забезпечення / Демченко Владислав Миколайович. – Київ, 2022. – 145 с.uk
dc.identifier.urihttps://ela.kpi.ua/handle/123456789/51862
dc.language.isoukuk
dc.publisherКПІ ім. Ігоря Сікорськогоuk
dc.publisher.placeКиївuk
dc.subjectстатичний аналізuk
dc.subjectдинамічний аналізuk
dc.subjectвивід типівuk
dc.subjectпотік данихuk
dc.subjectаналіз на «чистоту»uk
dc.subjectstatic analysisuk
dc.subjectdynamic analysisuk
dc.subjecttype outputuk
dc.subjectdata-flowuk
dc.subjecttaint analysisuk
dc.subject.udc004.4'2uk
dc.titleКомбінований програмний метод статичного аналізу коду мовою C#uk
dc.title.alternativeCombined program method of static analysis of code in C#uk
dc.typeMaster Thesisuk

Файли

Контейнер файлів
Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
Demchenko_magistr.pdf
Розмір:
3.98 MB
Формат:
Adobe Portable Document Format
Опис:
Завантажити
Ліцензійна угода
Зараз показуємо 1 - 1 з 1
Ескіз недоступний
Назва:
license.txt
Розмір:
9.1 KB
Формат:
Item-specific license agreed upon to submission
Опис:
Завантажити

Зібрання

Магістерські роботи (ПЗКС)
Магістерські роботи