Для получения триального ключа
заполните форму ниже
Team License (базовая версия)
Enterprise License (расширенная версия)
* Нажимая на кнопку, вы даете согласие на обработку
своих персональных данных. См. Политику конфиденциальности

Запросите информацию о ценах
Новая лицензия
Продление лицензии
--Выберите валюту--
USD
EUR
GBP
RUB
* Нажимая на кнопку, вы даете согласие на обработку
своих персональных данных. См. Политику конфиденциальности

Бесплатная лицензия PVS-Studio для специалистов Microsoft MVP
* Нажимая на кнопку, вы даете согласие на обработку
своих персональных данных. См. Политику конфиденциальности

Для получения лицензии для вашего открытого
проекта заполните, пожалуйста, эту форму
* Нажимая на кнопку, вы даете согласие на обработку
своих персональных данных. См. Политику конфиденциальности

Мне интересно попробовать плагин на:
* Нажимая на кнопку, вы даете согласие на обработку
своих персональных данных. См. Политику конфиденциальности

Ваше сообщение отправлено.

Мы ответим вам на


Если вы так и не получили ответ, пожалуйста, проверьте папку
Spam/Junk и нажмите на письме кнопку "Не спам".
Так Вы не пропустите ответы от нашей команды.

>
>
Запуск PVS-Studio на Linux возможен?

Запуск PVS-Studio на Linux возможен?

16 Июл 2012

Возможность запуска PVS-Studio на Linux время от времени интересует наших пользователей. Сегодня мы готовы рассказать о своих исследованиях в этом направлении.

Хорошие новости, друзья! Запуск PVS-Studio на Linux возможен с октября 2016 года! Использовать анализатор можно в Ubuntu, Debian, OpenSUSE, CentOS, Fedora, Gentoo и многих других дистрибутивах, основанных на ядре Linux. Установить анализатор можно с помощью пакета или распаковать из архива. Ознакомиться с новостью о выходе PVS-Studio для Linux вы можете по ссылке. Статья о разработке анализатора под эту платформу доступна здесь.

Введение, или краткая анатомия PVS-Studio

Итак, анализатор кода PVS-Studio состоит из следующих частей:

  • ядро анализатора в виде исполняемого файла PVS-Studio.exe;
  • кучка плагинов для Visual Studio в виде набора dll для VS 2012, 2010, 2008 и 2005;
  • внешний препроцессор cl.exe (из Visual C++), clang.exe (из Clang) или какой-нибудь еще вроде gcc.exe (из MinGW).

Препроцессор нужен для того, чтобы разобрать все #define и #include. Результат работы препроцессора поступает в ядро анализатора (консольное приложение). Анализатор строит дерево кода, продвигаясь по которому выявляет известные ему паттерны ошибок. Результат работы анализатора в виде набора сообщений об ошибках уже попадает плагину для Visual Studio. И уже плагин проводит дополнительную фильтрацию сообщений, позволяет обеспечивать легкую и удобную навигацию и еще много чего другого.

Для того чтобы запуститься на другой системе (читай на Linux) нужно иметь там как минимум препроцессор и ядро анализатора (файл PVS-Studio.exe). Как же поступили мы?

Вперед на Linux?

Вообще-то пока у нас нет планов делать родную Linux-версию PVS-Studio прежде всего по коммерческим соображениям. Мало кому удается построить бизнес на продаже инструментов для разработчиков под Linux, и мы явно не те, кто кинется в этот омут с головой. Однако иногда пользователи спрашивают об этом, и мы решили все-таки исследовать данный вопрос.

Так вот в качестве препроцессора мы, конечно же, стали использовать родной для Linux gcc. Благо опыт запуска под MinGW позволил нам это сделать практически без модификаций. В итоге довольно быстро мы научились получать препроцессированные файлы.

Затем надо было "скормить" препроцессированные файлы в PVS-Studio.exe. Сделать это на Windows-машине оказалось довольно легко. Конечно же был ряд вопросов с путями файлов и еще некоторые нюансы, но в целом это получилось. Затем оказалось интересно запустить PVS-Studio именно в Linux-окружении для того, чтобы можно было легко интегрироваться в Makefile.

Переносить код PVS-Studio на Linux очень не хотелось, так как это большая и неблагодарная задача. Поэтому мы взяли Wine. С его помощью оказалось довольно легко запустить анализатор, пройти ряд внутренних тестов. После чего мы сразу начали встраивать вызов PVS-Studio в Makefile одного из open source проектов.

Должен обратить внимание, что мы это делали со специальной версией PVS-Studio.exe, в которой кое-что было отключено, а что-то переделано. То есть взять PVS-Studio.exe из дистрибутива у вас, скорее всего не получится. Хотя возможно в будущем в дистрибутиве будет идти версия, которая может работать сразу же под Wine из коробки.

