Принципы и особенности работы Svace · Wiki · svace / svace-support

GitLab

Explore

Sign in

Pages

30

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

Главная

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

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

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

Блог

Поддержка

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