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 и узнать разные интересные нюансы их работы.

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



Проверено: Aceler ()
Последнее исправление: cetjs2 (всего исправлений: 8)

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

anonymous
()

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

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

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

Молодцы!

Aceler ★★★★★
()

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

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

fornlr ★★★★★
()

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

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

tailgunner ★★★★★
()

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

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

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

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

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

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

buddhist ★★★★★
()

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

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

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

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

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

fornlr ★★★★★
()

Отлично !

Deleted
()

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

thesis ★★★★★
()

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

Deleted
()

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

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

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

anonymous
()

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

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

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

anonymous
()

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

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

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

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

и т.д.

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

Aceler ★★★★★
()
Ответ на: комментарий от 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
()

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

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

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

utf8nowhere ★★★
()

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

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

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

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

CatsCantFly
()

Ну теперь-то 12309 капец?

yacuken ★★★★
()

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

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

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

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

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

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

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

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

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

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

Зачем?

Сил нет!

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

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

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

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