Мы используем куки, чтобы пользоваться сайтом было удобно.
Хорошо
to the top
close form

Заполните форму в два простых шага ниже:

Ваши контактные данные:

Шаг 1
Поздравляем! У вас есть промокод!

Тип желаемой лицензии:

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

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

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

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

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

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


Если вы так и не получили ответ, пожалуйста, проверьте, отфильтровано ли письмо в одну из следующих стандартных папок:

  • Промоакции
  • Оповещения
  • Спам

>
>
Запуск 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 и пройти пару проектов и совсем другое обеспечить полноценную работу такой версии вместе с тестированием на большом количестве проектов.

Популярные статьи по теме


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

Следующие комментарии next comments
close comment form