АИСТ-С — анализатор исходных текстов C и C++, купить

Name: АИСТ-С
Brand: ЦБИ-сервис
Availability: InStock

Об АИСТ-С

Что это и для каких задач применяется

Проверка на отсутствие недекларированных возможностей — самая трудоёмкая часть сертификационных испытаний программного обеспечения: эксперту нужно понять структуру чужого кода, найти в нём неочевидные пути исполнения и объяснить каждый из них. Вручную это делается неделями и плохо повторяется.

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

Дальше работает эксперт: интерактивный режим показывает найденное рядом с тем местом кода, откуда оно взялось. Всё, что нужно для запуска и эксплуатации, описано в документации, которая идёт вместе с дистрибутивом.

Характеристики

Анализ
Языки	C и C++
Назначение	Проверки исходных текстов на отсутствие недекларированных возможностей
Кому	Организациям-разработчикам ПО и испытательным лабораториям
Режим работы	Автоматический сбор информации и интерактивный анализ экспертом
Условия применения
Процессор	Intel Pentium и выше
Оперативная память	64 МБ, рекомендуется 128 МБ
Место на диске	Не менее 600 МБ плюс объём под исходные тексты исследуемых программ
Привод	Требуется CD-ROM
Операционная система	Windows 8, 8.1, 10
Документация	Руководство администратора в составе дистрибутива
Лицензия
Единый реестр российских программ	№ 7056 от 07.10.2020
Тип лицензии	Простая (неисключительная), на 1 год
Актуальная версия	от 06.08.2020
Срок технической поддержки	до 31.12.2030

1

Дополнительные опции

Опции, которые добавляются поверх основной лицензии. Можно купить позже отдельно.

1.1 Установочный комплект АИСТ-С

Носитель с дистрибутивом АИСТ-С и руководством администратора. Нужен при первой покупке анализатора исходных текстов.

Позиция	Цена за ед.	Кол-во	Сумма
Анализатор исходных текстов АИСТ-С Установочный комплект CBI-AIST-KIT

Другие версии

Астра 1.0

«Астра 1.0» — анализатор сетевого трафика для испытательных лабораторий и администраторов безопасности. Цена от 5 150 ₽ за лицензию, счёт юрлицу и документы для тендера. Программа перехватывает пакеты, дошедшие до сетевого адаптера, декодирует заголовки канального, сетевого и транспортного уровней, позволяет редактировать содержимое пакетов и отправлять их обратно в сеть, искать по содержимому, группами заменять IP-адреса и сохранять перехваченное. Трафик показывается круговой диаграммой или таблицей; отдельно есть сканирование сети в заданном диапазоне IP-адресов и сканирование портов на найденных станциях.

от 5 150 ₽

→

Что делает АИСТ-С

Строит перечень подпрограмм и их связей

Связи фиксируются и по управлению, и по информации — видно, кто кого вызывает и какими данными обменивается.

Восстанавливает маршруты вызовов

Возможные маршруты вызовов подпрограмм при отработке запросов, то есть при реализации функций комплекса.

Ищет критические маршруты

Отдельная функция поиска критических маршрутов вызовов подпрограмм.

Находит опасные конструкции и мёртвый код

Отдельно ищутся рискованные конструкции языка, а также переменные и подпрограммы, которые нигде не используются.

Рисует блок-схемы алгоритмов

Блок-схемы алгоритмов подпрограмм комплекса строятся автоматически.

Даёт интерактивный разбор

Найденное показывается рядом с фрагментом кода, из которого получено, — эксперт разбирает результат не вслепую.

Другие продукты «ЦБИ-сервис»

TERRIER 3.0

TERRIER версии 3.0 ищет на дисках остаточную информацию по ключевым словам и гарантированно уничтожает найденное. Цена от 1 050 ₽ за лицензию, счёт юрлицу и документы для тендера. Имя и расположение файла, в котором нашлось ключевое слово, программа определяет для файловых систем FAT12, FAT16, FAT32 и NTFS; она умеет сохранять и подключать образ диска, печатать и копировать фрагменты, вести журнал событий и формировать отчёт по результатам поиска. Сертификат ФСТЭК России № 4508 действует до 17 января 2027 года.

от 1 050 ₽

Агент инвентаризации

«Агент инвентаризации» автоматически собирает сведения об аппаратном и программном обеспечении рабочих станций и серверов Windows: состав средств, их характеристики, свойства и настройки. Цена от 950 ₽ за лицензию, счёт юрлицу и документы для тендера. Программа запускается вручную через графический интерфейс, из командной строки с набором параметров или в составе других программных средств. Результат сохраняется структурированным текстовым файлом для дальнейшей обработки и выводится отчётом в HTML. Ею формируют формуляры АРМ и серверов локальной сети, в том числе при аттестационных испытаниях по требованиям безопасности информации.

от 950 ₽

Астра 1.0

«Астра 1.0» — анализатор сетевого трафика для испытательных лабораторий и администраторов безопасности. Цена от 5 150 ₽ за лицензию, счёт юрлицу и документы для тендера. Программа перехватывает пакеты, дошедшие до сетевого адаптера, декодирует заголовки канального, сетевого и транспортного уровней, позволяет редактировать содержимое пакетов и отправлять их обратно в сеть, искать по содержимому, группами заменять IP-адреса и сохранять перехваченное. Трафик показывается круговой диаграммой или таблицей; отдельно есть сканирование сети в заданном диапазоне IP-адресов и сканирование портов на найденных станциях.

от 5 150 ₽

Ревизор 1 ХР

