Статический анализатор от компании ИСП РАН
Запись в Реестре ПО Минцифры №4047 от 07.12.2017
Статический анализатор Svace
Класс(ы) ПО: 04.05 - Средства анализа исходного кода на закладки и уязвимости; 04.04 - Среды разработки, тестирования и отладки
Код(ы) продукции: 58.29.14 Средства разработки инструментальные и программное обеспечение языков программирования на электронном носителе; 62 Продукты программные и услуги по разработке программного обеспечения; консультационные и аналогичные услуги в области информационных технологий
Правообладатель: ИСП РАН (ИНН 7709006125)
Svace – необходимый инструмент жизненного цикла разработки безопасного ПО, основной статический анализатор компании Samsung. Обнаруживает более 70 классов критических ошибок в исходном коде. Поддерживает языки C/C++, C#, Java, Kotlin, Go, Python, Scala, Visual Basic .ΝΕΤ; в легковесном анализе поддерживает язык JavaScript. Включён в Единый реестр российского ПО (№4047). Поставляется с web-интерфейсом просмотра предупреждений Svacer (Svace History Server).
Svace – постоянно развивающийся инновационный продукт, основанный на многолетних исследованиях. Объединяет ключевые качества иностранных аналогов (Synopsis Coverity Static Analysis, Perforce Klocwork Static Code Analysis, Fortify Static Code Analyzer) с уникальным использованием открытых промышленных компиляторов в целях максимальной поддержки новых стандартов языков программирования.