Analysis of some program sources semantic aspects based on formal syntax and semantics specifications

In this work, the problem of syntax and semantic analysis of program sources written in different languages is considered. The programming language is considered to be specified by describing the lexis as a set of regular expressions and the syntax as a context-free grammar with a set of controlling structures matching grammar rules. These controlling structures manage abstract syntax tree building and other analysis tasks. All these allow performing some sort of semantic analysis against the source written in the specified language.