«Ревизор 1 ХР» — программа, которой органы по аттестации и службы безопасности строят модель системы разграничения доступа: она сканирует диски и сетевые папки, считывает права доступа NTFS, собирает дерево ресурсов АРМ и локальной сети и сводит всё в проект разграничения доступа. Цена от 550 ₽ за лицензию, счёт юрлицу и документы для тендера. Готовый ПРД потом сверяют с реальными правами программой «Ревизор 2 ХР». Сертификат ФСТЭК России № 989 действует до 8 февраля 2030 года.

от 550 ₽

Ревизор 2 ХР

«Ревизор 2 ХР» проверяет, совпадают ли реальные права пользователей на рабочей станции с тем, что записано в проекте разграничения доступа. Цена от 4 050 ₽ за лицензию, счёт юрлицу и документы для тендера. Программа сравнивает структуру ресурсов АРМ с описанной в ПРД, строит план тестирования объектов, проверяет фактические права доступа и выпускает отчёты по обеим проверкам. Это вторая половина связки с «Ревизором 1 ХР», который ПРД составляет. Сертификат ФСТЭК России № 990 действует до 8 февраля 2030 года.

от 4 050 ₽

Ревизор Сети 3.0

Сетевой сканер «Ревизор Сети» версии 3.0 ищет уязвимости в узлах сети, работающих по протоколам TCP/IP: проверяет доступность узлов, открытые порты и сервисы, учётные записи и общие ресурсы Windows, неустановленные обновления Windows и UNIX, подбирает пароли через SMB и анализирует веб-сайты. Цена от 3 150 ₽ за лицензию, счёт юрлицу и документы для тендера. Проверки идут по банку данных угроз ФСТЭК России, а также по cve.mitre.org, OVAL-репозиториям и данным Microsoft. Лицензия покупается на число одновременно тестируемых IP-адресов — от 5 до 1000.

от 3 150 ₽

Сборник тестовых программ

Сборники тестовых программ нужны организациям — лицензиатам ФСТЭК России при специальных исследованиях средств вычислительной техники, аттестации и контроле защищённости объектов вычислительной техники и сертификационных испытаниях СВТ в защищённом исполнении. Цена от 39 150 ₽ за лицензию, счёт юрлицу и документы для тендера. Тесты моделируют режимы работы отдельных узлов — видеосистем, клавиатур, накопителей, приводов и принтеров, — чтобы измерить уровень их побочных электромагнитных излучений и наводок. Доступны два сборника: тринадцать тестов для Windows и шесть тестов серии ZEBRA для ОС МСВСфера.

от 39 150 ₽

ФИКС 2.0.2

Программа «ФИКС» версии 2.0.2 фиксирует исходное состояние программного комплекса и потом проверяет, что оно не изменилось: считает контрольные суммы по одному из семи алгоритмов — от быстрого взвешенного суммирования до ГОСТ Р 34.11-2012 и MD5, — сравнивает версии файлов, контролирует каталоги и ключи реестра Windows и выпускает отчёты в TXT, HTML, CSV и XML. Цена от 1 750 ₽ за лицензию, счёт юрлицу и документы для тендера. Ею работают разработчики и заказчики ПО, лицензиаты ФСТЭК России, органы по аттестации и испытательные лаборатории. Сертификат ФСТЭК России № 5014 действует до 18 декабря 2030 года.

от 1 750 ₽

Как лицензируется

Лицензия годовая; диск с дистрибутивом и документацией оформляется отдельной строкой заказа.

Срок	Лицензия оформляется на один год.
Документация	Порядок установки и работы описан в руководстве администратора; оно идёт вместе с дистрибутивом и может быть предоставлено по запросу до покупки.
Требования к рабочему месту	Под исходные тексты исследуемых программ нужно предусмотреть место сверх 600 МБ, занимаемых самой программой.

Реестр российского ПО

Запись в реестре	№ 7056 от 07.10.2020 — программа внесена в единый реестр российских программ для электронных вычислительных машин и баз данных.
Что это даёт	Право использования такой программы НДС не облагается, а сама она подходит для проектов, где требуется отечественное программное обеспечение.

НДС и документы

Работаем по лицензионному договору-оферте АО «ЦБИ-сервис»: выставляем счёт и передаём права на использование по спецификации.

Кто покупает	Юридические лица и индивидуальные предприниматели: счёт, договор и закрывающие документы оформляем на организацию.
Ставка НДС	Вознаграждение за передачу прав на программы из единого реестра российского ПО НДС не облагается — пп. 26 п. 2 ст. 149 НК РФ. На установочный комплект НДС начисляется по общей ставке.
Как передаются права	Права считаются предоставленными с даты, указанной в лицензии; перечень программ и срок фиксируются в спецификации или счёте.

Частые вопросы

C и C++. Программа разбирает исходные тексты и строит по ним перечень подпрограмм и их связей, маршруты вызовов, блок-схемы алгоритмов, находит критические маршруты, неиспользуемые переменные и подпрограммы и потенциально опасные конструкции языка.

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

Организациям-разработчикам программного обеспечения и испытательным лабораториям. Первым — чтобы заранее увидеть в своём коде то, что найдёт проверяющий; вторым — чтобы проводить проверки на отсутствие недекларированных возможностей повторяемой процедурой.

Компьютер с процессором Intel Pentium и выше, 64 МБ оперативной памяти (рекомендуется 128 МБ), привод CD-ROM и Windows 8, 8.1 или 10. На диске нужно не менее 600 МБ плюс место под исходные тексты исследуемых программ. Пошаговый порядок установки приведён в документации к продукту.

Подберём поставку и оформим счёт

Скажите, какие работы предстоит закрыть, — подскажем срок лицензии и нужен ли установочный комплект.

Запросить КП и счёт

Спецификация под ваш тендер, документы с печатью.

КП счёт формуляр

Написать в мессенджер

Подбор SKU за пару сообщений.

M

Позвонить

Пн–Пт · 9:00–18:00 МСК

+7 (495) 008-93-65