Foundations of the computational technology intended for analysis and restructuring software texts on the principles of logic-semantic analysis and synthesis

The principles of the computational modeling technology, which is oriented to efficient analysis of unknown software and restructuring of the software text, are outlined. A software complex intended for semantic code analysis without execution of the program has been elaborated on the basis of this technology. The analytical technology presumes automatic constructing of graphs of relations between the functional-semantic clusters in the texts. The depth of analysis may vary from determination of separate operators’ behavior (functions) to analysis of the total code, and its results may be used in time optimal finding errors in the program or verification of its correspondence to the specification. The technology of restructuring of the texts analyzed presumes reconstruction of the texts according to some algorithm and complementing the relation graphs with additional clusters.