Диагностики GCC — это хорошо, но недостаточно

<grammarnazi>

Проект написан на языке C и C++.
Я регулярно публикую ссылки на интересные статьи по программированию на языке C и C++,...

Нет такого языка «C и С++». Поэтому правильнее было бы «на языках C и C++». А то читаешь и недоумеваешь, как автор умудрился написать настолько мощный анализатор, но при этом считает C и C++ одним языком.

</grammarnazi>

Проверьте пожалуйста mpv.

Четыре ошибки в слове «clang»

Поставил попкорна в микроволновку

Про шланг в статье тоже есть.

Убрал попкорн из микроволновки.

Если программист действительно заботится о качестве кода, он должен использовать такие специализированные инструменты, как PVS-Studio.

Погромист должен, но если у вас маленький проект, то PVS-Studio вам не нужен и вообще присылайте письма с корпоративных ящиков, тогда мы сообщим вам цену. Может быть.

Это чисто воркэраунд для ведения бизнеса, ничего личного. Ну вот так смогли организовать бизнес-модель. И функционируют уже несколько лет

В статье попадается интересное:

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

Автор анализатора кода вручную раскрывает макросы, шок.

Судя по статьям, PVS ищет ошибки в одной единице трансляции. Интересно было бы посмотреть на анализатор, который умеет видеть все потоки исполнения и анализировать все захваты и освобождения ресурсов. Вот где должно всплыть всякого.

Я как-то ковырялся с GCC-шным GIMPLE, и даже сделал что-то вроде простенького анализатора. Он смотрел, чтобы после каждого user-defined acquire вызывался соответствующий release (с тем же аргументом лока, адресом или хендлом). Ну, типа *alloc/free, pthread_mutex_lock/unlock, open/close. Но это очень нудное занятие, ну его.

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

Забаньте этого торгаша. Что реклама какойто мутной проприетарщины делает в разделе development?

Перемещено Aceler из proprietary

Хотя в новости тоже не сильно вписывается, да

Нет такого языка «C и С++». Поэтому правильнее было бы «на языках C и C++». А то читаешь и недоумеваешь, как автор умудрился написать настолько мощный анализатор, но при этом считает C и C++ одним языком.

Не понимаю, отчего здесь вспыхивает такая ненависть, когда я упоминаю про C/C++ или «языке C и С++». Всем ведь понятно, что имеется в виду. И часто пишут именно так. Я и многие грамотные программисты понимают, что это разные языки, но также и понимают почему их часто используют в паре. Не виду в записи C/C++ ничего неестественного. Это следует читать как «язык C или язык C++». Никто ведь не ругается, что нет языка С/С++/С#. Я думаю, такие комментарии появляются в том случае, если нечего сказать по существу. Тогда начинают придираться к отдельным словам и фразам.

Четыре ошибки в слове «clang»

Поясните.

Погромист должен, но если у вас маленький проект, то PVS-Studio вам не нужен и вообще присылайте письма с корпоративных ящиков, тогда мы сообщим вам цену. Может быть.

Добро пожаловать в реальность. Программисты хотят получать зарплату. А статический анализ это B2B.

Что реклама какойто мутной проприетарщины делает в разделе development?

Моя миссия рассказать программистам, что существует такая методология как «статический анализ кода». Объяснить, что они могут экономить деньги, силы и продемонстрировать на примерах как это работает. У нас в России уровень разработки крайне отстаёт и я считаю своё занятие крайне положительным.

А то читаешь и недоумеваешь, как автор умудрился написать настолько мощный анализатор, но при этом считает C и C++ одним языком.

Просто автору мощного анализатора необязательно быть занудой :-)

Я думаю, такие комментарии появляются в том случае, если нечего сказать по существу. Тогда начинают придираться к отдельным словам и фразам.

Не обращай внимания :-)

Забаньте этого торгаша. Что реклама какойто мутной проприетарщины делает в разделе development?

«Торгаш» сделал полезную программу :-) А всякий полезный труд достоин оплаты :-) И вовсе не обязательно чтить нищебродство во имя фанатизма :-)

Да вы небось ещё и жрать каждый день хотите, вообще совесть потеряли.

Пиши вместо «программист должен» «команда програмистов должна» или «бизнес должен». А то ты обращаешься к одиночкам, хотя сам с ними не хочешь работать.

хотя сам с ними не хочешь работать.

Можно поподробнее?

