S
svace-support
Проблемы и предложения по работе статического анализатора Svace
Svace
Svace – система статического анализа для обнаружения широкого спектра дефектов и уязвимостей в прикладных программах, написанных на языках C, C++, Java, C#, Kotlin и Go. Эта система разрабатывается в Институте системного программирования им. Иванникова Российской академии наук (ИСП РАН).
Текущая версия: 3.3.2 (обновление 230406)
Обновленную версию сервера истории Svacer можно скачать отсюда.
Обновленную версию драйвера системы лицензирования Sentinel можно скачать отсюда.
- Часто задаваемые вопросы
- Типовые сценарии сборки и анализа проектов
- Системные требования (поддерживаемые языки и компиляторы)
- Список известных проблем (требуется учётная запись, обратитесь на svace@ispras.ru)
- Сообщить о новой проблеме (требуется учётная запись, обратитесь на svace@ispras.ru)
- Принципы и особенности работы svace
- Видеоматериалы
- Предыдущие версии:
- 3.3.2 (обновление 230220)
- 3.3.2 (обновление 221229)
- 3.3.2
- 3.3.1
- 3.3.0
- 3.2.1
- 3.2.0