Главная / Контроль и анализ ПО
Инструментарий для проведения сертификационных испытаний программного обеспечения на наличие ндв в условиях отсутствия исходных текстов программ
Контроль и защита потоков управления в исполняемых кодах программ.
Автоматизация проведения статического и динамического анализа потоков управления в исходных кодах программ.