Компания СиПроВер расширила (https://www.viva64.com/ru/b/0510/) категории разработчиков, которым предоставляет возможность бесплатного использования PVS-Studio (http://www.viva64.com/ru/pvs-studio/), коммерческого статического анализатора для кода на языках C, C++ и C#. Отныне бесплатный ключ к полной версии PVS-Studio может быть предоставлен экспертам, занимающимся выявлением проблем безопасности и размещающим результаты своих работ в открытом доступе.Кроме того, команда разработчиков PVS-Studio выступила (https://www.viva64.com/ru/b/0508/) с инициативой применения PVS-Studio для повышения качества кодовой базы открытой мобильной платформы Tizen (https://source.tizen.org/). Выполнив предварительный анализ кодовой базы Tizen разработчики PVS-Studio пришли к выводу (slideshare (https://www.slideshare.net/Andrey_Karpov/pvsstudio-tizen), pptx (http://cppfiles.com/Tizen_2017.pptx)), что могут выявить и исправить около 27 тысяч ошибок. Для оценки возможного числа ошибок был проведён анализ порции случайно выбранных компонентов Tizen. Компоненты были разделены на две категории: разработанные компанией Samsung и сторонними разработчиками.
В ходе анализа 2.4 млн строк кода (3.3%) при помощи PVS-Studio было выявлено 900 ошибок (подчёркивается, что речь об ошибках, а не о сообщениях анализатора), т.е. на каждые 1000 строк найдено примерно 0.36 ошибок. Общий размер кодовой базы Tizen на языках C и C++ насчитывает 72.5 млн строк, вместе со сторонними библиотеками, но без учёта комментариев. Если экстраполировать результаты случайной проверки на всю кодовую базу число возможных ошибок было оценено на уровне 27000.
URL: https://www.viva64.com/ru/b/0510/
Новость: https://www.opennet.ru/opennews/art.shtml?num=46668
на 52-ом слайде ошибка - memVory-leak
> на 52-ом слайде ошибка - memVory-leakТут нужен статический анализатор слайдов.
а на 51 - английское описание ошибки не то
> а на 51 - английское описание ошибки не то53 слайд... выделят указатель на выделенную памятью... чтооо?
Да, поправим. Всем спасибо. Ну лучше о подобном писать на почту.
Вы там выдаете премии за найденные ошибки в слайдах презентации?
Зато теперь все знают, что вы даже рекламу нормально сделать не можете -___-
macOS и iOS уже проверили?))
Код закрыт.
https://opensource.apple.com/
curl, bash, apache, openal, openssh, webkit, awk, zsh...
Это отдельные куски - всякие проекты.
https://github.com/opensource-apple/xnu
Да, а вот это интересно. Взяли на заметку.
что то чиселки не сходятся.
в первом слайде про 522 ошибку указано 73 ошибки, а на втором - 204. что дает сумму в 277, однако на сводной странице указано 276.
одну зафиксили
Видимо где-то рука дрогнула. Было весьма непросто и муторно всё это считать.
>на каждые 1000 строк найдено примерно 0.36 ошибок.Хм. Да это просто идеальный код.
При этом 99% этого кода -- открытые свободные библиотеки, которые используются в тысячах других проектах и проверяются увлечёнными людьми.
был бы идеальным, но это не 0.36 ошибки на 1000 строк, а 0.36 тех ошибок что способен выловить данный анализатор на 1000 строк.
тоесть если программа более 3000 строк, вероятность что она падает стремится к 100% ? Кулл..
Зачем сразу "падает"? Просто содержит ошибку. Считает неправильно, ведёт себя неправильно, жрёт память и т.п.
Вряд ли анализатор сможет выявить утечки памяти. Разве что самые примитивные, вроде явно потерянного результата malloc().Большинство утечек, которые доходят до пользователей, представляют собой неограниченный кеш. При завершении программы вся память освобождается, поэтому динамические анализаторы это тоже не особо ловят.
>>на каждые 1000 строк найдено примерно 0.36 ошибок.
> При этом 99% этого кода -- открытые свободные библиотеки, которые используются в тысячах других проектах и проверяются увлечёнными людьми.Выполнять человеком работу, которую может делать компьютер — чистой воды онанизм.
> в тысячах других проектах и проверяются увлечёнными людьми.тебе сказка про "тысячи глаз"-то не надоела?
"увлеченные люди" рвутся осчастливить человечество очередным мусором, типа "перепишем linux на rust". А анализ библиотек на уязвимости, да еще и неподходящим для этого софтом - тяжелая унылая работа. Профессионалы ей могут и заниматься, но, увы, большая часть этих занятий оплачивается плохими ребятами (и вот у них-то купить еще и pvs'овскую софтину совершенно не заржавеет).
>> в тысячах других проектах и проверяются увлечёнными людьми.
> "увлеченные люди" рвутся осчастливить человечество очередным мусором, типа "перепишем linux на rust".Наконец-то занять компьютеры работой, для которой их изобретали — мусор? ну-ну.
Если у эксперта по безопасности нету денег на покупку ключа, то это эксперт уровня "я у мамы иксперт"
А может дело совсем в другом? Анализатор этот даже экспертам не нужен, раз его им впихнуть насильно хотят.
> Анализатор этот даже экспертам не нужен, раз его им впихнуть насильно хотят.Они просто ещё не знают, что он им нужен. :) Цель - чтобы они для начала вообще узнали о существовании нашего анализатор, ведь всегда мы продвигали его как инструмент поиска ошибок, а не как инструмент поиска потенциальных уязвимостей (CWE).
ага, прикупи coreimpacts - мама еще "заработает одним местом"
Каких-то $30000. Подумаешь!
> Если у эксперта по безопасности нету денег на покупку ключа, то это
> эксперт уровня "я у мамы иксперт"Карпов подозревает, что деньги у экспертов имеются, но они по каким-то причинам не желают покупать ключики. Если бы он не интересовался ихними деньгами, то этой рекламы на опеннете бы не было. А так да, ты прав, эксперты без денег ему не интересны.
В Туле, они компанию devExpress уже заи...ли своими визитами...
Этот мордастый, там всё лекции проводит, каков их анализатор класнный, только, вот толку оказалось от него 0.0.
Они ещё и лицензию выдали бесплатную...
И то он оказался никому не нужен...
Да, есть такое дело, действительно. Ходит, попрошайничает, только от работы отвлекает.
С вами Игорь, который кулаками помахать не против, работает еще? ) C#-овец был, JavaScript-овец )Давайте PVS для JS ;)
Ща ветку туляков наберем :)
Встречаются два ``новых русских``. Один другому:
- Гля, галстук купил! Штуку двести баксов отдал!
- Дурак ты - вон за углом такие же по штуке пятьсот!
> Отныне бесплатный ключ к полной версии PVS-Studio может быть предоставлен экспертам, занимающимся выявлением проблем безопасности...блин, я не понял -- а устанавливать этот проприетарный софт (который хз что делать кроме свой декларированной функции) -- им придётся в песочницу чтоль?
или эксперты по безопасности -- как бэ за свою-то безопасность типа не станут бороться? :-)
Эксперт в безопасности и долбанутый фанатик свободки - это разные вещи
> Эксперт в безопасности и долбанутый фанатик свободки - это разные вещину конечно! настоящий эксперт в безопасности -- не может не доверять проприетарному софту! а иначе -- какой же он эксперт?
("эксперт" -- НЕоблаживший себя кучей хренпойми-какого-говнософта из сомнительных торрентов (установленного на свою любимую Windows XP, с заведомо отключенными обновлениями, чтобы через обновления угрозы не проникли бы) -- скорее ДИЛЕТАНТ!)
каждый настоящий эксперт знает -- скрытый исходник это гарантия отсутствию троянов! это вам не опенсурс с кучей бэкдоров!
На отдельный комп, за пределами периметра безопасности, в чём проблема?
> Эксперт в безопасности и долбанутый фанатик свободки - это разные вещипри этом эксперименты подобного рода вменяемый человек действительно будет проводить на отдельной системе - в том числе и потому, что оно прожорливое, требует нетривиальных настроек окружения и на личном ноуте с котиками немного неуместно.
/мну пошел сетапить очередной билдхост, как же ж надоело-то...
когда PVS-Studio стала продавать свое изделие- оказалось что оно не сильно то нужно... тогда они стали раздавать его лепя свои копирайты в чужие исходники. Им намекнули что они нехорошие люди... и продажи все равно не радовали... тогда они решили расширить бесплатные раздачи..
Странные люди...
Всё нормально. Если так пойдёт, то скоро переведут в разряд открытых проектов. А там уже, глядишь, и личное благосостояние авторов улучшится благодаря грантам и донейтам.
Вот тоже не пойму, модуль Ubuntu, Red Hat, Percona и т.д. давно доказала свою эффективность. Давно надо было всё открыть, уже бы на порядки больше клиентов было.
Им не нужны любящие пользователи. Им нужны деньги.
Вот, казалось бы, незанятая ниша. Создай открытый C++ анализатор и только успевая получать деньги.
Qt - всё открыто, может использовать кто как хочет. Платно только для коммерческого использования, и то если собирать статически. И ничего, зарабатывают. Открытых хорошо зарабатывающих проектов очень много. Вообще зарабатывание на стоимости, а не на обороте - чисто Российская модель торговли. Драть с каждого по полной абсолютно не эффективно. Вы теряете клиентов и не растете.
Столько раз уже говорилось, что мы делаем всё, абсолютно всё неправильно. Так что-же все эти годы мешает кому-то из советующих сделать правильный открытый анализатор? :) Ещё и денег заработает.А по поводу ценообразования, это классическая модель для таких инструментов (см. например Coverity, Klocwork).
так он и есть. clang / llvm. считаете мало?
Платные коммерческие продукты, мощнее их бесплатных аналогов. Мы время от времени проверяем LLVM и каждый раз находим в нём ошибки (здесь модно найти 3 статьи на эту тему: https://www.viva64.com/ru/inspections/ ). То, что мы легко находим ошибки в компиляторе, напрямую свидетельствует о преимуществе диагностических возможностей PVS-Studio. Да, Clang развивается, там потихоньку появляются новые диагностики. Так ведь и мы не сидим на месте.Плюс не стоит забывать, что анализатор кода это не только штука, которая выплёвывает предупреждения. Это ещё поддержка и инфраструктура (интеграции с Visual Studio, интеграция с SinarQube, инкрементальный анализ, база разметки, рассылка уведомлений, отслеживание запусков компилятора для анализа проекта с любой системой сборки и так далее, и так далее).
Вас только что поймали на вранье.
При текущей модели Вы не можете составить конкуренцию clang'у, он открытый. Вот попрёт у него анализ, и вы ничего сделать не сможете.
Почему вот только именно Tizen, а не Sailfish? Sailfish ведь вроде как претендует на статус национальной ОС?
Да пусть хоть на звание лучшего эскимо претендует. Где исходники открыты, то и проверили.
Tizen тоже претендует - http://tizen.ru/#/about .
Тогда хорошо. =)
Ребзя, вам бы нормальное продвижение продукта заказать у какой-нибудь специализирующейся на этом деле конторы. Не у ООО "Васян и партнеры", не студентки-практикантки, рисующей по ночам на кухне постеры гуашью. А у конторы с опытом и именем, которая четко знает, что будет при том-то и том-то и выработает вам долгосрочную стратегию.
Уже поздно. Ну если только название фирмы/продукта сменить... Начать, так сказать, с чистого листа...
Удавятся от жадности. Увы. Да и уровень их дискуссий, они ведут себя как два быдла, особенно, когда люди начинают задавать неудобные вопросы (почитайте на хабре), аргументы начинаются, "Ну вы берёте? Не?!!! Ну и валите отсюда."
Хотя РыжЫков, директор их - он же из деревни из под Киреевска (город в Тульской области), отсюда и повадки эти.
Хм, посмею выступить "против мэйнстрима".По мне так Антон Карпов ведёт себя очень корректно. Уж сколько г0внa на него тут в комментах льётся, при чём не вижу, чтоб обоснованно. А он тем же не отвечает.
Не знаю кто там второй и как он себя ведёт.
Софт этот, PVS Studio. Не понимаю, откуда столько негатива? Работает же вроде, ошибки всякие находит. Наверное не все находит, ну так в такого рода софте всегда и ненахождения ошибок будут, и false negatives. И в Coverity, и во всяких lint-ах - тоже не без ошибок.
PVS Studio не опенсорсный, да, это плохо, но количество негатива в комментах - ну никак несоразмерно клозед-сорсности продукта.
Опять таки, "новость" помечена как реклама. По-моему, всё честно. Или слишком много этой самой рекламы? Да нет же, раз в несколько месяцев статейка появляется.
Люди, будьте добрее.
Их даже в wiki забанили за спам.
> Их даже в wiki забанили за спам.И даже на лоре :)
>> Их даже в wiki забанили за спам.
> И даже на лоре :)
> https://www.linux.org.ru/people/Andrey_Karpov_2009/profileЗа спам, на ЛОРЕ!!! КАРЛ на Лоре и за спам!!!
Был не спам, а модератор jollheef, который систематически банил каждый пост или комментарий на любую тематику. https://www.linux.org.ru/forum/linux-org-ru/13305117 , https://www.linux.org.ru/forum/linux-org-ru/13464162?lastmod... , https://www.linux.org.ru/forum/linux-org-ru/13464689?lastmod...Собственно суть: нет, безусловно, Andrey_Karpov_2009 мне также глубоко не симпатичен, однако, это раздел форума для «общения с модераторами», а jollheef делает все чтобы этого общения не допустить, под заведомо неверной причиной, т.к. тема в ЛОР спамом не была.
если Карпов с его пвс-кой на ресурсе лишний - забаньте его, если нет - то зачем удалять его жалобы в ЛОР?
> Был не спам, а модератор jollheefБлокирован модератором Klymedy по причине: 4.6 Спам
Что-то в ваших словах явно не так.
Это уже заключительный аккорд.
Да там макском сам признавал, что jollheef мальца неадекват. https://www.linux.org.ru/forum/linux-org-ru/13195956
> Да там макском сам признавал, что jollheef мальца неадекват. https://www.linux.org.ru/forum/linux-org-ru/13195956Плохой, негодный вброс. Для развенчания его достаточно просто пройти по ссылке.
Ну-ну, читать научись. Всегда знал, что на ЛОРе модерье друг друга покрывает, какими бы неадекватными не были отдельные товарищи.
Но это ж вообще травля-моббинг получается? Мы ненавидим/чмырим/баним "неудачника", потому что "тот крутой парень" тоже ненавидит/чмырит/банит его. Хотя "неудачник" лично нам ничего не сделал. Как во всех тех фильмах про школы.
А что не так? Я даже их инстаграмчик зафоловерил.
https://www.instagram.com/pvsstudio/
Креатив с душой же.
Так же советую подписаться на https://twitter.com/code_analysis
PVS-Studio уже прослыла жестким рекламным спамером технических ресурсов. С этим названием у разработчиков связано море негативных ассоциаций. В такой ситуации заказывать какое-либо продвижение глупо.
Был недавно на PHDays7. Из тех, с кем общался, 80% не слышали про PVS-Studio (или вроде как слышали название, но не знают, что это такое и логотип единорога им ни о чем не говорит). Так что не надо вот это, что мы прям везде. Статья в тему: "Ох, опять они со своим PVS-Studio. Везде они..." - https://www.viva64.com/ru/b/0428/
> Был недавно на PHDays7. Из тех, с кем общался, 80% не слышали
> про PVS-Studio (или вроде как слышали название, но не знают, что
> это такое и логотип единорога им ни о чем не говорит).
> Так что не надо вот это, что мы прям везде. Статья
> в тему: "Ох, опять они со своим PVS-Studio. Везде они..." -
> https://www.viva64.com/ru/b/0428/Твою ж мать, они сами себе статьи пишут и ссылками спамят... "Роман в письмах"
Какие критерии экспертов? В ответ придется рекламировать продукт?
Эксперт должен иметь публичные выступления/статьи по тематике поиска уязвимостей в программах. Соответственно мы ждём ссылки на эти выступления/статьи.
То, что Вы назвали, вовсе не эксперт по безопасности...
Интересно, на это реально кто-то соглашается?
Да. Несколько человек уже получили лицензии. Собственно, не понятно, в чем может быть проблема в согласии. Мы же не требуем ничего в замен. Если найдет что-то и расскажет про это, то хорошо, а если нет, то нет.
В предыдущем комментарии было чётко обозначено, что Вы это именно требуете:
> Эксперт должен иметь публичные выступления/статьи по тематике поиска уязвимостей
> в программах. Соответственно мы ждём ссылки на эти выступления/статьи.
Назовём это условием. Надо ведь нам как-то понять, кто нам написал. Но при этом мы не требуем от человека, чтобы он написал про нас в статье и т.д. Если будет желание и будет про что написать - хорошо.
На мой взгляд проще заплатить, чем как мартышка скакать перед зрителями, показывая некомпетентность сотрудников своей компании и позоря её.
У нас тут все эскперты. Так что где наши ключики?
Эксперты без проблем обходятся без ключика..., только вот нужно ли всё это? Для себя я сделал вывод что clang'а с valgrind'ом достаточно, больше ничего не надо.
Маркетологи PVS-Studio окончательно убедили меня, PVS-Studio нужна только индусам. Индусы - их целевая аудитория.
https://www.viva64.com/ru/customers/
Наши клиенты - это компании, которым не безразлично качество и надёжность их кода.
У вас там Микрософт
теперь мы знаем откуда у них дырки и баги
Да уж... Нагуглили логотипов, да себе на страницу повставляли...
Маркетинг из 90х
Компании, которым не безразлично качество и надёжность их кода, просто не заказывают код у индусов.
Знаете в чём основная проблема? В чересчур агрессивном проталкивании продукта. Обилие таких статей у меня лично уже вызывает отвращение. Подобные продукты у всех рекламируются потребителями. А вы фигачите и фигачите везде, какая PVS-Studio крутая, может то, может сё. При том ведь стопроцентная проприетарь...
Ну вот пожалуйста очередная статья https://habrahabr.ru/company/pvs-studio/blog/317374/В комментах пишут что запостили баги разработчикам ядра.
https://habrahabr.ru/company/pvs-studio/blog/317374/#comment...Идём по ссылке
https://bugzilla.kernel.org/show_bug.cgi?id=190121И видим очередной спам
>To demonstrate the capabilities of our analyzer, we regularly perform analysis of open >source projects. We had recently checked the Linux Kernel project.
>Here is the link to the article about it: http://www.viva64.com/en/b/0460/
>Official page of the analyzer: http://www.viva64.com/en/pvs-studio/
>If you have any questions, or if you are interested in the evaluation of our static analyzer >or in any other source code quality control services that our company provides, please >contact us at support@viva64.com.На что их резонно посылают на *УЙ. и Эти "баги" остаются в статусе new.
И куда ни плюнь, то же самое было к примеру в багтрекере gcc.
Где им прямо написали - либо постите баги сюда, либо идёте на *УЙ.
> На что их резонно посылают на *УЙ.это говорит нам о чем? Правильно - что генитальным разработчика пох на качество кода. Им главное "чтоб просили с уважением, называли крестным!"
Здешним борцунам с проприетарью, что характерно - тоже пох. Как минимум, код в sis'овском драйвере явно ошибочный, и работал только по недоразумению (в риалтековском скорее всего тоже, но мне лень искать где оно). В люстровском драйвере вообще феерия, умножается не параметр псевдо-функции, а +5 на его конце. Это вот только то, что понятно и требует не больше пары минут. Возьмите и запостите свой "правильный" багрепорт, на то и на другое, можно без всяких ссылок на pvs - прославиться не получится, но мир станет чуточку лучше.
> На что их резонно посылают на *УЙ.
> Где им прямо написали - либо постите баги сюда, либо идёте на *УЙ.Ну вот они и пришли...
"На зло бабушке уши отморожу" - это называется. Ни один бородатый ЧСВшник не поинтересовался, что за баги. А если втихую поинтересовался, да еще и поправил, то это лицемерие.не, pvs, конечно, теперь - имя нарицательное. Маркетинг их наивный очень доставляет. Но тут гундосят против них люди, ничего не имеющие за душой, только повторяющие друг друга. Эффект разбитых окон.
> Маркетинг их наивный очень доставляет.он работает.
Не надо просто путать аудиторию опеннета и пейсателей комментариев.следует понимать, что там бизнес-модель - _штучные_ продажи и аккуратная поддержка своих клиентов, а для этого клиент как-то должен узнать об их существовании вообще.
не думаю, что продажи линуксных версий когда-либо составят хотя бы первую сотню, но вряд ли такая цель и ставилась. Продастся десток, заподорого. Любой один клиент, пришедший с опеннета или, скажем, пришедший по наводке пользующегося халявной версией "ик-сперта" пришедшего с опеннета - уже неплохая прибавка к пенсии.
ну а нам в качестве побочного эффекта - чуть лучше оптимизированный под линуксы продукт.
Приятно встретить понимающего человека.
> Приятно встретить понимающего человека.Да... подтянули сотрудников своих в дискуссию, они так везде делают, на хабре особенно.
> Да... подтянули сотрудников своих в дискуссиюЗдесь в комментариях столько необоснованной критики, обвинений и просто вранья, что я даже не вижу смысла с этим сражаться. Но здесь то, видно же, что человек, оставивший комментарий, присутствует в форуме с 2011. Не уж-то это такой наш коварный план, заслать сюда человека ещё 6 лет назад, чтобы в нужный момент он оставил нужный нам комментарий. Хоть бы посмотрели в начале, прежде чем вылить очередной ушат .....
А по моему всё обоснованно, и особенно в части спама.
> А по моему всё обоснованно, и особенно в части спама.Сам термин спама появился из-за компании с подобной рекламной политикой:
https://en.wikipedia.org/wiki/Spam_(food)
>> Да... подтянули сотрудников своих в дискуссию
> Здесь в комментариях столько необоснованной критики, обвинений и просто вранья, что я
> даже не вижу смысла с этим сражаться. Но здесь то, видно
> же, что человек, оставивший комментарий, присутствует в форуме с 2011. Не
> уж-то это такой наш коварный план, заслать сюда человека ещё 6
> лет назад, чтобы в нужный момент он оставил нужный нам комментарий.
> Хоть бы посмотрели в начале, прежде чем вылить очередной ушат .....Ну по части вранья, вы правы. Вот ваш комментарий, где вы просто врёте.
https://www.opennet.ru/openforum/vsluhforumID3/11142.html#92
По-моему, тут все понимающие. Понять действия вашей конторы особого ума не надо. Другое дело, что никто их не приемлет. Поэтому положительного отклика тут не будет.
Есть простое правило (им в gcc это объясняли) - хотите помочь проекту, постите баги в багтрекер проекта, а так это напоминает спамеров SEOшнико, дали ссылку для привлечения трафика. Может это вообще фишинг.
> Есть простое правило (им в gcc это объясняли) - хотите помочь проекту,
> постите баги в багтрекер проекта, а так это напоминает спамеров SEOшнико,
> дали ссылку для привлечения трафика. Может это вообще фишинг.Там кстати комментарий есть:
> The article is not intended to facilitate bug search in the source
> code. It is rather meant to demonstrate the analyzer's diagnostic
> capabilities.
> Есть простое правило (им в gcc это объясняли) - хотите помочь проекту,называйте крестным и просите с уважением, ага.
Вам баги принесли - не на блюдечке с голубой каемочкой, но во вполне человекочитаемом виде. А вы, вместо того чтоб броситься выяснять, где это мы тут в своем проекте облажались, требуете "уважения". Типичный опенотсосе, пожирающий чужое время (кого-то еще удивляет, почему я его терпеть не могу?)> постите баги в багтрекер проекта, а так это напоминает спамеров SEOшнико,
> дали ссылку для привлечения трафика. Может это вообще фишинг.как страшно жить!
И, главное - если даже дорогой Анон заведет баг, соблюдя все ритуалы с причмоком и отсосом, тот тоже так и останется болтаться в статусе "new", если только это что-то не совсем уж фатальное, типа возможности вместо компиляции сделать rm -r $HOME - гениальные девелоперы опенотсосия категорически не любят ковыряться в чужих багрепортах. Даже когда на блюдечке с голубой каемочкой подано - все равно не любят ("и вообще у тебя патч кривой!"). Это ж неприкольно, за собой навоз выгребать. Скорей-скорей, воплощать свои очередные гениальные идеи (и цифирку версии побольше, побольше - инвесторы любят большие числа)
Слушай, клоун, а что ты вообще забыл на этом ресурсе? Вали на свой уютненький technet и карпова этого с собой забирай.
Недавно в одном интервью разработчиком инструментальных средств для программистов подчерпнул интересный факт - экспертам по безопасности плевать на инструменты которые находят баги, в том числе и баги потенциально приводящие к проблема с безопасностью, а вот если кто-то на основе таких багов создает эксплоит, вот тогда они заинтересуются.Непонятно почему так: слишком много инструментов, слишком много false-positive, или от бага до рабочего эксплоита слишком большой шаг, хз.
Тебя обманули, это не эксперты, а кулхацкеры.
Подсунул я тут этой игрульке свой проектик. Тружусь над ним мятый год. Не нашла ни одну ошибку. :)
Так что... Фигня этот PVS-Studio. Неужто я за 5 лет косяков не валял! Не верю!!!!
> Подсунул я тут этой игрульке свой проектик. Тружусь над ним мятый год.
> Не нашла ни одну ошибку. :)
> Так что... Фигня этот PVS-Studio. Неужто я за 5 лет косяков не
> валял! Не верю!!!!Я тоже не верю. Дай ссылку на свой проект, штоли.
Не дам. Он коммерческий.
Тоже проверял проект на работе года полтора назад и тоже ничего не нашла, кроме фигни, не стоящей внимания
С такими глупыми ошибками вообще удивляюсь как код работает. Вот что бывает когда нету формальной верификации.
СиПроВер, код у вас закрыт, и нет никаких гарантий, что сама PVS-Studio не окажется самой большой дырой в безопасности, и не сольет проверяемые исходники. Вот пускай ваши икспэрты на эту тему статью напишут, будет куда полезнее этого рекламного спама.
Отключи сеть.
Железный ответ, ничего не скажешь. Покупаешь прогу, чтобы с флешкой бегать.
пользователи винды - они такие, всегда плохо спят от одной мысли, что что-то с их компа наружу утекает. поставьте Agnitum Outpost Firewall® и Kaspersky® Internet Security® и спите спокойно уже. а, нет, не спокойно, они тоже закрытые. соболезную.
> пользователи винды - они такие, всегда плохо спят от одной мысли, что
> что-то с их компа наружу утекает. поставьте Agnitum Outpost Firewall® и
> Kaspersky® Internet Security® и спите спокойно уже. а, нет, не спокойно,
> они тоже закрытые. соболезную.Рекомендовать Касперски для безопасности - это сильно :)
Вы наверно не в курсе, но антивирусы - самая большая дыра в системе. Дырявые антивирусы на втором месте после домохозяек, качающих вирусы напрямую.
> каждый настоящий эксперт знает -- скрытый исходник это гарантия отсутствию троянов! это вам не опенсурс с кучей бэкдоров!просвети парней из Рэдмонда ;)
я сегодня прочитал, что экспертам по безопастности могут невозбранно продать эльбрус. Что если в природе существует эксперт, который запускал бы топик на железке для экспертов в нативном виде?
Всё правильно сделали. Спасибо за ваш тяжёлый и неблагодарный труд. И за опосредованную пропаганду инструментов разработки ПО из по меньшей мере 2000х.
Ага, ну да. Прям на урановых рудниках трудятся, бедолаги. Щас заплАчу...
На фоне Rust'а можно сказать PVS-Studio своеобразная подпорка для небезопасного с++. Если уж нужна безопасность, почему не использовать Rust?
Потому что для начала надо переписать весь проект на rust.
В переписывании вообще-то нет необходимости. Но если вы не в курсе, вам это не надо.
> В переписывании вообще-то нет необходимости. Но если вы не в курсе, вам
> это не надо.Ну-ка расскажи мне, как программа на C++ может выиграть от lifetime'ов rust'а, если её не переписывать на rust?
> На фоне Rust'а можно сказать PVS-Studio своеобразная подпорка для небезопасного с++. Если
> уж нужна безопасность, почему не использовать Rust?Школота верит что ржавчина им выловит логические ошибки.
Простые ляпы одинаково инструментально ловятся и на С++ и на русте.
Глупые ошибки совершают индусы с построчной оплатой труда. Это я вам говорю по своему многолетнему опыту, если условия и требования разработке поставлены адекватно, копипаст ошибки ооочень редки. Всё абсолютно не так, как рекламит СиПроВер.
>> На фоне Rust'а можно сказать PVS-Studio своеобразная подпорка для небезопасного с++. Если
>> уж нужна безопасность, почему не использовать Rust?
> Школота верит что ржавчина им выловит логические ошибки.
> Простые ляпы одинаково инструментально ловятся и на С++ и на русте.
> Programming Defeatism: No technique will remove all bugs, so let's go with what worked in the 70s.
Предлагаю это
https://github.com/PurpleI2P/i2pd
своим анализатором поанализировать
> Предлагаю это https://github.com/PurpleI2P/i2pd своим анализатором поанализироватьбери и анализируй, это бесплатно
Бесплатное использование возможно при соблюдении условий, описанных здесь: Как использовать PVS-Studio бесплатно - https://www.viva64.com/ru/b/0457/Для того чтобы попробовать следует воспользоваться демонстрационной версией PVS-Studio. Для того, чтобы более тщательно познакомиться с PVS-Studio, вы можете запросить у нас временный ключ. Пишите, мы поможем с настройкой анализатора и т.п.
PVS-Studio все больше напоминает Гербалайф и Spam (известная продуктовая марка спагетти и консервов, ставшая именем нарицательным, а затем термином).
Статья в тему: "Ох, опять они со своим PVS-Studio. Везде они..." - https://www.viva64.com/ru/b/0428/А на тему, интересно или нет: https://habrahabr.ru/company/pvs-studio/blog/330394/#comment...
> Статья в тему: "Ох, опять они со своим PVS-Studio. Везде они..." -
> https://www.viva64.com/ru/b/0428/Ну, статья про то, как вы плохо делаете свою работу, как это вас расстраивает, и как некто, работающий рядом, вас жалеет, однозначно не соответствует тематике этого сайта. Насколько я не уполномочен об этом судить, да.
Вас, конечно, должно утешать, что все присутствующие (за исключением одного менеджера программеров) не входят в число тех "[о существовании этого инструмента] в лучшем случае знает 1% С++ программистов, и 0.5% C# программистов". Уровень дискуссий про C++, ни дай б.г. си-шарп, на этом ресурсе, наводит на мысли, что таковых программеров тут енемного... Относитесь легче к их, нашей, реакции -- ну в самом деле, сталбы ли расстраиваться, например, продавец станков с ЧПУ на реакцию работников сельскохозйственной нивы, которым он старательно, с многочисленными повторами, парил бы про свой товар? Конечно, нет! Бессмысленно расстраиваться. И вот http://secularbuddhism.org/about/ вам ссылка по этой теме.
Опять же ссылаемость в поисковиках рОстет -- позитив, да. Кто сказал, линк-спамер? Они ж не понимают продвижения и махетинга. Тёмные, непозитивные люди. Жаль их. Нас. Пойду тоже по своей ссылке почитаю.
Судя по заминосованным комментариям Карпова, рунет — самый безжалостный нет в мире!