Компания СиПроВер, выпускающая PVS-Studio (http://www.viva64.com/ru/pvs-studio/), коммерческий статический анализатор для кода на языках C, C++ и C#, предоставила возможность (http://www.viva64.com/ru/b/0457/) бесплатного использования продукта разработчиками некоммерческих открытых проектов.Для получения возможности бесплатной проверки без покупки лицензионного ключа предлагается весьма необычный способ, который нацелен на отсеивание энтузиастов от коммерческих компаний и основан на том, что индивидуальный разработчик способен легко изменить код, а в компании из-за лишней бюрократии возникнут трудности с внесением изменений, не связанных с сутью разработки. Суть метода в том, что штатный полноценный анализатор (не пробная версия), который можно загрузить (http://www.viva64.com/ru/pvs-studio-download/) с сайта проекта, теперь может проверить проекты со специально помеченными исходными текстами. В начало файлов с расширениями .c, .cc, .cpp, .cp, .cxx, .c++ и .cs предлагается добавить комментарий:
// This is an open source non-commercial project. Dear PVS-Studio, please check it.
// PVS-Studio Static Code Analyzer for C, C++ and C#: http://www.viva64.com
что позволит выполнить их полноценный анализ без установки лицензионного ключа. Авторы PVS-Studio рассматривают наличие этих комментариев как благодарность за предоставленную лицензию и заодно как дополнительную рекламу их продукта, и считают, что это честный обмен. Кроме разработчиков СПО, похожая возможность предоставлена студентам в учебных целях и индивидуальным разработчикам, для которых немного отличается текст комментария. Для автоматизации добавления комментариев можно воспользоваться специальной утилитой (https://github.com/viva64/how-to-use-pvs-studio-free).Разработчикам проектов, которые не желают добавлять комментарий в исходный код, предоставлена возможность получения временного лицензионного ключа, действующего одну неделю. Для получения ключа нужно отправить запрос по адресу support@viva64.com. По этому же адресу можно получить консультацию по использованию PVS-Studio и задать любые интересующие вопросы.
URL: http://www.viva64.com/ru/b/0457/
Новость: http://www.opennet.me/opennews/art.shtml?num=45610
Хорошая новость =)
Ага я тут на коленке написал реализацию файловой системы на fuse которая добавляет в исходники комментарии сверху PVSFS =)
То есть кряк. :D
Исходник? Пробовал, но такое ощущение, что где-то inode перехватывается и открывается через него.
А в чем проблема добавить комент, проверить и убрать?
да ты крякер
"Ничто не помешает так делать. Раз Ваше рабочее время стоит так дешево, чтобы заниматься на работе фигнёй, то значит компания где Вы работаете не является нашим потенциальным клиентом." (тм)https://www.linux.org.ru/news/proprietary/13048262#comment-1...
Зачем время? автоматически добавлять и удалять строчки. максимум две минуты на всю дальнейшую автоматику.
">> А про скрипты слышали? Скрипт который сам будет добавлять и удалять комментарии из кода >> можно написать, даже будучи полным нубом, где-то за 15 минут.Пишите."
https://www.linux.org.ru/news/proprietary/13048262?cid=13049075">> А что мешает после проверки исправить найденные анализатором ошибки а комментарии удалить?
Ничто не мешает. Но в настоящей компании таким заниматься не будут. Плюс для них важно сопровождение продукта, а не возможность запускать какой-то модуль анализа."
https://www.linux.org.ru/news/proprietary/13048262?cid=13049464И другие комментарии про настоящих мужик^W компаний
> А в чем проблема добавить комент, проверить и убрать?Да примерно то же что и использование .crk файлов :)
"Честный обмен на заголовки в каждом файле" - это не бесплатно.На лоре история правок еще более фееричная https://www.linux.org.ru/news/proprietary/13048262/history. Сначала всем не желающим заниматься дичью с добавлением хедеров предлагалось "проходить мимо". Это при пафосном заголовке про опенсорсы и байках о "помощи". Потом для отмазки была придумана новая не менее дурацкая для опенсорсов концепция - "лицензия на неделю".
Любая работа должна быть оплачена, вы же на работу не за спасибо работать ходите? Вот и эти ребята хотят отсеять хитрецов, что будут использовать инструмент бесплатно в попрориетарщине.
> Любая работа должна быть оплачена, вы же на работу не за спасибо
> работать ходите? Вот и эти ребята хотят отсеять хитрецов, что будут
> использовать инструмент бесплатно в попрориетарщине.В том-то и дело, что они не проприетарщину, а опенсорс отсеивают. То есть в заголовке новости пишется одно, а на практике получается другое.
> "Честный обмен на заголовки в каждом файле" - это не бесплатно.И сколько же ты денег перечисляешь авторам PVS-studio в этом случае? Или ты забыл значение слова "бесплатно"?
> И сколько же ты денег перечисляешь авторам PVS-studio в этом случае? Или
> ты забыл значение слова "бесплатно"?Если взамен попросят постоять пару недель у метро, раздавая флаеры - это не "бесплатно". Превращать исходники в какашку, втыкая наверх рекламу - это тоже не "бесплатно".
А еще "бесплатно" иногда подразумевает "лохотрон" :)
А реклама GNU в исходниках - не кaкашка? И ведь вставляют заголовком, не парятся. А в случае сабжа почему-то дикий баттхерт начинается. Хотя перед разработчиком, пишущем эти исходники, стоит и в том, и в другом случае одинаковый выбор: использовать или не использовать GNU/PVS-Studio.
Разница в том, что сабж врет в рекламе по поводу "для бесплатного использования открытыми проектами". Причем врет именно в тех терминах, которые в опенсорсном сообществе давно сформировались и в которых мало кто любит вольные фантазии.Писали бы честно - вопросов бы не было. Просто посмеялись бы и разошлись :)
Врут или просто без злого умысла используют какие-то термины привычные опенсорсникам - вопрос десятый. На первом месте вопрос - откуда такой баттхерт, ведь выбор по сути выбор простой - использовать, согласившись с условиями авторов продукта, или не использовать и жить себе как и раньше.
Ну я вам объяснил откуда батхерт, а вы говорите что это вопрос десятый. Вот авторы тоже не понимают видимо. Как только начнут понимать - станет проще.
на сайте все честно написано "Как использовать PVS-Studio бесплатно", про "мы спасен опенсорс" ни слова . Не нравятся условия договора - не подписывайте.А желтые заголовки - это фирменный стиль опеннета, ничего нового
Нет, не врёт. Слово «бесплатный» означает именно отсутствие платы. Если вы считаете что комментарий — плата, то тогда и якобы свободные лицензии тоже платны.
Да-да, на ЛОРе есть отличный коммент на эту тему - https://www.linux.org.ru/news/proprietary/13048262/page1#com...
А здесь новость хорошо написана, в отличие от других ресурсов.
Не возникает того ощущения, что компания "сделала вроде бы хорошее дело, но так, что бы сообщество не оценило" (с).
Одобряю. Но, раз то в неделю можно можно за-sed-ить и раз-sed-ить.
Можно просто создать специальную ветку в git для проверок в PVS-Studio (причём эту ветку вовсе не обязательно отсылать со своего локалхоста на github), в которой добавить в каждый файл эти строки и запустить проверку, а разработку вести в прежней ветке без правки всех файлов этими дурацкими комментариями, когда надо будет проверить ещё раз то просто переключится на эту ветку и смержить в неё все изменения накопившиеся в основной ветке, и так сколько угодно раз.Но, получается что граждане из PVS-Studio по-сути понуждают нас к обману ...
У тех граждан вполне конкретная цель - выцепить через опенсорсные каналы коммерческих клиентов, и сделать максимально неудобные условия для всех остальных.
>У тех граждан вполне конкретная цель - выцепить через опенсорсные каналы коммерческих клиентовДа похоже так и есть.
>и сделать максимально неудобные условия для всех остальных.
Не думаю что они чисто из вредности это сделали скорее причина в этом:
https://www.opennet.me/openforum/vsluhforumID3/109809.html#17
Эти хаки хороши только "дома на коленке", а на устоявшемся опенсорсном проекте с ветками химичить никто не будет.Не ищите сложных ответов там где есть простые.
>Эти хаки хороши только "дома на коленке", а на устоявшемся опенсорсном проекте с ветками химичить никто не будет.Вообще-то имелся ввиду второй абзац по ссылке - про то что в коммерческих проектах не у всех есть доступ к полным исходникам, т.е. речь про то что заголовки в каждом файле - это защита от недобросовестных работников в коммерческих конторах, желающих бесплатно улучшить свой код. И да, это вовсе не обязательно делать через git ветки, самый дубовый способ - сделать копию исходников в другую директорию и там добавить заголовки с рекламой PVS-Studio.
>а на устоявшемся опенсорсном проекте с ветками химичить никто не будет.
Вообще-то git для того и создавался чтобы интенсивно работать с ветками и их слияниями.
Кроме того, например, аналогичный сервис проверки Coverity Scan рекомендует делать проверки время от времени, а не на каждый коммит, для чего предлагают создать специальную ветку в git. И, например, раз в неделю мержить туда все накопившиеся в основной ветке коммиты, объединив их все в один единственный коммит.
И не забываем про самый нормальный вариант для коммерческого проекта - приобретение лицензии и поддержки.
В упускаете из виду одну простую вещь - новости преподносятся как прорывы в опенсорсе, а на закономерный вопрос "почему всё раком", начинаются разговоры про проприетарный софт и дайтеденег. Никто ведь не мешал перечислить список лицензий для которых вставлять заголовки не надо.Не, чисто по-человечески я понимаю, что "не обманешь - не продашь", но методы которыми пиарится PVS-Studio как-то уже подзадостали.
> Не, чисто по-человечески я понимаю, что "не обманешь - не продашь", но методы которыми пиарится PVS-Studio как-то уже подзадостали.А вот это как-то нечестно так говорить. Ну кого-же мы обманываем? Мы честно продаём наш продукт за деньги. Честно его рекламируем, и никогда не скрываем, что наши статьи являются рекламными. Теперь ещё предлагаем честный обмен: комментарии - лицензия. Более, того, понимаем, что выпускаем джина из бутылки (некоторые будут использовать предоставленный механизм нечестно). Но мы готовы идти на это, так как мы действительно хотим помочь энтузиастам-разработчикам, и да хотим таким образом провести дополнительную рекламу. Но я не вижу причины говорить, что мы играем не по правилам или кого-то обманываем.
Заголовки ваших статей, будучи размешенными на лоре и опенете, вводят в заблуждение о сути предложения. Причем на хабре вы слова "опенсорс" в заголовок не добавляли. С моей точки зрения это целенаправленное вранье. Употреблять термин "опенсорс" вас ведь никто не заставлял.Еще раз - мне не жалко, что вы продаете дорогущий продукт, и я не считаю что он не стоит тех денег которые вы за него просите. Мне не нравится мухлевание на тему опенсорса.
> Заголовки ваших статей, будучи размешенными на лоре и опенете, вводят в заблуждение о сути предложения. Причем на хабре вы слова "опенсорс" в заголовок не добавляли. С моей точки зрения это целенаправленное вранье. Употреблять термин "опенсорс" вас ведь никто не заставлял.Логично предположить, что на linux.org.ru и opennet.ru в первую очередь аудитории будет интересно узнать, что появилась поддержка открытых проектов. Странно было бы делать заголовок, что мы предоставляем лицензию закрытым коммерческим проектам энтузиастов. Тогда было бы ещё больше негатива и люди не читая статью, говорили про открытые проекты. Вот и вся подоплека. А на linux.org.ru из этого сотни комментариев из пустого в порожнее название темы переливали. Лучше сделайте полезное - потратьте время на проверку какого-то открытого проекта. Вот мы, например, скоро новую статью о проверке Linux выложим. Берите с нас пример. :)
> Логично предположить, что на linux.org.ru и opennet.ru в первую очередь аудитории будет интересно узнать, что появилась поддержка открытых проектов.Ну я уже объяснял, что в контексте опенсорса условия вашей "поддержки" выглядят то ли издевательством то же желанием затруднить жизнь опенсорсникам для минимизации бесполезного балласта. Вы либо крестик снимите, либо что-то другое поменяйте. А то не сходится.
>Вы либо крестик снимите, либо что-то другое поменяйте.Уважающий себя человек мемами не пользуется, потому что испытывает чувство интеллектуальной брезгливости к тем персонажам чья работа заключается в их придумывании и распространении в интернете. Я и тут и на ЛОРе наблюдал, как вроде бы высокоинтеллектуальные люди тот тут, то там используют мемы, причём зачастую самые низкопробные, вроде упомянутого выше крестика-штанов, или свистелок-перделок. Уважайте себя и других, соблюдайте чистоту в речи.
tl;dr
>А на linux.org.ru из этого сотни комментариев из пустого в порожнее название темы переливали.Поржал) Вчера на лоре читаю как ты пишешь по поводу подачи новости:
>С маркетингом всё хорошо, вот какое хорошее активное обсуждение! Ни один правильный маркетолог такую дискуссию не создаст. Я всё правильно сделал. :)
И наконец:
> Вот мы, например, скоро новую статью о проверке Linux выложим. Берите с нас пример. :)упал под стол xD Маркетинг, агрессивный и беспощадный))
P.S. Вот не знаю чем вы мне неприятны. Можете сказать какое у вас соотношение покупателей: проприетарщики/открытый_код?))
>Никто ведь не мешал перечислить список лицензий для которых вставлять заголовки не надо.Очевидно, что если бы они пошли таким путём, то это был бы лишь реверанс в сторону opensource разработчиков, как вы понимаете денег это не принесёт, а вот головной боли добавит - такой путь потребует организации работы как у Coverity Scan (ведь надо будет в каждом случае удостоверится в открытости проекта), а следовательно и дополнительных расходов на организацию и поддержание этой работы.
>>Никто ведь не мешал перечислить список лицензий для которых вставлять заголовки не надо.
> Очевидно, что если бы они пошли таким путём, то это был бы
> лишь реверанс в сторону opensource разработчиков, как вы понимаете денег это
> не принесёт, а вот головной боли добавит - такой путь потребует
> организации работы как у Coverity Scan (ведь надо будет в каждом
> случае удостоверится в открытости проекта), а следовательно и дополнительных расходов
> на организацию и поддержание этой работы.Дык ноу проблем. Достаточно перестать химичить со словом "опенсорс", и сразу отпадут все претензии на эту тему.
> Дык ноу проблем. Достаточно перестать химичить со словом "опенсорс", и сразу отпадут
> все претензии на эту тему.Виталий, вы занимаетесь компостированием мозгов - ну да, люди хотят зарабатывать определённым образом деньгу, да, они таки помогают тестировать OSS проекты, например, Warsow (который я подправлял, чтобы восстановить его работу на OSX). Да, на этих проверках они получают определённую выгоду - известность и базу для тестирования своего продукта.
Ну да, методика работы PVS-овцев неудобная, что связано с достаточно малой востребованностью сканеров. Лучше бы, конечно, была бы модель GCC, но для этого требуется большая заинтересованность гигантов софта.
P.S.
Для Warsow'а лицензия была выдана Виктору в феврале 15-го года (кажется на год - моя задача была уже выполнена, поэтому я отошёл от проекта). Сканер точно помог исправить несколько ошибок.
Ваши слова были бы справедливы, если бы у них был единственный уникальный продукт.А пока мы имеем другое. У всех уже давно через трависы и т.п. прикручены инструменты проверки качества. Eсть coverity который неплохо вписывается в подобный подход. И тут приходят люди, которые навязчиво предлагают поделать все по старинке, пердячим паром, потому что они бабушку через дорогу перевели. Выглядит это совершенно дико.
> И тут приходят люди, которые навязчиво предлагают поделать
> все по старинке, пердячим паром, потому что они бабушку через дорогу
> перевели. Выглядит это совершенно дико.В смысле - получить бесплатную лицуху и компилировать с проверкой? Я не очень понимаю, как там у любителей VStudio изменились подходы к компиляции за прошедшие десятилетия. Вроде как было что-то+F5, так и осталось.
А проверка после git-commit всё-таки неудобна. Это я вам как сборщик пакетов ALT'а пишу - там реализована проверка после git-commit запуском gear-rpm. Ничего фатального, ведь есть rebase, но проверка до коммита была бы лучше.
Да, в github с файлом-лицензией не встраивается. Но, кстати, текущий вариант таки позволяет автоматизировать проверку в Travis'е.
> В смысле - получить бесплатную лицуху и компилировать с проверкой?В смысле что требование добавлять ссылку в каждый файл опенсорсного проекта - это уже не бесплатно, и архаично. А рассуждения что можно добавить и выпилить выглядят как героическое превозмогание трудностей, придуманных на ровном месте.
> но проверка до коммита была бы лучше.
Наверное это зависит от обстоятельств. Я брал один из типовых случаев, когда добрые люди внезапно присылают pull-реквесты на гитхабе. Там обязательно нужна принудительная проверка после коммита, чтобы не дергать разработчиков по мелочам.
Под «бесплатно» в наши дни обычно подразумевается «без денег». Так что не занимайтесь буквоедством. Если вы посещаете сайт, на котором размещена реклама, а вы его читаете бесплатно (не платите деньгами), по сути вы платите просмотрами рекламы, или же в случае блокировщиков рекламы вы занимаетесь некоторой формой «пиратства».
Не надо пожалуйста тащить сюда демагогию из проприетарного мира.В опенсорсах сообществах утверждения "free for opensource projects" имеют вполне конкретное значение, и предполагают отсутствие любой формы оплаты.
> В опенсорсах сообществах утверждения "free for opensource projects" имеют вполне конкретное значение, и предполагают отсутствие любой формы оплаты.GNU - free? Free. Так какого она столько ограничений налагает?
В данном случае английский язык вам ставит мину замедленного действия, поэтому нужно пользоваться однозначным в этом контексте русским. Там чётко написано "бесплатного использования".
Если пользоваться русским - тогда не понятно при чем тут вообще открытые проекты (как написано в заголовке), когда речь просто об абстрактном коде. Тогда связка "бесплатно" -> "лохотрон" становится весьма актуальной :)И еще мне кажется, что большинство разбирающихся в опенсорсах обычно исходят из английской трактовки для избежания неточностей. Просто потому что в русском важных нюансов пока просто нет.
> Если пользоваться русским - тогда не понятно при чем тут вообще открытые
> проекты (как написано в заголовке), когда речь просто об абстрактном коде.Открытые в том смысле, что OpenNet. С другой стороны, это, возможно, требование.
> Просто потому что в русском важных нюансов пока просто нет.
В русском нет необходимости разглагольствовать на различие "free beer" и "free software". Ну, в смысле, нет проблемы двух значений слова "free" - свободно и бесплатно.
Вот конкретно в этом месте у русского лучше. Естественно, есть места, где лучше у английского, есть - где лучше у испанского. В общем, как обычно.
> В смысле что требование добавлять ссылку в каждый файл опенсорсного проекта -
> это уже не бесплатно, и архаично. А рассуждения что можно добавить
> и выпилить выглядят как героическое превозмогание трудностей, придуманных на ровном месте.1. Ну это очередной подход к снаряду, что вы переживаете.
2. Аудитория у нас - люди, чётко и однозначно понимающие разницу между "бесплатно", "открыто" и "свободно" в контексте ПО. В данном случае это именно "бесплатно", т.е. shareware.
> Наверное это зависит от обстоятельств.
Именно. К сожалению, то, что в одних обстоятельствах хорошо, в других - конкретный геморрой.
> Я брал один из типовых случаев, когда добрые люди внезапно присылают pull-реквесты на гитхабе.
Этот случай происходит значительно реже, чем проверка при/после компиляции на своей машине. А основной случай они закрыли.
====================
Да, будь PVS полностью открытым проектом, все эти проблемы были бы решены. Более того, сообщения сканнера были бы переведены на сотни языков и т.д., и т.п.Но у PVS-ников проблема в малой кормовой базе - чтобы сделать OSSный, т.е. коммунистический проект, нужна поддержка со стороны крупного капитала, которой ещё мало. Это связано с тем, что в программистской культуре использование анализаторов только только входит в моду.
Более того, масса очень умного народу просто не понимает, почему нужен анализатор. Я вот, скажем, год-другой назад беседовал с очень крутым хаскеллистом, он не воспринял отличие анализатора от компилятора (у анализатора ЕСТЬ право на ложное срабатывание, а у компилятора его НЕТ).
В конечном итоге, хотят PVSовцы или нет, но лидирующий C++ анализатор будет OSSным. Но это произойдёт очень нескоро, если вообще произойдёт.
> Но, получается что граждане из PVS-Studio по-сути понуждают нас к обману ...На да, конечно торговец булочками виноват, что продаёт их за деньги, а так ведь хочется утащить на халяву и слопать. Получается, что торговец булочками поддакивает к обману... :)
А вот конкретно этот продавец - трусы в горошек со всех требует. Иначе, дескать, фигу вам а не булочки.А потом такие булочники искренне удивляются когда на соседней улице открывается булочная где труселя предъявлять не надо и все начинают ломиться именно туда. С упоением размахивая факом в сторону придиры. Или к вопросу за что проприетарщиков не любят в опенсорсе...
За бесплатные булочки от шеф-повара я готов носить трусы в горошек. За деньги никто не заставляет носить трусы в горошек. Слабый у вас вброс.
Думаю человек намекал на то что есть ещё один продавец аналогичного товара - Coverity Scan, который в отличии от PVS-Studio не требует чтобы покупатели носили трусы в горошек.Предвижу ответ, что мол в отличии от Coverity Scan, PVS-Studio позволяет проверить и не opensource проект. Это конечно хорошо для какого-нибудь одиночного разработчика коммерческих инди-игр или чего-нибудь подобного. Но вот только дело в том, что носить трусы в горошек предлагают не только таким коммерческим разработчикам, но и разработчикам opensource, что крайне неприятно для них.
Проприетарный менеджмент чувствуется по-запаху за километр!
> На да, конечно торговец булочками виноват, что продаёт их за деньги, а
> так ведь хочется утащить на халяву и слопать. Получается, что торговец
> булочками поддакивает к обману... :)Андрей, ну, откровенно, модель shareware значительно менее удобна в мире Linux, чем модель free software. С другой стороны, ваша ситуация понятна, и, с моей точки зрения, вы, в целом, действуете понятно и, видимо, правильно.
Пока у вас нет множества серьёзных зацепок у мастодонтов, перевод анализатора в OSS/FSS его убьёт. С другой стороны, лет через 10, возможно, это будет правильным решением, чтобы занять нишу "анализатор для C++ == PVS", ну как "компилятор C++ == gcc".
> Но, получается что граждане из PVS-Studio по-сути понуждают нас к обману ...Что-что, простите? Представители компании стоят с пистолетом у виска? То, что вы говорите - менталитет российского пользователя, которому и Майкрософт принуждает к воровству винды, при наличии свободных альтернатив.
Короче говоря, перешли на Linux, ходят с напыщенным видом перед виндyзятниками, а... менталитет воровать никуда не делся. Мда.
Нет! Инструменты разработки должны быть свободными. Убеждался в этом неоднократно на практике, когда зависимость от проприетарного решения превращается в боль, а вендору этого решения на тебя плевать. И тут одно из двух: либо жрать кактус дальше, либо мигрировать на другое решение (а это долго и дорого).
>Инструменты разработки должны быть свободными.Согласен, но PVS-Studio - это вспомогательный инструмент для отлова ошибок и повышения тем самым качества кода, он не является необходимым, так что зависимости тут нет.
Глупость написали. Что-бы не было беды компании приобретают лицензии и поддержку. А вот когда тебе никто ничего не должен и начинаются самые необычные проблемы.
It depends.Когда никто ничего не должен, но код открыт - можно решить проблему своими силами.
Техподдержка того же Red Hat, например, почти бесполезна, так как покрывает только те случаи, с которыми справится любой вменяемый администратор.
Техподдержка того же Sun-а (тогда еще Mysql был у Sun-а) была такова, что проблему оказалось проще решить, заплатив стороннему специалисту за патч. В апстрим этот патч пропихивали года полтора потом.
Почему вы решили, что вам кто-то чего-то должен?Их право - применять любую не противоречащую закону лицензию, ваше право - не использовать продукт.
И откомментировать, что это идиотское решение "с душком" - тоже наше право.
Ну, честно говоря, не особо понимаю, зачем оно надо при наличии Coverity Scan.
Если бы в коментариях не так пафосно было, был бы нейтрален
www. уберите на дворе 21 век.
http для DPI роскосмоса?
Честно говоря я вообще не понял этого мегахода. Во-первых вставить заголовок и убрать его - дело пары минут...
Во вторых можно же рядом в соседней папочке просто положить копию исходников с нужными заголовками...
Имхо товарищи себя либо перемудрили, либо ход имеет какие-то иные цели чем озвученные...
>Во-первых вставить заголовок и убрать его - дело пары минут...
>Во вторых можно же рядом в соседней папочке просто положить копию исходников с нужными заголовками...Да, а ещё это можно сделать в специальной git ветке для проверок и мержить туда каждый раз перед проверкой накопившиеся правки из основной ветки.
Но чтобы такое сделать нужно иметь доступ к правке всех исходников целиком, для opensource проектов это само-собой всегда возможно, а вот для коммерческих уже не всегда, видимо в этом причина.
> Но чтобы такое сделать нужно иметь доступ к правке всех исходников целиком,Зачем?
Вот заладили, "ветка"-"ветка". Не нужно никаких веток. Добавляем скриптом комментарии, проверяем, делаем "git checkout ." - done.
> Честно говоря я вообще не понял этого мегахода. Во-первых вставить заголовок и убрать его - дело пары минут...Так-то наверное можно и кряк скачать бесплатно без смс. Ребята дали дополнительную возможность легальную возможность, можно пользоваться, а можно и нет.
>> Честно говоря я вообще не понял этого мегахода. Во-первых вставить заголовок и убрать его - дело пары минут...
> Так-то наверное можно и кряк скачать бесплатно без смс. Ребята дали дополнительную
> возможность легальную возможность, можно пользоваться, а можно и нет.Вот есть такая компания- Оракл...
Так вот вы можете скачать их продукты Ентерпрайз уровня с целью изучения совершенно бесплатно и легально использовать их не в продакшене - без каких либо нелепых добавлений в ваши данные. А некоторые вещи- можно легально и в продакшене...А базы данных оракл,их сервера приложений - продукт несколько посложнее этой вот ПВС-студиа...
> This is an open source non-commercial project.Ну то-есть мне предлагают соврать. Я даже на Linux деньги делаю. Получается что даже Linux прочекать уже как бы незаконно.
Не понял, что тебя конкретно не устраивает? И в чём суть "вранья"? Если пишешь проприетарный софт, либо бери ключ на неделю, либо плати за анализатор.> Получается что даже Linux прочекать уже как бы незаконно.
Ты имеешь ввиду ядро? Дык они чекали, вроде на хабре статья была.
Алсо, за GPL программы можно брать деньги, если ты не знал. Можешь распространять бинарники за бабки и отдавать исходный код на растерзание всем остальным.
Напишите нам и запросите ключ на неделю. Этого более чем достаточно, чтобы провести проверку и оценить возможности анализатора.
> Напишите нам и запросите ключ на неделю. Этого более чем достаточно, чтобы
> провести проверку и оценить возможности анализатора.А зачем бы мне все это? Coverity бесплатно проверит.
Мы предоставляем во многом более лояльный вариант использования.Не всякий открытый проект лежит на GitHub. С помощью PVS-Studio можно проверять проект выложенный где угодно.
Студенты могут использовать анализатор в своих проектах. И им не надо для этого нести свой курсовой проект на GutHub.
Ну а про закрытые индивидуальные проекты и так понятно. Мы даем такую возможность, Coverity - нет.
>Не всякий открытый проект лежит на GitHub. С помощью PVS-Studio можно проверять проект выложенный где угодно.А разве Coverity Scan требует чтобы исходники были именно на github, насколько помню там просто требуется чтобы проект был с открытыми исходниками, на любом хостинге.
>Мы предоставляем во многом более лояльный вариант использования.
Проблема в том что "более лояльный вариант использования" относится к индивидуальным разработчикам закрытого софта, а для opensource разработчиков, PVS-Studio как-раз наоборот - менее лояльный чем Coverity Scan.
Coverity уже не так хорош.
> Не всякий открытый проект лежит на GitHub.https://scan.coverity.com/projects/ja2-stracciatella
Не всякий, да.
Тогда уж нужно было проверять через интернет, текст с этими комментариями должен располагаться в общедоступной доступной через TOR системе контроля версий, причём главный адрес этого репозитория должен гуглиться по названию проекта.Так гарантируется общедоступность проверяемых исходников.
Никто не требует открытости кода. Анализатор может использоваться в индивидуальном закрытом проекте.
Цирк.
Нормальное решение, кстати. Бесплатно в обмен на рекламу. Зато опенсорсным проектам небольшая помощь.Transifex так же смотрит на opensource: даёт бесплатно размещать проекты. В итоге куча продуктов обзавелась нормальной локализацией.
Наверняка какая-то спайварь в этой проприетарщине
*.deb пакеты от рута, так что вполне могут подгружать модулем ядра майора!
> Наверняка какая-то спайварь в этой проприетарщинеТочно также можно высказаться про драйвера nvidia и драйвера для wi-fi карт.
Не бойтесь. Один из клиентов - компания Касперский. :)
> Не бойтесь. Один из клиентов - компания Касперский. :)Этот как раз известный товарищмайор :P
К тому же отчисляющий вирусописателям.
PVS Torrent Edition наше все!
По мотивам появления бесплатного варианта PVS-Studio на Habrahabr энтузиастами были подготовлены и выложены две статьи. (Большое Вам спасибо, если читаете здесь про это :).Возможно некоторым разработчикам они будут полезны:
1. Встраиваем PVS-Studio в Eclipse CDT (Linux)
https://habrahabr.ru/post/316670/2. Встраиваем PVS-Studio в Anjuta DevStudio (Linux)
https://habrahabr.ru/post/316720/
По типу Coverity можете сделать на открытом CI с привязкой к oAuth
Забавно как тут много ботов, плюсующих за позитивные комменты о Пивас-Студио, и минусующие действительно честные. Задолбало уже это паразитирование на опенсорсе с целью пиара. Как и укуренные условия лицензирования.
Забавно как много существует людей, ищущих оправдание в заговоре, вместо того чтобы признавать, что написали глупости и получили минусы. Я тут один сижу и могу максимум один минус поставить (хотя мне это не интересно). Остальные сотрудники спокойно отдыхают по домам и не подозревают об этом обсуждении.
Ладно вы бы просто паразитировали на открытом ПО. Но добавление коммента в шапку каждого файла........это же как надо опуститься, чтобы додуматься до такого? Этот ваш Пивас может и будет годен в проприетарщине, а нормальные свободные проекты юзают Coverity.
Вот это эго!
Ребята, гемор вы предлагаете страшный и ненужный. Проще - per developer basis. Т.е. главный разраб проекта вам пишет - вы ему посылаете ключ.У меня к вам просьба - проверьте проекты ImageMagick/ffmpeg. Они используется тучей компаний, и в них море дыр.
Было бы ещё круче, если бы вы создали некий раздел на вашем сайте, который в real time отслеживал open source проекты по git URL и вываливал все ошибки в human readable виде.
// b.
> Было бы ещё круче, если бы вы создали некий раздел на вашем сайте, который в real time отслеживал open source проекты по git URL и вываливал все ошибки в human readable виде.Куда приходить за грантом?
> Куда приходить за грантом?В этом, собственно, основная проблема. В идеале, ваш инструмент был бы OSS, а вы бы жили с грантов. Но для этого у вас, видимо, слишком мало пользователей.
Тут Виталий, кстати, классную идею предложил - интеграция с GitHubо подобными системами. Ряд серьёзных контор использует внутри GitHub, и такая проверка после каждого коммита (естественно, без показа тех предупреждений, которые были до него) была бы, кмк, денежна.
>проверьте проекты ImageMagick/ffmpeg. Они используется тучей компаний, и в них море дыр.Вот если интересно ссылки для них на Coverity Scan:
https://scan.coverity.com/projects/imagemagick
https://scan.coverity.com/projects/ffmpeg
>Было бы ещё круче, если бы вы создали некий раздел на вашем сайте, который в real time отслеживал open source проекты по git URL и вываливал все ошибки в human readable виде.
Это очевидно потребует не малых расходов на поддержание, поэтому вероятность такого событиz наверное близка к нулю. Кроме того, как видно из ссылок выше, доступа непосредственно к ошибкам нет, есть только графики с их распределением.
Опенсорс только в выигрыше от данной проприетарщины. Хвала комерсам за это. Ну и что, что приходится немного честно повозиться. Где те нытики, которые качают халяву с рекламой на пол-экрана лопаты и все-равно в него втыкают? За все надо платить или отрабатывать.
> Опенсорс только в выигрыше от данной проприетарщины. Хвала комерсам за это. Ну
> и что, что приходится немного честно повозиться. Где те нытики, которые
> качают халяву с рекламой на пол-экрана лопаты и все-равно в него
> втыкают? За все надо платить или отрабатывать.Да всё хорошо. Кроме геморроя с лицензированием.
А кто-нибудь видел вообще текст их лицензии по которой програмульку можно дизасемблить, к примеру? Или дизапилить на основе комментарной версии сервис, типа Coverity? Текста нету - можно все.
> Да всё хорошо. Кроме геморроя с лицензированием.Будто GNU сам по себе - не геморрой. Даже если пишешь простой опенсорс без заморочек, приходится кучу условий соблюдать, чтобы быть выгодным авторам конкретно этой лицензии.
> Для автоматизации добавления комментариев можно воспользоваться специальной утилитой.Что мешает разработчикам CI/coverage систем (coverity etc.) воспользоваться данной утилитой для автоматического добавления комментариев перед проверкой склонированных исходников? Таким образом, получают проверку пвс-студией любых проектов в рамках их систем (сайтов).
Видимо, в деле статических анализаторов назревает сценарий BitKeeper/git.
Возникло очень много рассуждений на тему того, допустимо ли добавлять и удалять комментарии в исходный код, чтобы бесплатно использовать анализатор. Мы считаем такой приём неприемлемым, так как он по факту является способом обхода ограничения, наложенного нами на бесплатную лицензию. Поэтому мы решили добавить следующий раздел в лицензионное соглашение:Вы имеете право использовать PVS-Studio бесплатно, добавив в исходный код своего проекта комментарии специального вида. Какие именно комментарии следует добавлять и как автоматизировать этот процесс описано в статье "Как использовать PVS-Studio бесплатно".
Отметим, что данный режим не предназначен для оценки возможностей анализатора. Чтобы познакомиться с анализатором, вы должны использовать демонстрационную версию или запросить у нас временный лицензионный ключ.
Вам следует вставлять комментарии, когда вы уже решили, что будете использовать анализатор на регулярной основе. Вы можете удалить затем эти комментарии, но можете сделать это только один раз.
Не допускается многократное добавление комментариев в исходный код с последующим их удалением. Также не допускается многократное добавление комментариев с последующим откатом содержимого исходных файлов с помощью системы контроля версий. Такие действия направлены на обход условия, что исходный код должен содержать комментарии и являются нарушением данного соглашения об использовании анализатора.
> Вы можете удалить затем эти комментарии, но можете сделать это только один раз.Мой комп - моя забота, чего хочу, то и добавляю, чего хочу, то и запускаю.
Не нравиться? Давай, дасвиданья, есть Coverity.> и являются нарушением данного соглашения об использовании анализатора.
Гы, напугал.
>Не допускается многократное добавление комментариев в исходный код с последующим их удалением. Также не допускается многократное добавление комментариев с последующим откатом содержимого исходных файлов с помощью системы контроля версий.Как-то это всё звучит не серьёзно.
>Не допускается многократное добавление комментариев в исходный код с последующим их удалением.Так ведь можно скопировать исходники в другой каталог и добавить комментарии, без их последующего удаления.
>Также не допускается многократное добавление комментариев с последующим откатом содержимого исходных файлов с помощью системы контроля версий.
Тоже как-то странно звучит - добавление ведь однократное, в отдельной ветке скажем под именем PVS-Studio-check, потом возвращаемся на ветку master и продолжаем работу. Когда через какое-то время понадобится снова проверить, то возвращаемся обратно в ветку PVS-Studio-check мержим туда все накопившиеся коммиты из ветки master и запускаем проверку, никакого удаления комментариев нет.
Знаете сначала мне показалось что пользователь https://www.opennet.me/~_Vitaly_ как-то предвзято негативно относится к PVS-Studio, но после того как вы отмочили такое, уже прям и не кажется что он как-то чрезмерно сгустил краски в своих оценках ваших методов.
> Тоже как-то странно звучит - добавление ведь однократное, в отдельной ветке скажем под именем PVS-Studio-check, потом возвращаемся на ветку master и продолжаем работу...Делайте. Мы всё равно не можем воспрепятствовать, да и смысла нет. Раз сразу начинаются поиски обходного манёвра, значит Вы не являетесь потенциальным клиентов. Да, мы считаем подобные приемы недобросовестными. Но раз очень хочется обмануть, все равно найдёте путь. Физически влиять я не могу, вот поэтому как король из Маленького принца и говорю - делайте.
> Знаете сначала мне показалось что пользователь https://www.opennet.me/~_Vitaly_ как-то предвзято негативно относится к PVS-Studio, но после того как вы отмочили такое, уже прям и не кажется что он как-то чрезмерно сгустил краски в своих оценках ваших методов.
Мы сказали, что не одобряем явный обход наших условий? Вот ведь негодяи...
Ей богу, мне стыдно за таких разработчиков. Мы ведь идём на встречу. На столько, на сколько пока можем. Польза от такой рекламы весьма эфимерна, а вот сил мы на всё это тратим и рискуем. Ну затролите нас, что дальше? Если очень постараетесь - закроем это начинание и вернемся к тому, как было. Этот и есть способ (затролить хорошие начинания) несения пользы open source и т.д.?
>Делайте.Мне это не надо, я просто не стану пользоваться вашим анализатором.
>Раз сразу начинаются поиски обходного манёвра, значит Вы не являетесь потенциальным клиентов.
Раз вам важны только потенциальные клиенты то так бы и говорили, а не притворялись благодетелями для СПО.
> Ей богу, мне стыдно за таких разработчиков. Мы ведь идём на встречу.
> На столько, на сколько пока можем. Польза от такой рекламы весьма
> эфимерна, а вот сил мы на всё это тратим и рискуем.
> Ну затролите нас, что дальше? Если очень постараетесь - закроем это
> начинание и вернемся к тому, как было. Этот и есть способ
> (затролить хорошие начинания) несения пользы open source и т.д.?Раздача софта в духе "прийдите в магазин нагишом и мы выдадим вам айфон" - наверное найдет своих любителей. Приходят же на такие мероприятия люди и получают айфоны...
Но...как я уже писал на примере Оракл - ваше предложение слишком креативно...
> Для автоматизации добавления комментариев можно воспользоваться специальной утилитой$ git clone https://github.com/viva64/how-to-use-pvs-studio-free.git
$ cd how-to-use-pvs-studio-free/
$ cmake .
-- The C compiler identification is GNU 4.9.2
-- The CXX compiler identification is GNU 4.9.2
-- Check for working C compiler: /usr/bin/cc
-- Check for working C compiler: /usr/bin/cc -- works
-- Detecting C compiler ABI info
-- Detecting C compiler ABI info - done
-- Check for working CXX compiler: /usr/bin/c++
-- Check for working CXX compiler: /usr/bin/c++ -- works
-- Detecting CXX compiler ABI info
-- Detecting CXX compiler ABI info - done
-- Configuring done
-- Generating done
-- Build files have been written to: /tmp/how-to-use-pvs-studio-free# make
Scanning dependencies of target how-to-use-pvs-studio-free
[ 33%] [ 66%] [100%] Building CXX object CMakeFiles/how-to-use-pvs-studio-free.dir/main.cpp.o
Building CXX object CMakeFiles/how-to-use-pvs-studio-free.dir/encoding.cpp.o
Building CXX object CMakeFiles/how-to-use-pvs-studio-free.dir/comments.cpp.o
/tmp/how-to-use-pvs-studio-free/comments.cpp:44:5: ошибка: identifier «nullptr» is a keyword in C++11 [-Werror=c++0x-compat]
while (buf != nullptr && *buf != '\0')
^
/tmp/how-to-use-pvs-studio-free/comments.cpp:138:3: ошибка: identifier «constexpr» is a keyword in C++11 [-Werror=c++0x-compat]
static constexpr size_t MaxSkippedLines = 10;
^
/tmp/how-to-use-pvs-studio-free/main.cpp:18:35: фатальная ошибка: experimental/filesystem: Нет такого файла или каталога
#include <experimental/filesystem>
^
компиляция прервана.
In file included from /tmp/how-to-use-pvs-studio-free/encoding.cpp:4:0:
/tmp/how-to-use-pvs-studio-free/encoding.h:9:1: ошибка: scoped enums only available with -std=c++11 or -std=gnu++11 [-Werror]
enum class Encoding
^
/tmp/how-to-use-pvs-studio-free/encoding.cpp: В функции-члене «void Utf16Iterator::operator++()»:
/tmp/how-to-use-pvs-studio-free/encoding.cpp:56:25: ошибка: «Encoding» is not a class or namespace
if (m_encoding == Encoding::UTF16LE)
^
/tmp/how-to-use-pvs-studio-free/encoding.cpp: В функции «Encoding DetermineEncoding(const char*, size_t, size_t&)»:
/tmp/how-to-use-pvs-studio-free/encoding.cpp:101:6: ошибка: «Encoding» is not a class or namespace
{Encoding::UTF8, {0xEF, 0xBB, 0xBF}, 3},
^
/tmp/how-to-use-pvs-studio-free/encoding.cpp:102:6: ошибка: «Encoding» is not a class or namespace
{Encoding::UTF16BE, {0xFE, 0xFF}, 2},
^
/tmp/how-to-use-pvs-studio-free/encoding.cpp:103:6: ошибка: «Encoding» is not a class or namespace
{Encoding::UTF16LE, {0xFF, 0xFE}, 2},
^
/tmp/how-to-use-pvs-studio-free/encoding.cpp:106:23: ошибка: «Encoding» is not a class or namespace
Encoding encoding = Encoding::UTF8;
^
/tmp/how-to-use-pvs-studio-free/encoding.cpp:109:25: ошибка: range-based «for» loops are not allowed in C++98 mode
for (const BOM &bom : boms)
^
/tmp/how-to-use-pvs-studio-free/encoding.cpp: В функции «void ConvertEncoding(std::string&, Encoding&, size_t&)»:
/tmp/how-to-use-pvs-studio-free/encoding.cpp:138:8: ошибка: «Encoding» is not a class or namespace
case Encoding::ASCII:
^
/tmp/how-to-use-pvs-studio-free/encoding.cpp:139:8: ошибка: «Encoding» is not a class or namespace
case Encoding::UTF8:
^
/tmp/how-to-use-pvs-studio-free/encoding.cpp:146:8: ошибка: «Encoding» is not a class or namespace
case Encoding::UTF16BE:
^
/tmp/how-to-use-pvs-studio-free/encoding.cpp:147:8: ошибка: «Encoding» is not a class or namespace
case Encoding::UTF16LE:
^
/tmp/how-to-use-pvs-studio-free/encoding.cpp:155:11: ошибка: «move» не является элементом «std»
str = std::move(newStr);---
diff --git a/CMakeLists.txt b/CMakeLists.txt
index 25956a4..f31464f 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -23,7 +23,7 @@ else ()
set(CMAKE_SHARED_LIBRARY_LINK_CXX_FLAGS "")
endif ()
- set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -Wall -Wextra -Werror -Wold-style-cast")
+ set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -Wall -Wextra -Werror -Wold-style-cast -std=gnu++11")
link_libraries(stdc++fs)
endif ()
/tmp/how-to-use-pvs-studio-free/main.cpp:18:35: фатальная ошибка: experimental/filesystem: Нет такого файла или каталога
#include <experimental/filesystem>
^Мож ещё всем GCC 6.0 поставить?
Используйте готовый модуль из Release: https://github.com/viva64/how-to-use-pvs-studio-free/releases
> Мож ещё всем GCC 6.0 поставить?Будет достаточно GCC 5.4 (о чём сказано в требованиях).
Ну вас нафиг, вендузятники.
#
for i in `find ./ -type f -name '*.c' -o -name '*.cc' -o -name '*.cpp' -o -name '*.cp' -o -name '*.cxx' -o -name '*.c++' -o -name '*.cs'`
do
sed -i '1s/^/\/\/ PVS-Studio Static Code Analyzer for C\, C\+\+ and C\#\: http\:\/\/www\.viva64\.com \n/' $i;
sed -i '1s/^/\/\/ This is an open source non-commercial project. Dear PVS-Studio, please check it.\n/' $i;
done
Работат, можно юзать! © Pavlinux. Inc.
diff --git a/comments.cpp b/comments.cpp
index 26d5d9b..21e8e64 100644
--- a/comments.cpp
+++ b/comments.cpp
@@ -1,3 +1,5 @@
+// This is an open source non-commercial project. Dear PVS-Studio, please check it.
+// PVS-Studio Static Code Analyzer for C, C++ and C#: http://www.viva64.com
// 2006-2008 (c) Viva64.com Team
// 2008-2016 (c) OOO "Program Verification Systems"
diff --git a/encoding.cpp b/encoding.cpp
index 245a22d..83fc7eb 100644
--- a/encoding.cpp
+++ b/encoding.cpp
@@ -1,3 +1,5 @@
+// This is an open source non-commercial project. Dear PVS-Studio, please check it.
+// PVS-Studio Static Code Analyzer for C, C++ and C#: http://www.viva64.com
// 2006-2008 (c) Viva64.com Team
// 2008-2016 (c) OOO "Program Verification Systems"
diff --git a/main.cpp b/main.cpp
index ce0dea0..26ad071 100644
--- a/main.cpp
+++ b/main.cpp
@@ -1,3 +1,5 @@
+// This is an open source non-commercial project. Dear PVS-Studio, please check it.
+// PVS-Studio Static Code Analyzer for C, C++ and C#: http://www.viva64.com
// 2006-2008 (c) Viva64.com Team
// 2008-2016 (c) OOO "Program Verification Systems"
$ pvs-studio --cfg pvs.cfg --source-file test.cpp --language C++ --cl-params -std=gnu++11 test.cpp
Cannot open file test.i
Could not process file test.i
И где он должен появиться, этот .i ?
Прошу написать нам о проблеме на support [@] viva64.com и дополнительно прикрепить pvs.cfg. Без этого файла ничего сказать невозможно.
Да я что-то make совсем забыл
.SUFFIXES: .i .o .cpp .c# ни такая
%.i: %.cpp
$(CXX) $(CXXFLAGS) -E $< -o $@
%.i: %.c
$(CC) $(CFLAGS) -E $< -o $@# ни такая
(%.i): %.cpp
$(CXX) $(CXXFLAGS) -E $< -o $*.i
(%.i): %.c
$(CC) $(CFLAGS) -E $< -o $*.i# конструкции не работают.
Предлагаю посмотреть хороший пример интеграции в Make из документации: http://www.viva64.com/en/m/0036/#ID0EVIBG Недеемся, это поможет.
590 warn V560 A part of conditional expression is always true: __s2_len > 0.
590 warn V560 A part of conditional expression is always true: __s2_len > 1.
590 warn V560 A part of conditional expression is always true: __s2_len > 2.
595 warn V560 A part of conditional expression is always true: __s2_len > 0.
595 warn V560 A part of conditional expression is always true: __s2_len > 1.
595 warn V560 A part of conditional expression is always true: __s2_len > 2.
if (__builtin_expect((!(__extension__ (__builtin_constant_p (len) && ((__builtin_constant_p ((char *) prev) && strlen ((char *) prev) < ((size_t) (len))) || (__builtin_constant_p (code) && strlen (code) < ((size_t) (len)))) ? __extension__ ({ size_t __s1_len, __s2_len; (__builtin_constant_p ((char *) prev) && __builtin_constant_p (code) && (__s1_len = __builtin_strlen ((char *) prev), __s2_len = __builtin_strlen (code), (!((size_t)(const void *)(((char *) prev) + 1) - (size_t)(const void *)((char *) prev) == 1) || __s1_len >= 4) && (!((size_t)(const void *)((code) + 1) - (size_t)(const void *)(code) == 1) || __s2_len >= 4)) ? __builtin_strcmp ((char *) prev, code) : (__builtin_constant_p ((char *) prev) && ((size_t)(const void *)(((char *) prev) + 1) - (size_t)(const void *)((char *) prev) == 1) && (__s1_len = __builtin_strlen ((char *) prev), __s1_len < 4) ? (__builtin_constant_p (code) && ((size_t)(const void *)((code) + 1) - (size_t)(const void *)(code) == 1) ? __builtin_strcmp ((char *) prev, code) : (__extension__ ({ const unsigned char *__s2 = (const unsigned char *) (const char *) (code); int __result = (((const unsigned char *) (const char *) ((char *) prev))[0] - __s2[0]); if (__s1_len > 0 && __result == 0) { __result = (((const unsigned char *) (const char *) ((char *) prev))[1] - __s2[1]); if (__s1_len > 1 && __result == 0) { __result = (((const unsigned char *) (const char *) ((char *) prev))[2] - __s2[2]); if (__s1_len > 2 && __result == 0) __result = (((const unsigned char *) (const char *) ((char *) prev))[3] - __s2[3]); } } __result; }))) : (__builtin_constant_p (code) && ((size_t)(const void *)((code) + 1) - (size_t)(const void *)(code) == 1) && (__s2_len = __builtin_strlen (code), __s2_len < 4) ? (__builtin_constant_p ((char *) prev) && ((size_t)(const void *)(((char *) prev) + 1) - (size_t)(const void *)((char *) prev) == 1) ? __builtin_strcmp ((char *) prev, code) : (- (__extension__ ({ const unsigned char *__s2 = (const unsigned char *) (const char *) ((char *) prev); int __result = (((const unsigned char *) (const char *) (code))[0] - __s2[0]); if (__s2_len > 0 && __result == 0) { __result = (((const unsigned char *) (const char *) (code))[1] - __s2[1]); if (__s2_len > 1 && __result == 0) { __result = (((const unsigned char *) (const char *) (code))[2] - __s2[2]); if (__s2_len > 2 && __result == 0) __result = (((const unsigned char *) (const char *) (code))[3] - __s2[3]); } } __result; })))) : __builtin_strcmp ((char *) prev, code)))); }) : strncmp ((char *) prev, code, len))) && ((end - start) < 4)),0))Доктор, я буду жить? :)
Вот именно поэтому адаптировать анализатор под новую платформу не так просто. Сложность не в портировании кода анализатора, а в адекватной поддержка вот таких конструкций. В данном случае мы наблюдаем, что оптимизирующий компилятор раскрывает какую-нибудь функцию типа strcmp() в подобную кашу.Вообще, анализатор должен был убрать ключ оптимизации и получить более вменяемый i-файл. Но видимо, что-то пошло не так. Сложно сказать, так как я не вижу картину происходящего в целом. Прошу написать нам на почту и мы вместе поможем настроить запуск анализатора правильно.
P.S. Вот именно по этому и нужна поддержка. Все случаи не предусмотреть и анализатор надо до настроить. Это нормально, так как это сложный инструмент, который может делать больно.
> P.S. Вот именно по этому и нужна поддержка. Все случаи не предусмотреть
> и анализатор надо до настроить. Это нормально, так как это сложный
> инструмент, который может делать больно.Инструмент, который надо донастраивать сходу - называется "полуфабрикат" либо "недоделка".
Инструмент который фактически НЕ РАБОТАЕТ без поддержки - называется "ведро гаек" а не автомобиль...
Отличный анализатор. Нашел ошибки, которые не удавалось найти самому.
Тестировал тестовый ключ. Нашел ложные сработки, в этом редизе их пофиксили, а бесплатное использование для индивидуальных разхработчиков - лично для меня это песня.
Добавить комментарий не тяжело.
>Добавить комментарий не тяжело.И удалить тоже ;)
Проприетарщина, она везде проприетарщина. Даже с наилучшими намерениями.
В том смысле, что подсев на неё, вы уже не слезете. Завтра ребята передумают/продадутся ораклу/изменится менеджмент, а вы уже на них "заехали".
По мотивам следующих комментариев:https://www.opennet.me/openforum/vsluhforumID3/109809.html#96
https://www.opennet.me/openforum/vsluhforumID3/109809.html#113
предвижу, что кроме дополнений в лицензионное соглашение сделанных в комментарии:
https://www.opennet.me/openforum/vsluhforumID3/109809.html#106
появятся ещё такие:
Запрещается написание реализаций файловой системы на fuse, которые добавляют в исходники комментарии сверху PVSFS
Запрещается копирование исходников в другой каталог и добавление комментариев там, а не в основном каталоге.
Запрещается создание специальной ветки в git для проверок в PVS-Studio.
Хорошая новость для мелких проектов!!!
Охренеть, вы еще и спамите всем проектам на GitHub??! с ума там что ли посходили?
Новый вариант бесплатной лицензии.В канун празднования нового 2019 года команда PVS-Studio решила сделать приятный подарок всем контрибьюторам open-source проектов, хостящихся на GitHub или Bitbucket. Им предоставляется возможность бесплатного использования статического анализатора PVS-Studio для развития открытых проектов.
Читать далее: https://habr.com/company/pvs-studio/blog/434012/