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