Описание

Анализатор исходных текстов С и С++ программ АИСТ-С предназначен для проведения проверок исходных текстов программ на отсутствие недекларированных возможностей.

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

Анализатор АИСТ-С может использоваться организациями-разработчиками программного обеспечения (ПО) и испытательными лабораториями.

Основные возможности

• Формирование перечня используемых подпрограмм и их связей по управлению и информации.
• Построение возможных маршрутов вызовов подпрограмм при отработке запросов (реализации функций).
• Поиск критических маршрутов вызовов подпрограмм.
• Поиск неиспользуемых переменных, подпрограмм.
• Построение блок-схем алгоритмов подпрограмм комплекса.
• Поиск потенциально опасных конструкций языка программирования.
• Обеспечение интерактивного режима анализа экспертом получаемой информации с привязкой к анализируемым исходным текстам.

Условия применения

Версии и контрольные суммы