URL: https://www.opennet.dev/cgi-bin/openforum/vsluhboard.cgi
Форум: vsluhforumID3
Нить номер: 125468
[ Назад ]
Исходное сообщение
"Выпуск новой версии статического анализатора кода для языков C++ и С cppcheck 2.6"
Отправлено opennews , 07-Окт-21 15:38 
Вышла новая версия статического анализатора кода cppcheck 2.6, позволяющего выявлять различные классы ошибок в коде на языках Си и Си++, в том числе при использовании нестандартного синтаксиса, типичного для встраиваемых систем. Предоставляется коллекция плагинов, через которые обеспечена интеграция cppcheck  с различными системами разработки, непрерывной интеграции и тестирования, а также предоставлены такие возможности как проверка соответствия кода стилю оформления кода. Для разбора кода может применяться как собственный парсер, так и внешний парсер от Clang. В состав также входит скрипт donate-cpu.py для предоставления локальных ресурсов для выполнения работы по совместной проверке кода пакетов Debian. Исходные тексты проекта распространяются под лицензией GPLv3...

Подробнее: https://www.opennet.dev/opennews/art.shtml?num=55936

Содержание
Сообщения в этом обсуждении
"Выпуск новой версии статического анализатора кода для языков..."
Отправлено leibniz , 07-Окт-21 15:38 
лучший анализатор кода -- мозг программиста
"Выпуск новой версии статического анализатора кода для языков..."
Отправлено Аноним , 07-Окт-21 18:13 
Уже много десятилетий, как нет.
"Выпуск новой версии статического анализатора кода для языков..."
Отправлено Злюка , 07-Окт-21 18:47 
Не правда. У некоторых еще есть.
"Выпуск новой версии статического анализатора кода для языков..."
Отправлено ы , 07-Окт-21 18:51 
Вам бы, сударь, синтаксический анализатор не помешало бы. Такие дела.
"Выпуск новой версии статического анализатора кода для языков..."
Отправлено n00by , 08-Окт-21 10:30 
Семантический.
"Выпуск новой версии статического анализатора кода для языков..."
Отправлено Аноним , 07-Окт-21 20:55 
>У некоторых еще есть.

вот именно, что у некоторых, и именно что еще.

