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