Математическое моделирование универсальных многоуровневых промежуточных представлений для статического анализа исходного кода

Аннотация: Для выполнения статического анализа было предложено использовать универсальные многоуровневые промежуточные представления. Для оценки их эффективности и определения критериев качества была разработана общая математическая модель промежуточного представления. На ее основе были получены математические модели для универсального представления уровня классов и потока управления. Было выполнено численное моделирование статического анализатора, позволяющее оценить эффективность использования таких промежуточных представлений на практике.

Ключевые слова: программирование, статический анализ, промежуточное представление, математическая модель, исходный код, рефакторинг, java

Библиография статьи:
Зубов М. В. Математическое моделирование универсальных многоуровневых промежуточных представлений для статического анализа исходного кода / М. В. Зубов, А. Н. Пустыгин, Е. В. Старцев // Доклады Томского государственного университета систем управления и радиоэлектроники. – 2014. – № 3(33). – С. 94–99.