"Выпуск новой версии статического анализатора кода для языков..."
Отправлено InuYasha , 07-Окт-21 19:29 
нет, потому что очень устаёт X(
"Выпуск новой версии статического анализатора кода для языков..."
Отправлено Аноним , 07-Окт-21 19:30 
Да! Но при условии что этот программист больше не человек и не способен ошибиться.
"Выпуск новой версии статического анализатора кода для языков..."
Отправлено Vkni , 08-Окт-21 06:57 
Это, как раз, ни о чём. Статические анализаторы имеют право на ошибку - ложноположительное срабатывание. Иначе бы их проверки были включены в компилятор и имели статус Error, а не Warning.
"Выпуск новой версии статического анализатора кода для языков..."
Отправлено Дмитрий , 08-Окт-21 09:40 
Нельзя просто так взять и поменять Warning на Error. В первую очередь из-за сохранения обратной совместимости
"Выпуск новой версии статического анализатора кода для языков..."
Отправлено Vkni , 09-Окт-21 22:18 
Ну хорошо, в предупреждения компилятора засунуть все эти cppcheck/PVS Studio.

В любом случае, у нас есть простое правило - компилятор не имеет права на ложно-положительное срабатывание, а стат. анализатор имеет. Иначе вот всё это должно быть просто всунуто в компилятор.

"Выпуск новой версии статического анализатора кода для языков..."
Отправлено Аноним , 08-Окт-21 20:04 
Сейчас к тебе придут наркоманы и расскажут про компилятор и софт не имеющий ошибок.
"Выпуск новой версии статического анализатора кода для языков..."
Отправлено Ульянка , 07-Окт-21 21:39 
у тебя всегда все лучшее, бессмысленный комментатор
"Выпуск новой версии статического анализатора кода для языков..."
Отправлено Умпа , 07-Окт-21 21:48 
>> лучший анализатор кода -- мозг программиста

Сам ты, то есть, не программист ни разу?
А зачем ты рот тут тогда открываешь?

"Выпуск новой версии статического анализатора кода для языков..."
Отправлено Аноним , 07-Окт-21 23:09 
Для си smatch больше проблем находил. Только из гита собирать ннада. Мозг программиста такая вещь, он ожидает, что код будет работать, а потом оказывается, не везде и не всегда.
"Выпуск новой версии статического анализатора кода для языков..."
Отправлено acroobat , 08-Окт-21 15:18 
Если программист - робот, то да.
"Выпуск cppcheck 2.6, статического анализатора кода для языко..."
Отправлено lockywolf , 07-Окт-21 15:47 
A study at the TU Delft, by Cathal Boogerd and Leon Moonen, empirically assesses the value of MISRA C:2004. It comes to similar results:[29]

    From the data obtained, we can make the following key observations. First, there are 9 out of 72 rules for which violations were observed that perform significantly better (α = 0.05) than a random predictor at locating fault-related lines. The true positive rates for these rules range from 24-100%. Second, we observed a negative correlation between MISRA rule violations and observed faults. In addition, 29 out of 72 rules had a zero true positive rate. Taken together with Adams' observation that all modifications have a non-zero probability of introducing a fault, this makes it possible that adherence to the MISRA standard as a whole would have made the software less reliable.


https://en.m.wikipedia.org/wiki/MISRA_C

"Выпуск cppcheck 2.6, статического анализатора кода для языко..."
Отправлено Неуклюжий танцор , 07-Окт-21 15:53 
Благодарю, добрый человек! Никогда бы не подумал, что так может быть!
"Выпуск cppcheck 2.6, статического анализатора кода для языко..."
Отправлено Аноним , 08-Окт-21 15:46 
Ничего не понял. Если ты запостил на аглицком, то и переведи с аглицкого.
"Выпуск cppcheck 2.6, статического анализатора кода для языко..."
Отправлено Аноним , 08-Окт-21 20:12 
Продолжайте программировать на своём 1С, пожалуйста.
"Выпуск cppcheck 2.6, статического анализатора кода для языко..."
Отправлено QwertyReg , 07-Окт-21 15:49 
Какими анализаторами Сишку не обмазывай, как её костыльками не подпирай, язык всё равно останется архитектурно слабым и всё равно будет порождать уязвимости и краши. Уж в 2k21-то пора бы перестать насиловать труп и переходить на что-то не из прошлого тысячелетия.
"Выпуск cppcheck 2.6, статического анализатора кода для языко..."
Отправлено Аноним , 07-Окт-21 15:53 
Какими анализаторами молоток не обмазывай, как его костыльками не подпирай, инструмент всё равно останется архитектурно слабым и всё равно будет порождать загнутые гвозди и отбитые пальцы. Уж в 2k21-то пора бы перестать насиловать труп и переходить на что-то не из древности.
"Выпуск cppcheck 2.6, статического анализатора кода для языко..."
Отправлено Аноним , 07-Окт-21 16:00 
Хорошая аналогия. Подавляющая часть строительных работ производится без обыкновенного ручного молотка, он нужен в конце для всякой мелочевки, но сам дом спокойно строится без него
"Выпуск cppcheck 2.6, статического анализатора кода для языко..."
Отправлено Аноним , 07-Окт-21 16:10 
Не, ну если вы хотите жить в панельном доме, то дело ваше...
"Выпуск cppcheck 2.6, статического анализатора кода для языко..."
Отправлено Аноним , 07-Окт-21 16:30 
> в панельном доме

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

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

"Выпуск cppcheck 2.6, статического анализатора кода для языко..."
Отправлено QwertyReg , 07-Окт-21 16:37 
Не мечите бисер перед линуксоидами, они даже не знают, что в 21-ом веке в строительстве вместо молотков используют пневматический гвоздезабиватель, а молотки остались в прошлом тысячелетии.
"Выпуск cppcheck 2.6, статического анализатора кода для языко..."
Отправлено Урри , 07-Окт-21 16:58 
... написал QwertyReg с помощью прямого нейроинтерфейса, а не какой-то глупой дубовой клавиатуры.
"Выпуск cppcheck 2.6, статического анализатора кода для языко..."
Отправлено lockywolf , 07-Окт-21 17:59 
> ... написал QwertyReg с помощью прямого нейроинтерфейса, а не какой-то глупой дубовой
> клавиатуры.

У него экранная клавиатура, и тач-скрин

"Выпуск cppcheck 2.6, статического анализатора кода для языко..."
Отправлено Урри , 07-Окт-21 18:04 
Еще хуже. Надо дополнительно зрением контролировать то, что нажимаешь.
"Выпуск cppcheck 2.6, статического анализатора кода для языко..."
Отправлено Аноним , 07-Окт-21 18:07 
> 21-ом веке в строительстве вместо молотков используют пневматический гвоздезабиватель, а молотки остались в прошлом тысячелетии.

Только если тебе в лоб забивать, прицельно. А строители используют классический молоток там, куда пнематику не дотянули и/или она не нужна и вредна. Еще молотком можно как вспомогательным инструментом работать.
Вот уж белоручка детектед.

"Выпуск cppcheck 2.6, статического анализатора кода для языко..."
Отправлено Аноним , 07-Окт-21 18:10 
Еще одна белоручка.
Лед, жесть. Пламя потухло.
Страшно жить, господа.
Подумай, что в доме есть еще сантехника, электрика, отопление, канализация, водоснабжение...

"Выпуск cppcheck 2.6, статического анализатора кода для языко..."
Отправлено QwertyReg , 07-Окт-21 18:37 
> Еще одна белоручка.
> Лед, жесть. Пламя потухло.
> Страшно жить, господа.
> Подумай, что в доме есть еще сантехника, электрика, отопление, канализация, водоснабжение...

Вызываешь специально обученную обезьянку и забываешь о проблеме.

"Выпуск cppcheck 2.6, статического анализатора кода для языко..."
Отправлено Аноним , 07-Окт-21 19:02 
> Какими анализаторами Сишку не обмазывай, как её костыльками не подпирай, язык всё равно останется архитектурно слабым и всё равно будет порождать уязвимости и краши. Уж в 2k21-то пора бы перестать насиловать труп и переходить на что-то не из прошлого тысячелетия.

Так он же не программист! Зачем программировать на трупе (да и вообще программировать, если и так все нужные программы есть), если можно нанять специально обученную обезьянку, которая сделает всё за тебя.

"Выпуск cppcheck 2.6, статического анализатора кода для языко..."
Отправлено Дэвид РокфеллерМладший , 07-Окт-21 19:25 
Обезьянка берет с тебя деньги, делает так, что произойдет запланированная поломка и придет вновь.
Наивный чукотский вьюнох.
"Выпуск cppcheck 2.6, статического анализатора кода для языко..."
Отправлено Дэвид РокфеллерМладший , 07-Окт-21 19:33 
>Даже двускатная крыша не нуждается в ручном молотке при построении особо.

Стропильную систему как крепить буш?


>В доме, построенном исключительно при помощи молотка я тоже жить не хочу, скорее всего он будет деревянный, дерево во времени чувствует себя сильно хуже кирпича

Хороший деревянный дом строят без гвоздей. Молоток там только в паз дослать бревно.

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

"Выпуск cppcheck 2.6, статического анализатора кода для языко..."
Отправлено Аноним , 07-Окт-21 16:08 
Пишите, пожалуйста, 2k21 в начале комментария, это сэкономит время на чтение, спасибо.
"Выпуск cppcheck 2.6, статического анализатора кода для языко..."
Отправлено Аноним , 07-Окт-21 16:15 
Каким инструментом не пользуйся если ты плохой программист ты и на срасте напишешь дыру и на пхп. Уязвимости не в языке они в программисте.
"Выпуск cppcheck 2.6, статического анализатора кода для языко..."
Отправлено МояВенда , 07-Окт-21 19:53 
У сишника горит в одном месте. Надо же, можно просто взять математически доказанный язык, и написать безопасный код, который не будет падать на каждый чих. И все это без десятилетий изучения тайных знаний и молитв на талмуде под названием "Стандарт".
"Выпуск cppcheck 2.6, статического анализатора кода для языко..."
Отправлено Аноним , 07-Окт-21 16:32 
Уже в 2k21 в Инет можно ходить не только прон смотреть, но и узнать что-то полезное, выучить что-то
"Выпуск cppcheck 2.6, статического анализатора кода для языко..."
Отправлено Аноним , 07-Окт-21 16:13 
Где A4?
"Выпуск cppcheck 2.6, статического анализатора кода для языко..."
Отправлено Сатья Наделла , 07-Окт-21 17:36 
Я тоже попробовал ZorinOS и решил пока на ней остаться. Понравились некоторые фишки и я решил их добавить в свой небольшой проект.
"Выпуск cppcheck 2.6, статического анализатора кода для языко..."
Отправлено InuYasha , 07-Окт-21 19:33 
> Записи незаписывающихся данных, определения неопределённого поведения, сравнения несравнимых величин, вызова невызываемого кода, выхода из безвыходных ситуаций... wait, oh, shi-

%)

