Статический анализ кода – важная и полезная, однако сложная задача. Особенно сложной частью является анализ циклов. В работе предлагается расширение метода рекуррентных деревьев в применении к анализу циклов в байт-коде JVM.

Гречишкина Д. (науч. рук. Корнеев Г.А.) Применение метода рекуррентных деревьев к анализу циклов в байт-коде JVM // Сборник тезисов докладов конгресса молодых ученых. Электронное издание. – СПб: Университет ИТМО, [2022]. URL: https://kmu.itmo.ru/digests/article/7577