Дана магістерська дисертація присвячена розробленню та реалізації комбінованого програмного метода статичного аналізу, на основі існуючих методів, таких як: Data-flow аналіз, Taint аналізу, а також метод виводу типів Хіндлі-Мілнера.
В дисертації проаналізовано існуючі методи, способи та алгоритми, які були розроблені для вирішення даної наукової проблеми, визначено вимоги до реалізації та запропоновано комбінований метод статичного аналізу вихідного коду, який здебільшого заснований на методі Data-flow аналізу. Головною відмінністю запропонованого методу є впровадження додаткового етапу, з роботою методу Хіндлі-Мілнера, що дозволяє отримувати більш точно визначати типи даних у вихідному коді. Така модифікація збільшує кількість оброблених вузлів графу та кількість звітів. Розроблений метод покращує зазначені показники у середньому на 9,6%, ніж базовий метод.
У даній магістерській дисертації розроблено програмне забезпечення, яке дозволяє проводити статичний аналіз вихідного коду користувача.