Анализатор исходных текстов С и С++ программ от компании ЦБИ-сервис
Запись в Реестре ПО Минцифры №7056 от 06.10.2020
Анализатор исходных текстов С и С++ программ (АИСТ-С)
Альтернативные названия: нет
Класс(ы) ПО: 02.13 - Средства обеспечения информационной безопасности (№621)
Код(ы) продукции: 58.29.29 Обеспечение программное прикладное прочее на электронном носителе; 58.29.32 Обеспечение программное прикладное для загрузки
Правообладатель: ЗАКРЫТОЕ АКЦИОНЕРНОЕ ОБЩЕСТВО (ИНН 5054009168)
Сертификат ФСТЭК №4293 от 03.09.2020 (до 03.09.2025)
Анализатор исходных текстов С и С++ программ (АИСТ-С)
Соответствует требованиям документов: Требования доверия(5)
Схема сертификации: серия, испытательная лаборатория: АО «БИТК», орган сертификации: АО «Лаборатория ППШ», заявитель: АО «ЦБИ-сервис»
Анализатор исходных текстов С и С++ программ АИСТ-С предназначен для проведения проверок исходных текстов программ на отсутствие недекларированных возможностей.
Анализатор исходных текстов АИСТ-С позволяет получать в автоматическом режиме информацию о структуре и ряде характеристик исследуемого программного комплекса, а также обеспечивает проведение экспертом в интерактивном режиме операций по анализу получаемой информации с привязкой к анализируемым исходным текстам.
Анализатор АИСТ-С может использоваться организациями-разработчиками программного обеспечения (ПО) и испытательными лабораториями.
Основные возможности Анализатора АИСТ-С
- формирование перечня используемых подпрограмм и их связей по управлению и информации;
- построение возможных маршрутов вызовов подпрограмм при отработке запросов (реализации функций);
- поиск критических маршрутов вызовов подпрограмм;
- поиск неиспользуемых переменных, подпрограмм;
- построение блок-схем алгоритмов подпрограмм комплекса;
- поиск потенциально опасных конструкций языка программирования;
- обеспечение интерактивного режима анализа экспертом получаемой информации с привязкой к анализируемым исходным текстам.