LINUX.ORG.RU

PVS-Studio для Linux

 , , ,


0

5

Появилась версия анализатора PVS-Studio, работающая в GNU/Linux. До этого программа работала только в Windows.

PVS-Studio — это инструмент для выявления ошибок в исходном коде программ, написанных на С и C++. В случае интеграции с Visual Studio также возможна проверка проектов на C#.

PVS-Studio выполняет широкий спектр проверок кода, но наиболее удачно справляется с поиском опечаток и последствий неудачного Copy-Paste. Показательные примеры таких ошибок: V501, V517, V522, V523, V3001.

Хочу поблагодарить всех, кто принял участие в Beta-тестировании и отправлял нам свои отзывы. Эти отзывы действительно были крайне полезны. Спасибо!

Пакеты PVS-Studio в форматах deb, rpm и tgz доступны для скачивания на официальном сайте.

Чтобы получить регистрационный ключ для знакомства с инструментом, напишите нам. Со временем процесс получения демонстрационной версии может измениться, но сейчас нам важно понимать, кто скачивает анализатор, как его используют, какие проблемы возникают и так далее.

Обязательно сразу же прочитайте краткую инструкцию «как запустить PVS-Studio в Linux».

В первое время после выхода версии для Linux отзывов и вопросов может быть слишком много. Поэтому если мы будем отвечать на вопросы с задержкой, просим понять и простить.

Доклад на конференции C++ CoreHard Autumn 2016 «Что пришлось тестировать и о чем узнать при подготовке Linux-версии PVS-Studio».

Про что доклад: большинство программистов плохо представляют, что означает создание PVS-Studio для Linux. Многие думают, что вся сложность заключается в портировании кода, однако это очень далеко от истины: портировать код очень просто, но это только 5% работы. Остальная работа скрыта от стороннего наблюдателя и состоит в решении многих инфраструктурных вопросов. Предлагаем заглянуть на кухню разработчиков анализатора PVS-Studio и узнать разные интересные нюансы их работы.

>>> Подробности

Очень полезная вещь! А есть бесплатная версия для хомяка?

anonymous ()

На сайте кнопка скачать ведёт на версию под Windows. Было бы удобно просто получить список доступных платформ для загрузки (мимокрокодил).

UVV ★★★★★ ()

Эпичный проприетарный абзац.

bookman900 ★★★★★ ()
Ответ на: комментарий от vvviperrr

Их троллилли, троллилли, а они всё равно выпустили.

Молодцы!

Aceler ★★★★★ ()

Попробую на днях от организации написать письмо на пробник, чтоб потыкать палочкой.

Нереально круто. Спасибо единорогам. Я кончил.

fornlr ★★★★★ ()

Осталось еще для маководов версию выпустить для полного комплекта :)

Gorthauer ★★★★★ ()
Ответ на: комментарий от Gorthauer

Маководы не верят, что программы для мак могут глючить, зачем им?

Aceler ★★★★★ ()

Многие думают, что вся сложность в портировании кода, однако это очень далеко от истины: портировать код очень просто, однако это только 5% работы. Остальная работа скрыта от стороннего наблюдателя и заключается в решении многих инфраструктурных вопросов. Предлагаем заглянуть на кухню разработчиков анализатора PVS-Studio и узнать разные интересные нюансы их работы.

Все эти детали содержатся в ролике на Ютубе, в котором человек рассказывает, что статические анализаторы спасают от позора?

tailgunner ★★★★★ ()

Ммм, вангую бурное обсуждение. Кстати, а откуда столько ненависти в адрес разработчиков сей программы?

karton1 ★★★★ ()
Ответ на: комментарий от karton1

Ммм, вангую бурное обсуждение. Кстати, а откуда столько ненависти в адрес разработчиков сей программы?

Не всем нравится их стиль рекламы.

kirk_johnson ★☆ ()
Ответ на: комментарий от karton1

С одной стороны агрессивное, а с другой — полное петросянства и неуместных шуточек продвижение сабжа на ЛОРе. Причем до сего момента, как можно понять, была только версия для оффтопика.

buddhist ★★★★★ ()

Ммм, проприетарь с ключами регистрации, наканецта

anonymous ()
Ответ на: комментарий от karton1

откуда столько ненависти в адрес разработчиков сей программы?

Так фанатики же.

Не GPL - не нужно. Ко-ко-ко!

fornlr ★★★★★ ()

Да здравствует проприетарный софт!

thesis ★★★★★ ()

На самом деле, о таких ошибках должен выдавать предупреждение компилятор.

Deleted ()
Ответ на: комментарий от Oxdeadbeef

А где сырцы?

Когда конторка разорится, тогда всё выложат под GPLv3, как миленькие.

anonymous ()

А можно ли использовать данный анализатор для поиска ошибок в коде для микроконтроллеров? Интересно было бы глянуть на отчёт по анализу примеров кода mbed, freertos, даже ядра arduino. Планируется?

