Статический анализатор PVS-Studio доступен для Linux (реклама)
25 октября 2016 года
Компания СиПроВер объявила о доступности Linux-версии продукта PVS-Studio, в рамках которого развивается статический анализатор для кода на языках C, C++ и C#. Начиная с версии 6.10 анализатор PVS-Studio распространяется не только для платформы Windows, но и для Linux. Сборки сформированы в форматах deb, rpm и tgz. Для работы требуется регистрационный ключ, который можно получить отправив запрос через форму на сайте компании.
PVS-Studio выполняет статический анализ кода и генерирует отчёт, помогающий программисту находить и устранять ошибки. Продукт предоставляет широкий спектр проверок кода, но наиболее силён в поисках опечаток и последствий необдуманного копирования блоков кода (Copy-Paste). Средства диагностики позволяют выявлять ошибки общего назначения (подозрительная работа с указателями, ошибки работы с массивами, некорректная организация циклов, опечатки в именах переменных и т.п.), предлагают возможные оптимизации и определяют наличие 64-разрядных ошибок.
Версия для Linux оформлена в виде консольного приложения, работающего совместно с GCC или Clang. Поддерживается как проверка файлов с исходным кодом (*.cpp, *.c и т.д.), так и проверка файлов, обработанных препроцессором (*.i). В состав пакета входит анализатор pvs-studio, утилита для проверки проектов без интеграции (pvs-studio-analyzer), программа для преобразования отчёта анализатора в различные форматы (plog-converter) и исходный код утилиты plog-converter. Поддерживается интеграция с различными сборочными системами (GNU Make, CMake, QMake) и интегрированными средами разработки (CLion, QtCreator). Инструкцию по использованию PVS-Studio в процессе разработки на платформе Linux можно найти на сайте проекта.
Несмотря на то, что PVS-Studio является коммерческим продуктом, он широко используется для выявления ошибок в коде открытых проектов. Сотрудники СиПроВер регулярно проводят тестирование различных открытых проектов, публикуют статьи с результатами и сообщают о найденных ошибках разработчикам проанализированных проектов. В настоящее время в PVS-Studio проверен 271 открытый проект, в результате проверки выявлено 10466 ошибок.
/
Источники[править]
Любой участник может оформить статью: добавить иллюстрации, викифицировать, заполнить шаблоны и добавить категории.
Любой редактор может снять этот шаблон после оформления и проверки.
Комментарии[править]
Если вы хотите сообщить о проблеме в статье (например, фактическая ошибка и т. д.), пожалуйста, используйте обычную страницу обсуждения.
Комментарии на этой странице могут не соответствовать политике нейтральной точки зрения, однако, пожалуйста, придерживайтесь темы и попытайтесь избежать брани, оскорбительных или подстрекательных комментариев. Попробуйте написать такие комментарии, которые заставят задуматься, будут проницательными или спорными. Цивилизованная дискуссия и вежливый спор делают страницу комментариев дружелюбным местом. Пожалуйста, подумайте об этом.
Несколько советов по оформлению реплик:
- Новые темы начинайте, пожалуйста, снизу.
- Используйте символ звёздочки «*» в начале строки для начала новой темы. Далее пишите свой текст.
- Для ответа в начале строки укажите на одну звёздочку больше, чем в предыдущей реплике.
- Пожалуйста, подписывайте все свои сообщения, используя четыре тильды (~~~~). При предварительном просмотре и сохранении они будут автоматически заменены на ваше имя и дату.
Обращаем ваше внимание, что комментарии не предназначены для размещения ссылок на внешние ресурсы не по теме статьи, которые могут быть удалены или скрыты любым участником. Тем не менее, на странице комментариев вы можете сообщить о статьях в СМИ, которые ссылаются на эту заметку, а также о её обсуждении на сторонних ресурсах.