Я как-то ковырялся с GCC-шным GIMPLE, и даже сделал что-то вроде простенького анализатора. Он смотрел, чтобы после каждого user-defined acquire вызывался соответствующий release (с тем же аргументом лока, адресом или хендлом). Ну, типа *alloc/free, pthread_mutex_lock/unlock, open/close.

Такие вещи должны проверяться динамическим анализатором, а не статическим, так как путей выполнения между первым и вторым может быть много (а если он всегда один, то используй RAII и не парься:)

Может, с них хоть копеечку на содержание ЛОРа брать? Ну реклама же в чистом виде. Да еще и не целевая.

Намек на плохое качество диагностик GCC по сравнению с clang, люди, которым это важно, уже давно пересели

Чтобы лор превратился в быдлохабр?

Очевидно, что не понимаете. Как по мне, так существуют общепринятые выражения «языки C/C++», «на языках C/C++» и «на языках C и C++». Но не «на языке C и C++». По вашей же ссылке:

В ней в доступной форме рассмотрены не только популярные языки программирования С/C++, но и изложены основные принципы визуального проектирования и событийного программирования...Детальное объяснение материала и подробные комментарии к примерам помогут вам самостоятельно освоить языки C/C++ и приемы работы...

Когда вы говорите про «язык С и C++», то возникает странное ощущение. То вы на профильных форумах задаетесь вопросом «Почему люди часто ошибаются при написании простых функций сравнения?» То пишете так, что не понятно, представляете ли вы себе разницу между C и C++. Или для вас просто русский не родной. Или в своих текстах вы не уделяете внимания деталям (тогда как вы уделяете внимание деталям в своем коде?)...

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

Вы по-другому подумайте: вам показали фрагмент вашей в статье, который вызывает недоумение. Поправить его просто. Тем самым вы сделаете свою статью чуть лучше.

Но вместо этого вы ищете врагов там, где их нет.

Ну а если вам так уж хочется по существу, то пожалуйста: продвижение своего продукта, который еще и нацелен на разработчиков, — это дело сложное и неблагодарное (по себе знаю, что это такое). Но вам бы стоило или грамотного маркетолога нанять, или же самому подучиться маркетингу и PR-технологиям. Т.к. то, как вы пытаетесь продвигать свой продукт сейчас — это фейспалм. Очевидно, что вы сделали крутой инструмент и примеры проблем, которые он вылавливает, вызывают порой восхищение. Ну так расскажите об этом так, чтобы вашим инструментом захотелось воспользоваться. Пока же получается так: штука вроде бы крутая, но ее толкают какие-то жлобы, общающиеся в стиле «платите или валите».

Не можете писать в таком духе — не пишите, наймите кого-нибудь. Или конкурс объявите. Вроде «у нас есть результат проверки PVS-Studio такого-то OpenSource-продукта, вот здесь набор фактов и интересных моментов, кто напишет по этому поводу самую интересную и легкочитаемую статью, получит бесплатную лицензию на PVS-Studio».

Я не против PVS-Studio, но данный пост ну уж слишком смахивает на рекламу из телемагазина

Я и многие грамотные программисты понимают, что это разные языки, но также и понимают почему их часто используют в паре. Не виду в записи C/C++ ничего неестественного.

и понимают почему их часто используют в паре

Поясните плебеям.

но данный пост ну уж слишком смахивает на рекламу из телемагазина

И что же это меняет? :-)

Я могу демонстрировать

Ммм, мемчики)))

это типа такой анальноогороженный и вендозаточенный коверити? Беру два, заверните!

Андрей, вы лучше расскажите что делать тем, кого вы взяли в тестеры линуксовой версией. Я до сих пор так и не понял, что мне делать с логами анализатора. Если правильный путь делать grep по логам, то это стоит отразить в readme.

Год-два назад я натравил виндовую триальную версию на один из своих проектов (мультиплатформенный движок и сама игра). Тогда анализатор ничего не нашел, что для меня было несколько удивительно.

