Svace 3.2.0 Changelog · Wiki · svace / svace-support

GitLab

Explore

Sign in

Pages

32

Svace – система статического анализа для обнаружения широкого спектра дефектов и уязвимостей в прикладных программах, написанных на языках C, C++, Java, C#, Kotlin, Go, Python и Scala. Эта система разрабатывается в Институте системного программирования им. В.П. Иванникова Российской академии наук (ИСП РАН).

Главная

Часто задаваемые вопросы

Ссылка для скачивания

Системные требования

Блог

Поддержка

Отдел оформления лицензий