Math modeling of universal multilevel intermediate representations for source code static analysis

Download article in PDF format

Authors: Zubov M. V., Pustygin A. N., Startsev E. V.

Annotation: This article describes using of source code universal multilevel intermediate representations for static analysis. Common math model of universal representation was developed to evaluate its efficiency and quality criterions. Models for universal class representation and universal control flow representation were introduced on the basis of common model. Numerical modeling of a analysis was made in practice to compute efficiency of using such representations.

Keywords: programming, static analysis, intermediate representation, math model, source code, refactoring, java