Анализатор исходных текстов С и С++ программ ЦБИ АИСТ-С предназначен для проведения проверок исходных текстов программ на отсутствие недекларированных возможностей для Windows. АИСТ-С позволяет получать в автоматическом режиме информацию о структуре и ряде характеристик исследуемого программного комплекса, а также обеспечивает проведение экспертом в интерактивном режиме операций по анализу получаемой информации с привязкой к анализируемым исходным текстам.
Анализатор АИСТ-С может использоваться организациями-разработчиками программного обеспечения (ПО) и испытательными лабораториями.
Основные возможности Анализатора АИСТ-С
- формирование перечня используемых подпрограмм и их связей по управлению и информации; построение возможных маршрутов вызовов подпрограмм при отработке запросов (реализации функций), поиск критических маршрутов вызовов подпрограмм;
- поиск неиспользуемых участков программ;
- поиск неиспользуемых переменных;
- построение блок-схем алгоритмов подпрограмм комплекса;
- поиск потенциально опасных конструкций языка программирования;
- обеспечение интерактивного режима анализа экспертом получаемой информации с привязкой к анализируемым исходным текстам.
