Статический анализ потока данных на унифицированном абстрактном синтаксическом дереве для JVM языков

Анализ потока данных один из самых мощных инструментов используемых при разработке статического анализа кода в интегрированных сред разработке. Данный инструмент позволяет определять не только структуру программы, но и ее поведение. Нельзя игнорировать такой инструмент для анализа программ, написанных на языках программирования Java и Kotlin, двух популярных языков, использующихся для решения похожих задач. Из-за разницы в синтаксисе Java и Kotlin, в IntelliJ IDEA используется анализ, который абстрагируется от конкретного языка, и работает с обобщенной моделью этих языков. Более того, этот фактор делает сложнее переиспользование существующих реализаций анализа потока данных. Данная работа исследует опыт существующих решений и демонстрирует новый алгоритм для анализа потока данных сразу для Java и Kotlin, что позволяет ускорить разработку новых инструментов для обоих языков. Работа содержит 52 страниц, 3 главы, 1 таблицу, 6 рисунков, 25 листингов, 37 источников и 6 приложений. Ключевые слова: анализ потока данных, статический анализ, Java, Kotlin, интегрированная среда разработки, абстрактное синтаксическое дерево