PVS-Studio для Linux

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

Ты им пользуешься?

А ты с какой целью интересуешься? Ответ: да.

агрессивное ... продвижение сабжа на ЛОРе

Агрессия тут вся в твоей голове, чувак. Хотя с шуточками у них и правда так себе.

plog-converter не собирается.

g++ -c -pipe -Wall -Wextra -Werror -std=c++14 -O2 -std=gnu++1y -Wall -W -fPIC  -I. -I/usr/lib64/qt5/mkspecs/linux-g++ -o application.o application.cpp
application.cpp: В функции-члене «void Application::setCmdOptions(int, const char**)»:
application.cpp:141:5: ошибка: could not convert «{"outputFile", Required, 'o', Single, <lambda closure object>Application::setCmdOptions(int, const char**)::<lambda(const char*)>{((Application*)this)}, "Output file"}» from «<brace-enclosed initializer list>» to «Utils::ProgramOption»
     };
     ^

Интересно, как оно себя поведет, если код с ассемблерными вставками, и не под х86.

Интересно так же сравнение coverity и матлабовским PureSpace.

А ты с какой целью интересуешься? Ответ: да.

Я у чувака с пингвином спрашивал.

В случае с лункусом, даже проприетарный софт большое достижение. Для линукса мало софта и проприетарного и бесплатного.

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

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

Нет просто продукт разработчика открывает поистине ужасающе низкий уровень нынешних хипсер-программистов.

clang и -Wall же.

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

Повторю свой вопрос: а чем вы лучше Coverity? Почему, к примеру, я должен на работе выкинуть Coverity и стремглав побежать покупать PVS Studio?

Поставьте CLion, его возможностей анализа плюсокода домашнему юзеру хватит за глаза.

Повторю свой вопрос: а чем вы лучше Coverity? Почему, к примеру, я должен на работе выкинуть Coverity и стремглав побежать покупать PVS Studio?

Его нельзя купить, а можно только арендовать. После чего оно в тыкву превращается. Сам использую Coverity, ни чем не хуже. В некоторых моментах даже лучше реагирует.

Сами жуйте вашу поделку, спасибо.

Кстати! На opennet новость об этой поделке идет явно с пометкой «реклама», сразу видно что будут что-то впаривать, и это более точно отражает суть. Сколько раз я уже предлагал тут такое ввести - все против. Зато читать всю эту рекламную мишуру про проприетарщину и помогать им оболванить других - пожалуйста. Почему даже тега «реклама» нет? От этой поделки никакой пользы сообществу.

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

Засрали мой лор рекламой типа: «У нас посылка продукт, но мы вам его не продадим.»

Засрали мой лор рекламой типа: «У нас посылка продукт, но мы вам его не продадим.»

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

От этой поделки никакой пользы сообществу.

Эта «поделка» помогла выявить несколько тысяч ошибок в опенсорс-ПО. Что же твой хвалёный Coverity этого не сделал?

Мы готовы продавать.

А разрабатывать не пробовали?

Эта «поделка» помогла выявить несколько тысяч ошибок в опенсорс-ПО. Что же твой хвалёный Coverity этого не сделал?

Потому что через Coverity прогоняют раз в полгода, когда не лень.

Здесь вам не тут!

В ответе на твое сообщение еще и типичное для сабжа и характерное для российского бизнеса «мы вам цену не скажем, пишите/звоните, там договоримся»

демонстрационный ключ прикрепите к топику

Признаюсь, не то слово. «Настойчивое».

Что же твой хвалёный Coverity этого не сделал?

В тебе сразу видно зомбированного сабжем объекта. Coverity не занимается непонятной рекламой своего продукта - они просто работают, как для opensource бесплатно, так и платно с компаниями.

Ознакомься со списком проектов и объемом найденных ошибок:

https://scan.coverity.com/projects

Почти все серьезные проекты типа Qt его используют на постоянной основе и бесплатно. В отличие от.

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

Я хочу бабушке купить на день рождения. Можно?

А может сообщество начнёт запиливать своё «pvs-studio»? Как думаете? Исходники на github, вся фигня.

Потому что через Coverity прогоняют раз в полгода, когда не лень.

У нормальных проектов хотя бы в неделю :) Там лимит на количество прогонов как раз на неделю идет.

У нормальных проектов хотя бы в неделю :) Там лимит на количество прогонов как раз на неделю идет.

Линуксовое ядро проверялось 9 дней назад.

Доклад переехал сюда: https://youtu.be/auHdiSIhG3g

Смените лектора. Он очень занудный.

Нормальность этого проекта не для всех очевидна. Конечно, надо сделать скидку на объем изменений, так как если правок не было или они по веткам еще раскиданы, то и проверять нечего.

clang и -Wall же.

Как раз пишу статью, про то, как PVS-Studio берёт и находит ошибки в Clang (в 3 раз кстати, см предыдущие здесь). Специализированные анализаторы всегда будут лучше, чем компиляторы. Именно на этом они и зарабатывают свои деньги.

Да болт они клали и на тебя, и на твою бабку. Я хз, зачем они вообще морочились линухом и кто вообще вступает в рабство покупает сие поделие

А может сообщество начнёт запиливать своё «pvs-studio»? Как думаете? Исходники на github, вся фигня.

Уже есть. См. проект Cppcheck.

Дело не в занудстве даже. Обрати внимание, что этот пузатик впаривает в каком-то подвале (подвальном ангаре) 20 человекам эту дичь, причем половина из низ какие-то голодные студенты, которым даже ключ от сабжа подержать не дадут. Некоторые под конец еле сидят уже, больше похоже на какую-то дешевую массовку, сэкономили деньги на постановке.

Cppcheck

Это где правила регулярками задаются? Даа, сурьезный проект...

А вспоминать тут надо clang static analyzer, infer, frama-c.

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

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

Вот об этой ереси речь. Хотят работать с корпоративными клиентами - имеют право, чо. Только мне эта реклама абсолютно бесполезна, но висит, собака, на главной.

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

В PVS-Studio хорошие умные диагностики. Мы демонстрируем тысячи ошибок в таких проектах как LLVM, Qt, Chromium, GCC, GDB, MSBuild и так далее. Откуда они, если всё так просто и достаточно линта?

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

Сейчас для знакомства мы выдаём ключ на 1 неделю.

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

Интересно, как оно себя поведет, если код с ассемблерными вставками, и не под х86.

Сами ассемблерные вставки игнорируются. Плюс некоторые диагностики учитывают наличие ассемблерных вставок рядом с выявленным опасным кодом и молчат, так как непонятно, что и как там внутри делается. Это сокращает число ложных срабатываний.

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

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

Розовые миры и фантазии. :) От части эта тема раскрывается здесь - https://youtu.be/auHdiSIhG3g Доклад интересный (честно), рекомендую посмотреть.

Вот этой своей дивной позицией, что они не хотят говорить цену очень раздражают. Понятно почему и зачем это, привычка от участия в распилах бюджетных средств, когда цена не называется, ибо устанавливается исходя из того сколько можно украсть/распилить, но в случае с данным продуктом раздражает, так же, как их «напишите нам с корпоративного e-mail».

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

Пожалуйста!

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

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

На самом деле, это интересный доклад. Рекомендую.

тоже самое можно будет сделать и с персональным ключем выданным на имеил

А можно ли использовать данный анализатор для поиска ошибок в коде для микроконтроллеров?

Можно. Пробуйте. Если что-то не будет получаться, пишите, поможем и подскажем.