Проведение сертификационных испытаний на отсутствие недекларированных возможностей (программных закладок), ана...
PT Application Inspector — анализатор защищенности исходного кода приложений. Результатом работы PT AI являетс...
Статический анализатор кода, предназначенный для автоматизированного поиска дефектов в исходном коде приложени...
Инструмент статического анализа для C#, разработанный в ИСП РАН.
Статический анализатор Svace. Промышленный поиск критических ошибок в безопасном цикле разработки программ.
КМИС.Лаборатория позволяет автоматизировать основные виды деятельности – регистрацию пациентов и заявок на исс...