dekar ()
Ответ на: комментарий от anonymous

Не разорится, их продукт используется на «предприятиях». Если только унрилы и прочие не придумают с их подачи свой аналог.

anonymous ()

Отличная новость! Не обращайте внимание на столлманутых фанатиков. Им даже если дать сырцы - с роду в них не разберутся. Да и станут ли?

Sunderland93 ★★★★★ ()
Последнее исправление: Sunderland93 (всего исправлений: 1)
Ответ на: комментарий от Aceler

Мб мб, однако не стоит забывать о swift. Зачем мучить obj-c, когда на дворе 21-век? Будущее за такими языками как python и т.д.

anonymous ()

То, о чем так долго говорили Linux программисты, свершилось!

А ты точно уверен в том что все «Linux программисты» только и говорят про эту шнягу?

Rodegast ★★★★★ ()
Ответ на: комментарий от anonymous

Будущее за такими языками как python и т.д.

и т.д.

Вот мне тоже нравится, что будущее каждый год новое :-D

Aceler ★★★★★ ()

Так че с бесплатной версией для домашнего юзера? Есть она?

anonymous ()

хотите рекламы?

проверьте LibreOffice, там такое внутри))

anonymous ()
Ответ на: комментарий от anonymous

Когда конторка разорится, тогда всё выложат под GPLv3, как миленькие.

CodeWeavers что-то не разорился, Crossover разлетается как горячие пирожки. Не смотря на то, что 90% своего кода передают в WINE. Вон, 15я версия и скоро выйдет 16я. :)

https://www.codeweavers.com/products/crossover-linux

anonymous ()
Ответ на: комментарий от anonymous

Будущее за такими языками как python и т.д.

Ну хоть не жопоскрипт и нода, хотя я и питонячьего будущего не хочу

Sunderland93 ★★★★★ ()
Ответ на: комментарий от anonymous

Чур меня, чур!

языками как python

Это не язык, а ужас! Создан он из смеси тормозной жидкости и формального идиотизма, где логику программы можно сломать одним пробелом.

А как его применяют... Особенно input() в 2.7 версии.

newprikolist ()

Спасибо! Качественный и полезный продукт.

anonymoos ★★★★★ ()

Когда уже запретят эту рекламу! Сил нет! Я за пожизненный бан автора!

Vudod ★★★★★ ()

Linux-версия - это большой объем работ

Просто надо писать анализатор на стандартном C++, тогда никаких «Windows-версий» или «Linux-версий» не будет.

Отдельный разговор про плагины для всяких студий. Да, там специфичный для платформы и VS plugin framework код, но всё, что он должен делать — передавать анализатору путь к файлу и другие опции и получать обратно отчёт.

utf8nowhere ★★ ()

Спасибо, ребята. Вопрос от фаната CentOS 5: какую билд-ферму вы используете? И ещё мне кажется что нужно написать что ошибка ≠ критическая уязвимость. Это вроде и так понятно, но не для всех, и когда эти некоторые видят «исправлено 10000 ошибок», то они не верят. Это как «от мониторов идёт радиация», где радиация ≠ проникающая радиация

ZenitharChampion ★★★★★ ()
Последнее исправление: ZenitharChampion (всего исправлений: 1)
Ответ на: комментарий от utf8nowhere

Просто надо писать анализатор на стандартном C++, тогда никаких «Windows-версий» или «Linux-версий» не будет.

Просто надо писать всем код на стандартном C++, тогда никаких «Windows-версий» или «Linux-версий» анализатора не нужно будет.

CatsCantFly ()
Ответ на: комментарий от Vudod

Тебе кто-то мешает добавить тег в игнор?

EXL ★★★★★ ()

Хорошая штука. Такие веселые ошибки выявляет!

vada ★★★★★ ()

Хочу поблагодарить всех, кто принял участие в Beta-тестировании и отправлял нам свои отзывы. Эти отзывы действительно были крайне полезны. Спасибо!

Спасибо в карман не положишь и в стакан не нальешь. Могли бы бета-тестерам дать полноценную лицензию, а не тот недельный обрубок.

andreyu ★★★★★ ()
Ответ на: комментарий от andreyu

а не тот недельный обрубок.

мда. что-то не густо вам перепало. могли бы и на больше выдать :-) хотя бы на пол года.

samy_volosaty ★★★★★ ()
Ответ на: комментарий от karton1

откуда столько ненависти в адрес разработчиков сей программы?

Много эникейщиков любят справлять свои комплексы на успешном проекте с безопасного расстояния.

shahid ★★★★★ ()

ключ для знакомства на какое время будет день? два?

samy_volosaty ★★★★★ ()
Ответ на: комментарий от Vudod

Когда уже запретят эту рекламу!

Зачем?

Сил нет!

Бросайте курить и пить + утренняя гимнастика.

Я за пожизненный бан автора!

Какого автора?

andreyu ★★★★★ ()
Вы не можете добавлять комментарии в эту тему. Тема перемещена в архив.