Люки в программах покажет “Визуализатор”
Гостехкомиссия при Президенте РФ сертифицировала комплекс средств визуального анализа программ на базе компилятора Интерстрон С++. Разработчик компилятора отечественная компания “Интерстрон” (www.interstron.ru) специализируется на создании средств разработки и сертификации ПО на языке С++.
Комплекс средств визуального анализа программ (внутреннее название “Визуализатор”) автоматизирует процесс выявления в ПО недекларированных возможностей. Компактное графическое представление помогает эксперту понять сложные системы, написанные на языке С и С++, позволяет сократить трудозатраты и стоимость испытаний, повысить достоверность результатов.
Сертификат Гостехкомиссии РФ удостоверяет, что комплекс средств визуального анализа программ на базе компилятора Интерстрон С++ является программным средством контроля эффективности средств информационной защиты и соответствует требованиям руководящего документа по четвертому уровню контроля.
