Skip to content
S

svace-support

Project ID: 179

Проблемы и предложения по работе статического анализатора Svace

Svace

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

Текущая версия: 3.4.240109

Обновленную версию сервера истории Svacer можно скачать отсюда.

Обновленную версию драйвера системы лицензирования Sentinel можно скачать отсюда.