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

АПК «Квазар» разработан для автоматизации испытаний программного обеспечения на соответствие требованиям руководящего документа «Защита от несанкционированного доступа к информации. Часть 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 и ниже.

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

• контроль исходного состояния исследуемого программного обеспечения
• контроль полноты и отсутствия избыточности исходных текстов на уровне файлов и функциональных объектов
• контроль соответствия исходных текстов программного обеспечения его объектному (загрузочному) коду
• контроль связей функциональных объектов по управлению
• контроль связей функциональных объектов по информации
• контроль информационных объектов различных типов
• синтаксический контроль наличия заданных конструкций в исходных текстах исследуемого программного кода из списка (базы) потенциально опасных программных конструкций
• формирование перечня маршрутов выполнения функциональных объектов (процедур, функций, ветвей)
• анализ критических маршрутов выполнения функциональных объектов
• построение по исходным текстам исследуемого программного кода блок-схемы алгоритмов
• контроль выполнения функциональных объектов (процедур, функций, ветвей)

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

• контроль выполнения функциональных объектов (ветвей, функций)
• сопоставления фактических маршрутов выполнения функциональных объектов (процедур, функций, ветвей)
• АПК «Квазар» позволяет просматривать различную информацию по проекту (метрики кода и т.п.). По результатам работы возможно формирование отчетных материалов и приложений в виде
• файлов таблиц (XML), файлов схем (VSD) и графических файлов (SVG, PNG), позволяющих эксперту эффективно использовать полученные результаты исследований.

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

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