LINUX.ORG.RU

В ядре FreeBSD выявлено как минимум 40 ошибок с помощью анализатора кода PVS-Studio

 , , ,


3

8

Святослав Размыслов из команды PVS-Studio опубликовал статью о проверке ядра FreeBSD. Разработчики PVS-Studio славятся тем, что в целях рекламы своего продукта регулярно проверяют различные открытые проекты. Пожалуй, это один из самых приемлемых и полезных способов продвижения проприетарного приложения. На данный момент они проверили более 200 проектов и выявили в них 9355 ошибок. По крайней мере именно столько ошибок содержится в базе описания дефектов на сайте компании.

Теперь очередь дошла и до ядра FreeBSD. Исходный код для проверки был взят с GitHub из ветки 'master'. По заявлению Святослава, анализатор PVS-Studio выявил около 1000 подозрительных фрагментов в коде, которые с большой вероятностью являются ошибками или неаккуратным кодом. 40 наиболее интересных фрагментов кода он описал в статье. Список предупреждений был заранее передан команде FreeBSD, и она уже начала вносить правки.

Пара слов для программистов, ещё не знакомых с PVS-Studio. Это инструмент для выявления ошибок в исходном коде программ, написанных на языках С, C++ и C#. PVS-Studio выполняет статический анализ кода и генерирует отчёт, помогающий программисту находить и устранять ошибки. На сайте компании можно увидеть более подробное описание и скачать демонстрационную версию.

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



Проверено: maxcom ()
Последнее исправление: maxcom (всего исправлений: 2)

Ответ на: комментарий от Andrey_Karpov_2009

А зачем тогда нужен анализатор?

анализировать код?

P.S. Рассказы про хобби я не воспринимаю всерьез. За хобби тоже надо платить. Например, снаряжение для рыбалки (с палатками, лодкой, и т.д.) стоит денег, не смотря на то, что будет нарыбачено на 500 р :). Но ведь рыбак на основании этого не заявляет, что в магазине ему всё должны отдать бесплатно или за 200 р.

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

P.S. Вот так и появляются сферические senior developer-ы, у которых не то что реп в свободном доступе нет, так еще и профиль на гитхабе невозможно загуглить (ибо его нет).
P.P.S. Кстати о вложениях. Для своего хобби я выделил аж $53 за Clion, и остался полностью доволен. Вот и пытаюсь узнать, есть ли у вас тоже что-то для «individual customers». Оказывается, что нет.

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

А ты уверен, что оно тебе вообще может быть по карману? Подобные системы обычно закупаются сразу на организацию и ценник там может начинаться от десятков тысяч баксов.

если бы был уверен - не спрашивал бы, очевидно же

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

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

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

Вот так и появляются сферические senior developer-ы, у которых не то что реп в свободном доступе нет, так еще и профиль на гитхабе невозможно загуглить (ибо его нет)

Что за социофильская мода, типа если тебя нет на гитхабе, то ты не программист? Хабра вам мало?

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

если тебя нет на гитхабе, то ты не программист?

если тебя нет на гитхабе то где твой код, Карл? а может ты не программист, а диванный аналитик? или просто латентный корпоративный раб?

Хабра вам мало?

а при чем тут сайт с рекламой и новостями?

reprimand ★★★★★
()
Последнее исправление: reprimand (всего исправлений: 2)
Ответ на: комментарий от autonomous

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

договаривает чужие слова, присваивая их потом собеседнику

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

договаривает чужие слова, присваивая их потом собеседнику

не вижу смысла брать кота в мешке и платить дважды, когда у меня и так есть платное IDE с встроенным анализатором, который совершенствуется с каждым обновлением

Чего тут приписано? Не видишь смысла брать, сравниваешь со своим IDE. Короче скучно

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

Так никто же не заставляет их продуктом пользоваться.

А как ещё можно воспринимать рекламные статьи? Цель рекламмы как раз заставить купить. Я же не пришёл на сайт PVS и качаю права, а наоборот он пришёл на лор: Некоммерческий проект «LINUX.ORG.RU: Русская информация об ОС Linux»
Поэтому к «неудобным» вопросам и язвительным земечаниям, ТС должен быть готов. И мне кажется он с этим не плохо справляется.

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

