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.

Излагаются принципы технологии вычислительного моделирования, которая рассчитана на эффективный анализ неизвестных программ и реструктурирование их текстов. На ее основе разработан программный комплекс, предназначенный для содержательного анализа кода без выполнения программы. Технология анализа предполагает автоматическое построение графов связей между функциональносемантическими кластерами в текстах программ. Глубина такого анализа может варьировать от определения поведения (функций) отдельных операторов до анализа всего исходного кода, а его результаты могут быть использованы для оперативного выявления ошибок в программе или проверки ее соответствия спецификации. Технология реструктурирования текстов программ допускает перестройку текстов по заданному алгоритму и пополнение графов связей дополнительными кластерами.