S

svace-support

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

Svace

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

Текущая версия: 3.3.2 (обновление 230406)

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

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