"Выпуск cppcheck 2.6, статического анализатора кода для языко..."
Отправлено Аноньимъ , 08-Окт-21 04:35 
Что это за безобразие Берремор?

Это сишка, сэр!

"Выпуск cppcheck 2.6, статического анализатора кода для языко..."
Отправлено МарьВанна , 08-Окт-21 06:00 
"Берримор".

Пишите без ошибок.

"Выпуск cppcheck 2.6, статического анализатора кода для языко..."
Отправлено Аноним , 08-Окт-21 13:00 
А нету такого же, но только для ASM-а?
"Выпуск cppcheck 2.6, статического анализатора кода для языко..."
Отправлено Совершенно другой аноним , 08-Окт-21 16:22 
Языки ассемблера у всех сильно разные. Вот есть проект https://github.com/gaul/x86lint, но как я понял - он немного не про это.
"Выпуск cppcheck 2.6, статического анализатора кода для языко..."
Отправлено n00by , 08-Окт-21 17:12 
Он вообще не про это. Проверяет опкоды на "оптимальность" по размеру. Надо понимать, что многобайтные NOP намеренно используют для выравнивания целей переходов по границам кеш-линий. Для этих же целей компиляторы могут генерировать "неоптимальные" большие команды.
"Выпуск cppcheck 2.6, статического анализатора кода для языко..."
Отправлено Ordu , 08-Окт-21 17:18 
Нет, и быть не может. Чтобы асм разбирать, что там сделано намеренно, а что случайно, статическому анализатору как-то по машинным инструкциям надо будет угадать задумку программиста, а это за пределами возможностей существующих AI. Единственный способ с этим бороться -- потребовать от программиста аннотациями декларировать свои намерения. Но требуя это, ты требуешь от него, чтобы он писал на высокоуровневом языке аннотаций. И нахрен тогда ассемблер? Дедуктивный вывод даётся программам проще индуктивного. Поэтому программы гораздо лучше из аннотаций могут сгенерить ассемблерный код, чем из ассемблерного кода аннотации.

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

"Выпуск cppcheck 2.6, статического анализатора кода для языко..."
Отправлено Аноним , 08-Окт-21 18:58 
Молодцы. Удачи проекту.
"Выпуск cppcheck 2.6, статического анализатора кода для языко..."
Отправлено Аноним , 08-Окт-21 22:49 
я вас предупредил warning
both of the PVS and cppcheck can't detect the copying from the structure member pointer instead of the member pointer contains
"Выпуск cppcheck 2.6, статического анализатора кода для языко..."
Отправлено Аноним , 09-Окт-21 10:58 
Потому что это далеко не всегда ошибка.
"Выпуск cppcheck 2.6, статического анализатора кода для языко..."
Отправлено Andrey_Karpov , 15-Ноя-21 15:45 
Для информации. Вышел инструмент под названием Cppcheck Premium. Он включает в себя открытый инструмент Cppcheck, а также премиальный компонент. https://habr.com/ru/news/t/589247/