Алгоритмы и программный инструмент построения эквивалентных представлений исходных текстов программ

В статье рассмотрен прототип программного инструмента статического анализа программных систем, основанный на специальном наборе данных, полученном из исходного текста программ с помощью компилятора с открытым исходным кодом. Прототип позволяет получать эквивалентные представления путем линейных и нелинейных преобразований этого набора данных. Пользовательский интерфейс построен на языке запросов, синтаксис которого позволяет задавать произвольные сочетания доступных преобразований с дополнительными параметрами, соответствующими целям анализа. Варианты преобразований определяются в конфигурационном файле, который представляет собой XML-документ. Прототип также позволяет выполнять анализы над полученными эквивалентными представлениями. В статье в качестве примера описан «температурный» анализ синтаксической перегруженности строк и сложности блоков исходного текста в контексте потока управления. Прототип был протестирован на проекте с открытым исходным текстом - библиотеке для разбора XML-документов.