если тебя нет на гитхабе то где твой код, Карл? а может ты не программист, а диванный аналитик? или просто латентный корпоративный раб?

В личном гите, лол. Откуда вы вообще лезете с мнением, что гитхаб это весь код мира?

а при чем тут сайт с рекламой и новостями?

А лор без рекламы и новостей? О чем ты вообще?

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

В личном гите, лол.

В личном локалхосте, лол. Царь и б-г.

Откуда вы вообще лезете с мнением, что гитхаб это весь код мира?

опять присваиваешь чужие утверждения?

А лор без рекламы и новостей? О чем ты вообще?

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

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

Чего тут приписано? Не видишь смысла брать, сравниваешь со своим IDE. Короче скучно

Я понимаю, что шизофазия на ЛОР-е это якобы модно, но уже немного баян. Попробуй еще раз

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

А как ещё можно воспринимать рекламные статьи?

Реклама для тебя — это приказ воспользоваться продуктом? o_O Ну, тогда ой.

Поэтому к «неудобным» вопросам и язвительным земечаниям, ТС должен быть готов.

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

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

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

Не могу найти, где я оспариваю это утверждение.

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

В личном локалхосте, лол.

Будто что-то плохое. Я больше доверяю своему локалхосту, чем SaaS.

//мимо-C++-разработчик

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

хабр похоже как раз для тебя

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

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

В личном локалхосте, лол. Царь и б-г.

А я спецально впс купил для личного гита. А гитхаб и битбакет только как зеркало остались.

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

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

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

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

не вижу смысла брать кота в мешке и платить дважды, когда у меня и так есть платное IDE с встроенным анализатором

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

А за коммерческое использование - вполне нормально брать деньги и иметь триал.

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

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

Да не вопрос, мне лично гитхаб нравится, как площадка для кода. Вообще, программист это частично творческая специальность, а творческие специальности подразумевают портфолио для поиска новой работы. Но когда кто-то начинает утверждать, что гитхаб это единственное место для портфолио программиста, то это звучит также как линкедин это единственное место для резюме, а значит это глупость. Отсеивать кандидатов по наличию/отсутствию гитхаба это тоже ССЗБ скорее всего.

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

Standalone версия у них есть, но всё только под венду.

atrus ★★★★★
()

А где наши БиЗДуны. Помнится один злорадствовал, по поводу того, что ядро Линукса решето. БЗДуны чё вы притихли?

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

Даже понятие «демо вресия не под Win» вызывает затруднение в интерпретации. Каждый подразумевает под этим свою рабочую операционную систему, свою любимую среду разработки и свой компилятор.

А в чем затруднения интерпретации? Делаете консольную программу, которую вызывают потом вместо компилятора. Программа при вызове вместо объектных файлов(.obj в виндовсах, .o в линуксах/бзд) создает какбы-объектные файлы, которые фактически являются некими промежуточными данными(какой-нибудь частично распарсенный код) а вместо линковщика вызывается та самая часть, выполняющая анализ исходного кода(того самого, который подсунут в эти псевдообъектные файлы) и далее все должно быть просто - пишем в файл текстовые записи вида «путь/к/файлу.с» «строка 1234» «диагностика такая-то» в какой-то файл. Дальше пусть уже кто хочет делает интеграцию всего этого к своей IDE чтоб она на основе выданных записей подсвечивала конкретные строки кода. Что именно мешает так сделать?

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

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

я вижу ты любишь упражняться в графоманстве, причем самом гнусным его видом
не думал о работе журналистом?

а на твой высер конструктивно уже ответил другой человек

А обвинять оппонента в шизофринии, при этом не признавая своих же высказываний, это сам понимаешь как выглядит.

если тебе действительно интересно разобрать нашу с тобой переписку по кусочкам и проанализировать - пожалуйста. Хотя я не вижу смысла в трате времени на это, ты пришел сюда вбросить, а я выяснить некоторую информацию

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

Я не понял сарказм это или нет, но да, проверять. Я думаю, никто не будет в 2016 году спорить о важности форматирования и соотвествии форматирования логике кода.

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

Отсеивать кандидатов

