Анализатор кода PVS-Studio на FreeBSD

Обоина зачёт!

ЗЫ. Как вы, блин, в 2к23 живете с 1366x768, ума не приложу.

Хотелось бы почитать про Clang Static Analyzer и его новый cross-TU-анализ. И ещё про Facebook Infer.

Не знал про такое если честно, попробую собрать инфу.

И вот сравнить бы вот этих троих (вместе с clang-tidy докучи) на кодовой базе ядра — хоть Linux, хоть FreeBSD.

Думаю ядро ОС это не очень показательный проект, судя по попытке анализа ядра фри - слишком уж много false positive срабатываний. Можно устать разгребать.

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

P.S. PVS Studio умеет анализировать файлы параллельно? Или одно ядро грузит?

Умеет, -j 8 ключ в наличии ;)

https://en.wikipedia.org/wiki/Elsa_(Frozen)
и тут вопрос поинтереснее есть - как mord0d умудрился узнать Эльзу, если её коса почти полностью закрыта непрозрачным окошком блокнота?!

Разве, этот самый инструмент, не встроен в компилятор?

Ну, если гтк2 то xfce, а там в настройках внешнего вида идеальная настраивалка шрифтов. И вроде в lxde тоже вполне рабочая. Всего то покрутить размер шрифта/dpi и потом сглаживание/хинтинг/распределение субпикселей.

Но я то здесь вообще не про шрифт! Где панель инструментов? Где вкладки? где полосы прокрутки, строка состояния, перенос, нумерация и подсветка строки? Хоть что то, отличающее текстовый редактор от notedad.exe...

Скока Карпов тебе занес? :)

это всё включается через gsettings, но будет портить атмосферность обоины ;)

gsettings? А недавно включалось галочками в настройках...

как mord0d умудрился узнать Эльзу, если её коса почти полностью закрыта

Есть такая булка, «плетёнка» называется (с маком!). Паттерн косы Эльзы повторяет её. На видимом участке обоины он вполне различим.

Мульт я не смотрел.

Поставил заслуженный фейспалм.

Проприетарщину, нужность которой даже на линуксе вызывает большие сомнения, ты зачем-то притащил в бздю.
Всратая тема оформления.
В Mousepad ШГ (gtk2 такой gtk2).
На обоину вообще пофиг.

(с)

мульт развивает идеи из Снежной королевы Андерсена (это не cover и уж точно не remake)
так что если тебе это интересно - рекомендую

Еще попроси поделиться ога )

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

Почему вы думаете что это гтк2-мауспад? Судя по непереносу строк и невидимым скроллбарам - как раз гтк3-мауспад.

Проблевался

То есть когда я запускал в эмуляторе насквозь корпоративный Dell Unix или Wabi - это вопросов не вызывало?

https://en.wikipedia.org/wiki/Elsa_(Frozen)

Ёмаё, вот это портянка. И 164 ссылки!

Time ranked Elsa as the most influential fictional character of 2014.

Ну я и дремучий. А год то интересный был. Второй персонаж тогда тоже отжигал.

Проблевался

Ну зато полегчало )

мульт развивает идеи из Снежной королевы Андерсена

Но ведь заранее известно что бобро победит, это ж Disney.

Все же тебе стоит посмотреть, хотя-бы ради концовки )

Где панель инструментов? Где вкладки? где полосы прокрутки, строка состояния, перенос, нумерация и подсветка строки?

Там всё это есть, нужно только галочки в меню расставить. Вот в соседнем треде обсуждали гномовский блокнот, где всего 10 пунктов в единственном меню. Вот это блокнот так блокнот, моё почтение.

Заинтриговал. ☺

shell-script, если переносишь в толксы, хорошо бы картинку сохранять.

Уже позвонили из кремля? Быстро.

При чём тут кремль?

дело не в бобре, там просто шыкарные песни

Нет он все правильно сделал, не ожидал такого наплыва укушенных за голову.

ну что ж, пранк не удался ;)

привет shell-scipt’y ;)

Там не любят Эльзу эту наверно.

шыкарные песни

Depressive/Suicidal Black Metal? о_О

нет, там всё очень жизнеутверждающе оптимистично

Это в смысле я не ожидал, Максим же вроде запретил с Украины заходить? Вот я и не думал что тут столько «обиженных лично Путиным» будет.

Что может быть более жизнеутверждающим, чем блэцк?! Он и в качестве колыбельной хорош…

тут не в Украине дело…

поразмышляй как-нибудь на досуге вдали от компилятора ;)

ну как это что?! brutal death или grind

эх, ты вот издеваешься, а мульт просмотра заслуживает и точка

Над чем? Над мнением детей, которых «аж трясет» от какой-то там обоины?

перестань считать себя стариком в 39 лет, а?

Ну так если до 40ка не работать а жить на чьей-то шее то можно и до 80ти пацаном пробегать )

ну как это что?! brutal death или grind

Грайнд без смысла, а брутал дэтх после скандинавского блэцка звучит скучно. ☺

эх, ты вот издеваешься

Я не издеваюсь, я просто люблю тяжёлую музыку. 🤷

мульт просмотра заслуживает и точка

Меня топикстартер окончательно заинтриговал, так что я его уже приобретаю. ☺

Вообщем собрать из среды разработки наверное как-то можно
Вообщем

Ну ldap твою налево. Тебе сколько лет?

Вот я и не думал что тут столько «обиженных лично Путиным» будет

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

Банить за фотку Путина на обоине, серьезно чтоли?

Ещё пивас как отягчающее.

Меня топикстартер окончательно заинтриговал, так что я его уже приобретаю. ☺

Скачай с торрентов хоть раз, будь мужиком )

Меня топикстартер окончательно заинтриговал, так что я его уже приобретаю. 

Скачай с торрентов хоть раз, будь мужиком )

Ну вот я и преобретаю. ^_~

А был ли мальчик?

«В трусиках» или какой? Смотря какой.

Спасибо.

Для C++ ложноположительные, насколько понимаю, вообще стандартная практика и неизбежность.

Но CSA просто прекрасен, и, при наличии такой бесплатной альтернативы, платить деньги профессионалам из PVS смысла не вижу. На CSA башляли деньги Apple, под него большая академическая база подведена (реальные научные исследования), и на Mac OS X он в Xcode просто встроен. Ну а на Linux — из командной строки. https://github.com/Ericsson/codechecker

Про cross TU analysis: https://clang.llvm.org/docs/analyzer/user-docs/CrossTranslationUnit.html

FB Infer я ещё не щупал, но тоже интересно посмотреть.

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

платить деньги профессионалам из PVS смысла не вижу

я же так и написал в статье: если знаешь ассемблер то платить не надо )

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

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

Andrey_Karpov_2020 авторам PVS Studio респект за отличный проект, пишите еще :)

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

Так что надо еще раз кастануть =) Andrey_Karpov_2020