Так вот, выполнив ряд модификаций в коде PVS-Studio и сделав несколько костылей и обвязок мы все-таки запустились с помощью Wine в родном Linux-окружении. Причем мы, как и хотели, интегрировались в Makefile реального проекта! Подробнее о том, как интегрировать PVS-Studio в произвольный Makefile и сборочную систему, можно почитать в документации.

После такого запуска у нас появился текстовый лог-файл, который можно открыть в Visual Studio с помощью PVS-Studio и получить обработанный plog-файл с сообщениями, загруженными в PVS-Studio Output Window. Конечно, навигация на Windows-системе не работает в этом случае, так как пути файлов записаны в Unix-формате, но их можно вручную преобразовать в Windows-формат.

Однако важно другое. Принципиальная возможность запуска PVS-Studio на Linux в родном сборочном окружении есть! Более того, в принципе, возможно реализовать (уже как отдельная задача) некий UI для работы с текстовым логом анализа на Linux. То есть сделать аналог PVS-Studio Output Window для Linux.

Обращение к пользователям

Если кто-то из наших пользователей заинтересован в развитии PVS-Studio в сторону Linux и публичном релизе этой функциональности, сообщите нам. Правда не надо забывать, что это требует большой внутренней разработки от нас. Ведь одно дело запустить PVS-Studio.exe и пройти пару проектов и совсем другое обеспечить полноценную работу такой версии вместе с тестированием на большом количестве проектов.

Популярные статьи по теме
Характеристики анализатора PVS-Studio на примере EFL Core Libraries, 10-15% ложных срабатываний

Дата: 31 Июл 2017

Автор: Андрей Карпов

После большой статьи про проверку операционной системы Tizen мне было задано много вопросов о проценте ложных срабатываний и о плотности ошибок (сколько ошибок PVS-Studio выявляет на 1000 строк кода)…
Статический анализ как часть процесса разработки Unreal Engine

Дата: 27 Июн 2017

Автор: Андрей Карпов

Проект Unreal Engine развивается - добавляется новый код и изменятся уже написанный. Неизбежное следствие развития проекта - появление в коде новых ошибок, которые желательно выявлять как можно раньш…
Бесплатный PVS-Studio для тех, кто развивает открытые проекты

Дата: 22 Дек 2018

Автор: Андрей Карпов

В канун празднования нового 2019 года команда PVS-Studio решила сделать приятный подарок всем контрибьюторам open-source проектов, хостящихся на GitHub, GitLab или Bitbucket. Им предоставляется возмо…
Любите статический анализ кода!

Дата: 16 Окт 2017

Автор: Андрей Карпов

Я в шоке от возможностей статического анализа кода, хотя сам участвую в разработке инструмента PVS-Studio. На днях я был искренне удивлён тому, что анализатор оказался умнее и внимательнее меня.
Технологии, используемые в анализаторе кода PVS-Studio для поиска ошибок и потенциальных уязвимостей

Дата: 21 Ноя 2018

Автор: Андрей Карпов

Краткое описание технологий, используемых в инструменте PVS-Studio, которые позволяют эффективно обнаруживать большое количество паттернов ошибок и потенциальных уязвимостей. Статья описывает реализа…
Эффект последней строки

Дата: 31 Май 2014

Автор: Андрей Карпов

Я изучил множество ошибок, возникающих в результате копирования кода. И утверждаю, что чаще всего ошибки допускают в последнем фрагменте однотипного кода. Ранее я не встречал в книгах описания этого …
Зло живёт в функциях сравнения

Дата: 19 Май 2017

Автор: Андрей Карпов

Возможно, читатели помнят мою статью под названием "Эффект последней строки". В ней идёт речь о замеченной мной закономерности: ошибка чаще всего допускается в последней строке однотипных блоков текс…
PVS-Studio для Java

Дата: 17 Янв 2019

Автор: Андрей Карпов

В седьмой версии статического анализатора PVS-Studio мы добавили поддержку языка Java. Пришло время немного рассказать, как мы начинали делать поддержку языка Java, что у нас получилось и какие дальн…
Как PVS-Studio оказался внимательнее, чем три с половиной программиста

Дата: 22 Окт 2018

Автор: Андрей Карпов

PVS-Studio, как и другие статические анализаторы кода, часто выдаёт ложные срабатывания. Но не стоит спешить считать странные срабатывания ложными. Это короткая история о том, как PVS-Studio вновь ок…
PVS-Studio ROI

Дата: 30 Янв 2019

Автор: Андрей Карпов

Время от времени нам задают вопрос, какую пользу в денежном эквиваленте получит компания от использования анализатора PVS-Studio. Мы решили оформить ответ в виде статьи и привести таблицы, которые по…

Комментарии (0)

Следующие комментарии
Этот сайт использует куки и другие технологии, чтобы предоставить вам более персонализированный опыт. Продолжая просмотр страниц нашего веб-сайта, вы принимаете условия использования этих файлов. Если вы не хотите, чтобы ваши данные обрабатывались, пожалуйста, покиньте данный сайт. Подробнее →
Принять