22 ноября Институт системного программирования РАН им. В.П. Иванникова в ходе своей Открытой конференции, посвященной 70-летию отечественного ИТ-сектора, заключит соглашение с АО «НПО РусБИТех».
Оно касается продажи лицензии на статический анализатор Svace и динамический анализатор Crusher.
Сделка позволит предприятию-разработчику отечественной сертифицированной операционной системы Astra Linux обнаруживать ошибки кода на ранних стадиях. Это повысит доверие к безопасности платформы, используемой в государственных и коммерческих информационных системах, в том числе в критически важных секторах экономики.
Svace и Crusher — два дополняющих друг друга необходимых инструмента жизненного цикла разработки безопасного ПО, разработанные ИСП РАН им. В.П. Иванникова. По соглашению институт продаст АО «НПО РусБИТех» годовую лицензию на эти статический и динамический анализаторы. Она даст возможность с использованием Svace и Crusher проверять любой исходный код, разрабатываемый специалистами предприятия. Вместе с этой лицензией будут оказаны услуги по установке анализаторов и интеграции их со средой разработки, что поможет использовать Svace и Crusher с наибольшей отдачей.
Статический анализатор Svace позволяет выявить ошибки в программном обеспечении, которые могут привести к сбоям в его работе, или уязвимости, создающие риск перехвата контроля над системой.
Динамический анализатор Crusher дает возможность автоматически генерировать наборы входных данных программы, чтобы проверить ее устойчивость к обработке данных, не соответствующих ожидаемому формату.
Дата и время начала Пленарной сессии: 22 ноября, 9:30.
Адрес проведения: Москва, Ленинский проспект, дом 32 А, подъезд 1, 3 этаж, Синий зал.
Подробная информация о мероприятии: http://www.isprasopen.ru/
Об ИСП
Институт системного программирования Российской академии наук — разработчик технологий мирового уровня в таких областях, как операционные системы, компиляторные технологии, параллельные и распределенные вычисления, технологии верификации и тестирования программного обеспечения, анализ и обработка больших объемов данных, семантический поиск. Среди долговременных отечественных партнеров Института ГосНИИАС, Вымпелком, РусБИТех, среди зарубежных — Samsung, Huawei, Dell EMC, HPE, Intel, Nvidia, Rogue Wave, Linux Foundation.
