Анализатор программного кода «Квазар»

АПК «Квазар» разработан для автоматизации испытаний программного обеспечения на соответствие требованиям руководящего документа «Защита от несанкционированного доступа к информации. Часть 1. Программное обеспечение средств защиты информации. Классификация по уровню контроля отсутствия недекларированных возможностей» (Гостехкомиссия России, 1999) до второго уровня включительно.

АПК «Квазар» предназначен использования экспертами испытательной лаборатории при проведении статического и динамического анализа в процессе сертификации изделий по требованиям безопасности информации. АПК «Квазар» может также использоваться разработчиками программного обеспечения для выявления избыточности, потенциально опасных конструкций и ошибок программирования.

Программный комплекс «Анализатор программного кода «Квазар» МСТЛ.78002-01 имеет сертификат ФСТЭК № 2983 от 30.09.2013 г., подтерждающий его соответствие требованиям Технических условий МСТЛ.78002-01 ТУ и требованиям рруководящего документа «Защита от несанкционированного доступа к информации. Часть 1. Программное обеспечение средств защиты информации. Классификация по уровню контроля отсутствия недекларированных возможностей» (Гостехкомиссия России, 1999) - по 4 уровню контроля.

Функциональные возможности

АПК «Квазар» предназначен для исследования программного обеспечения, разработанного на языках программирования «C» (стандарт не выше «C99», компилятор «GCC» 4.1.3 и ниже), «С++» (стандарт не выше «C++03», компилятор «GCC» 4.1.3 и ниже), «Java» версия 7 и ниже.

АПК «Квазар» позволяет автоматизировать следующие этапы статического анализа:

В рамках динамического анализа АПК «Квазар» автоматизирует следующие задачи:

Технические характеристики

Комплекс предназначен для эксплуатации на IBM PC-совместимых ЭВМ, функционирующих под управлением операционной системы Microsoft Windows 7 (SP1) и отвечающих следующим требованиям к аппаратной конфигурации: процессор Intel Core 2 Duo 2.66 ГГц и выше, RAM 4 Гб и выше, свободное дисковое пространство не менее 80 Гбайт.