Статический анализатор кода, предназначенный для автоматизированного поиска дефектов в исходном коде приложений, разработанных на C/C++, Java, PHP, C#.

    Средство сертификационных испытаний на отсутствие недекларированных возможностей (программных закладок), а также проведения анализа безопасности программного кода.

    Средство проведения инспекционного контроля

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