Почему отсеивать? просто если в резюме есть ссылка на проекты (гитхаб, битбакет или sf, не важно), мне интереснее зайти и посмотреть код, а уже составить какой-то мнение. +, опять же, если в коде что-то мне не понравится, я могу его как предмет собеседования использовать, попросить объяснить и/или исправить. А был вообще случай, когда мы сразу взяли кандидата, после 30 минут расспросов, просто потому что проект его посмотрели.

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

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

я вижу ты любишь упражняться в графоманстве, причем самом гнусным его видом
не думал о работе журналистом?

Ты на себя сначала посмотри, лол) А моим графоманством ты считаешь то, что я не согласился или не умолк до сих пор?)

а на твой высер конструктивно уже ответил другой человек

Какой высер и какой человек? Тут вроде со мной пока согласны люди)

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

facepalm.png

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

Ровно наоброт, я почитал тредик, а ты с первого же комментария стал говорить, что тебе это не надо, потому что ты и так с IDE. Хотя если ты когда-нибудь осилишь вакансию в организации, которая использует софт из топика, то тебя никто не будет спрашивать хочешь ли ты им пользоваться или нет, будешь пользоваться в рамках установленных процедур тестирования, разрабатываемого организацией кода.

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

я тебе уже раза 2 или 3 объяснил что ты делаешь и что это херня

перечитай ветку сообщений если тебе так сложно

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

если тебя нет на гитхабе то где твой код, Карл?

Посмеялся. Мой код на моём компе и в репозитории компании-работодателя.

а может ты не программист, а диванный аналитик? или просто латентный корпоративный раб?

Посмотрел на контрибуцию программиста на сайте GitHub, возник резонный вопрос вопрос - ты это серьёзно? Где твой код, Игорь?

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

Почему отсеивать?

Ну вот юзернейм reprimand, дай ему волю, так бы и делал видимо. Ведь по его словам, если твой аккаунт не гуглится в гитхабе, то ты не программист.

А был вообще случай, когда мы сразу взяли кандидата, после 30 минут расспросов, просто потому что проект его посмотрели

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

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

Брать на испытательный срок, видимо, или давать тестовый проект.

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

перечитай ветку сообщений если тебе так сложно

Ты лучше почитай, что тебе люди рядом пишут и попустись уже.

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

Интересно, а они проверяли этим анализатором его же код?

В каждой статье на эту тему найдется хоть один, кто задаст этот идиотский вопрос.

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

Ты лучше почитай, что тебе люди рядом пишут и попустись уже.

попусти свое графоманство для начала

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

Посмеялся. Мой код на моём компе и в репозитории компании-работодателя.

И что дальше?

Посмотрел на контрибуцию программиста

какого?

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

высоко квалицированная поддержка.

мдя уж

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

Так покажи свой профиль! После всего вышесказанного это было весьма логично, иначе грош цена твоим словам.

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

а если я одиночка и пишу «для себя»? у меня нет ни начальника ни отдела закупок...

Тогда ты имеешь полное моральное право пойти на какой-нибудь ру-боард и взять там варёзный ключик. Разработчикам сабжа это не принесёт убытков, раз они тебе всё равно не продали бы лицензию.

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

Тогда ты имеешь полное моральное право пойти на какой-нибудь ру-боард и взять там варёзный ключик. Разработчикам сабжа это не принесёт убытков, раз они тебе всё равно не продали бы лицензию.

как раз планировал

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

Так покажи свой профиль!

обновил информацию о пользователе, там ссылка

После всего вышесказанного это было весьма логично, иначе грош цена твоим словам.

тут 99% постам грош цена, мы на ЛОР-е всё-таки

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

Впрочем, уже нашёл - https://github.com/xdevelnet

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

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

я тебе уже раза 2 или 3 объяснил что ты делаешь и что это херня

Я думал, что к 23 годам люди должны хоть немного становиться умнее. Похоже, что вы исключение.

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

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

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

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

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

Цель рекламмы как раз заставить купить

Садись, два. Цель рекламы — сообщить о существовании продуктов, услуг и тому подобного. Заставлять купить — это когда к дефицитным женским сапогам в нагрузку идут две пудовые гири. И это запрещено законодательно.

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