веб-приложение, предоставляющее графический интерфейс для просмотра и обработки результатов статического анализа, выполненного с помощью Svace. В свою очередь, Svace — приложение для поиска критических ошибок в исходном коде программного обеспечения. Оба продукта разработаны институтом системного программирования им. В.П. Иванникова Российской академии наук (ИСП РАН).
Svacer можно бесплатно развернуть на любую популярную систему (Windows, Linux) или запустить как приложение docker. Подробнее процесс установки и использования можно найти на официальной документации (Svacer Wiki). Там же приведена ссылка на репозиторий для загрузки пакета.
Для импорта проектов, экспортированных с помощью Svace, представлен инструмент командной строки. Сам анализатор Svace можно скачать с сервера GitLab разработчика. Также предлагается купить лицензию, написав на почту (стоимость рассчитывается индивидуально).
Иногда mercurial, при скачивании и комитах ругается на https. Особенно на самоподписанные сертификаты. Чтобы заработал…
Если возникает ошибка libvirt destroy lxc permission denied , при попытке остановить контейнер: _x000D_# virsh…
Иногда возникает ситуация, когда криво настроенные пакеты не устанавливаются в системе. У меня это произошло…