ЦБИ АИСТ-С
- Разработчик:
- Центр безопасности информации (ЦБИ)
Программное обеспечение ЦБИ АИСТ-С представляет собой решение для проведения проверок исходных текстов программ, написанных на языке С и С++, на отсутствие недекларированных возможностей. Программа позволяет получать в автоматическом режиме информацию о структуре и ряде характеристик исследуемого программного комплекса и обеспечивает проведение анализа информации с привязкой к анализируемым исходным текстам.
Основные возможности АИСТ-С:
- Формирование списка используемых программ и их связей по управлению и информации, построение возможных маршрутов вызовов программ при отработке запросов (реализации функций), поиск критических маршрутов вызовов подпрограмм.
- Поиск неиспользуемых участков программ.
- Поиск неиспользуемых переменных.
- Построение блок-схем алгоритмов программного комплекса.
- Поиск потенциально опасных конструкций языка программирования.
- Проведение анализа получаемой информации в интерактивном режиме.
Продукты из этой категории
-
422 ₽ Выбрать лицензиюПлагин осуществляет полную интеграцию вашей среды разработки с широко известной (бесплатной) системой контроля версий SVN(SubVersion). С помощью плагина вы сможете работать в среде также комфортно как со стандартной системой контроля ве...
-
21 500 ₽ Выбрать лицензиюБиблиотека EhLib.VCL содержит компоненты и классы для Borland Delphi 7, 9, 2005, 2006, CodeGear Delphi 2007, CodeGear RAD Studio 2009, Embarcadero RAD Studio 2010-XE10.2 и направлена на расширение возможностей клиентской части программы базы данных, при взаимодействии пользователя с приложением.
-
Инструмент разработки приложений любых типов, от простых музыкальных библиотек и систем управления контактами до профессиональных бизнес-решений для управления миллионами элементов.
-
XML-зависимый инструмент сравнения и объединения файлов, папок, директорий, схем и таблиц баз данных.
-
Программное обеспечение Altova SchemaAgent является инструментом для анализа и менеджмента взаимосвязей между XML-схемами, XML-документами, XSLT- и WSDL-файлами.
-
Инструмент бизнес-аналитики для генерации отчетов и электронных таблиц стилей из источников различных форматов. Предлагает поддержку трансформации XML, XBRL и содержимого баз данных в HTML, RTF, PDF, Word 2007+ и Authentic eForms.
-
Комплект из более 90 компонентов управления и библиотек ASP.NET для среды Visual Studio. Оптимизированные веб-элементы позволяют разработчикам создавать гибкие приложения, отвечающие конкретным задачам бизнеса.
-
от 8 072 ₽ Выбрать лицензиюASProtect — система защиты приложений от несанкционированного копирования. Отличается быстрой установкой функций защиты, что особенн
-
от 239 958 ₽ Выбрать лицензиюC++Builder 10.4 Sydney — самый быстрый способ создавать и обновлять интенсивно работающие с данными, распределенные и сильно взаимодействующие приложения с развитым и визуально привлекательным пользовательским интерфейсом для Windows 10, Mac, мобильных устройств, IoT и других платформ с помощью стандартного языка C++.
-
84 575 ₽ Выбрать лицензиюПрограмма, которая устанавливается на компьютер, подключается к вашей базе данных и автоматически принимает передаваемые абонентами показания счётчиков.
0 