После того, как я получил доступ к линуксовой бете, то я натравил анализатор на тестовый игровой проект с обновленной версией движка. В выхлопе были сообщения для /usr/include/* и ругань на мой дефайн assert (clang-анализатор тоже ругается на мой assert). Я сомневаюсь, что в моем тестовом проекте и движке нет ошибок.

Моя миссия рассказать программистам, что существует такая методология как «статический анализ кода»

Если бы это было так, вы бы тут писали о статическом анализе кода. Глядя же на ваши темы, очевидно, что ваша миссия — реклама вашего продукта и не более того.

Забаньте этого торгаша.

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

Что реклама какойто мутной проприетарщины делает в разделе development?

Инструмент напрямую относится к разработке.

Четыре ошибки в слове «clang»

Поясните.

Намек на то, что шлангового анализатора более чем достаточно.

Лучшая реклама - это бесплатная проверка проектов с гитахаба, как у Coverity.

Моя миссия рассказать программистам, что существует такая методология как «статический анализ кода».

Это наглая ложь. Твоя миссия - продать pvs studio. Если бы ты хотел о статическом анализе кода рассказывать то делал бы как NASA - рекомендовал бы использовать сразу кучу разных анализаторов, а не зацикливаться на своей поделке, и учил бы что не бывает анализатора, умеющего сразу всё и лучше всех.

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

Тогда надо начинать объяснение со сборки -Wall и -Werror сразу как минимум двумя открытыми компиляторами, а не с рекламы pvs studio.

Если бы это было так, вы бы тут писали о статическом анализе кода.

Бизнесу, имеющему отношение к разработке ПО, не интересны подробности этой предметной области :-)

Глядя же на ваши темы, очевидно, что ваша миссия — реклама вашего продукта и не более того.

Всякому бизнесу интересны инструменты для зарабатывания денег :-)

Кажется у тебя развилась лорчанка с тех пор, как ты обосновался здесь.

Ты ещё сам недавно в своём блоге во всю писал C/C++:

http://eao197.blogspot.ru/search?q=C/C++

Ctrl + F, C/C++.

Ну, вообще говоря, с точки зрения русского языка он прав. Тут нужно либо «на языках C и C++», либо, на худой конец, «на языке C/C++»

Это наглая ложь.

Это реальность :-)

Твоя миссия - продать pvs studio.

Это нормально :-)

Если бы ты хотел о статическом анализе кода рассказывать то делал бы как NASA

NASA далеко, их там очень много и у них такой бюджет, что тебе и не снилось :-)

- рекомендовал бы использовать сразу кучу разных анализаторов, а не зацикливаться на своей поделке

Это не нормально не уважать труд, тем паче труд коллег :-)

и учил бы что не бывает анализатора, умеющего сразу всё и лучше всех.

Докажи, что не бывает :-)

Собственно продолжаю это делать и, в обозримом будущем, буду продолжать это делать.

Поэтому для меня фраза «язык C и C++» безграмотна с точки зрения разработчика софта. Что ухудшает впечатление от статьи. Если заменить на «языки C и C++» или «языки C/C++» статья точно хуже не станет.

Ну и по мне «язык C и C++» в статье, это как что-то вроде:

int i = 0, j = 1, k = 2;
i = 0;

Поэтому для меня фраза «язык C и C++» безграмотна с точки зрения разработчика софта.

А фраза «ламповая сишка», которую ты применяешь раз от раза, для тебя грамотна с точки зрения разработчика софта? :-) Лол :-)

фраза «ламповая сишка», которую ты применяешь раз от раза

Правда чтоли? Ньюфаг такой ньюфаг.
Не ламповая, а няшная.

Проверка GCC была ответственным испытанием для бета-версии PVS-Studio for Linux.

Неужели вы всё таки решились создать продукт для Linux. После стольких-то лет отбрыкиваний. Внушает уважение.

хотя сам с ними не хочешь работать.

Можно поподробнее?

Продукт ориентирован на компании.

Я могу демонстрировать, что изучать предупреждения GCC это хорошо

Пишет «В соответствии с требованиями законодательства Российской Федерации доступ к запрашиваемому Интернет-ресурсу http://radikal.ru/big/c5bde637a6684f8e9f353a91842cee8a заблокирован.» Что ж ты там такое демонстрировал?

Ты ничего не потерял. Гарбадж-хьюмор на гарбадж-хостинге.

Что ж ты там такое демонстрировал?

https://twitter.com/Code_Analysis/status/771258883037732865

Вынул попкорн, поставил туда десяток яиц и врубил полную мощность.

P.S. Копирасты должны висеть на фонарях.

Зачем ты так со своей микроволновкой, чувак? Вонять же будет.

P.S. Копирасты должны висеть на фонарях.

Это же оффтопик здесь, какой из ТС копираст. Просто бизнес-от-технарей. По-моему, достойно толики уважения. Не всем же обкладываться тоннами менеджеров и маркетологов со старта. Придумал он такой путь выхода в плюс, не самый плохой. Да и явно не жируют.

Вот михалкова бы задушил собственными руками!