Use of the intermediate software representations for static analysis of source code

Download article in PDF format

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

Annotation: This article describes using of intermediate representations of source code for static analysis. It is proposed to extend using of generic and multi-level representations in one common. Software tool prototype that can make and process this kind of representation is introduced.

Keywords: static analysis, intermediate representation, machine comments, source code, class diagram, java, python