Что такое Svacer

веб-приложение, предоставляющее графический интерфейс для просмотра и обработки результатов статического анализа, выполненного с помощью Svace. В свою очередь, Svace — приложение для поиска критических ошибок в исходном коде программного обеспечения. Оба продукта разработаны институтом системного программирования им. В.П. Иванникова Российской академии наук (ИСП РАН).

Svacer можно бесплатно развернуть на любую популярную систему (Windows, Linux) или запустить как приложение docker. Подробнее процесс установки и использования можно найти на официальной документации (Svacer Wiki). Там же приведена ссылка на репозиторий для загрузки пакета.

Для импорта проектов, экспортированных с помощью Svace, представлен инструмент командной строки. Сам анализатор Svace можно скачать с сервера GitLab разработчика. Также предлагается купить лицензию, написав на почту (стоимость рассчитывается индивидуально).