веб-приложение, предоставляющее графический интерфейс для просмотра и обработки результатов статического анализа, выполненного с помощью Svace. В свою очередь, Svace — приложение для поиска критических ошибок в исходном коде программного обеспечения. Оба продукта разработаны институтом системного программирования им. В.П. Иванникова Российской академии наук (ИСП РАН).
Svacer можно бесплатно развернуть на любую популярную систему (Windows, Linux) или запустить как приложение docker. Подробнее процесс установки и использования можно найти на официальной документации (Svacer Wiki). Там же приведена ссылка на репозиторий для загрузки пакета.
Для импорта проектов, экспортированных с помощью Svace, представлен инструмент командной строки. Сам анализатор Svace можно скачать с сервера GitLab разработчика. Также предлагается купить лицензию, написав на почту (стоимость рассчитывается индивидуально).
Zulip — программное обеспечение для реализации корпоративного чата. Разработан в 2012 году, в 2014 был…
Zookeeper — cервис-координатор, который позволяет обеспечить контроль синхронизации данных. Разработан на Java компанией Apache Software…
Zimbra — программное обеспечение для реализации почтового сервиса или, если сказать точнее, автоматизации совместной деятельности…
Zabbix — бесплатная система мониторинга. Позволяет отслеживать состояние сетевых узлов, компьютеров и серверов. Возможности: Поддержка…
YouTube — компания-владелец одноименного портала для просмотра и хранения видео. Чтобы пользоваться данным порталом достаточно…
Yota — провайдер, предоставляющий доступ к сети Интернет по беспроводной связи. Впервые, сервис начал работать…