The OpenNET Project / Index page

[ новости /+++ | форум | wiki | теги | ]



"Выпуск новой версии статического анализатора кода для языков C++ и С cppcheck 2.6"
Вариант для распечатки  
Пред. тема | След. тема 
Форум Разговоры, обсуждение новостей
Изначальное сообщение [ Отслеживать ]

"Выпуск новой версии статического анализатора кода для языков C++ и С cppcheck 2.6"  +/
Сообщение от opennews (ok), 07-Окт-21, 15:38 
Вышла новая версия статического анализатора кода cppcheck 2.6, позволяющего выявлять различные классы ошибок в коде на языках Си и Си++, в том числе при использовании нестандартного синтаксиса, типичного для встраиваемых систем. Предоставляется коллекция плагинов, через которые обеспечена интеграция cppcheck  с различными системами разработки, непрерывной интеграции и тестирования, а также предоставлены такие возможности как проверка соответствия кода стилю оформления кода. Для разбора кода может применяться как собственный парсер, так и внешний парсер от Clang. В состав также входит скрипт donate-cpu.py для предоставления локальных ресурсов для выполнения работы по совместной проверке кода пакетов Debian. Исходные тексты проекта распространяются под лицензией GPLv3...

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

Ответить | Правка | Cообщить модератору

Оглавление

Сообщения [Сортировка по времени | RSS]


1. "Выпуск новой версии статического анализатора кода для языков..."  +/
Сообщение от leibniz (ok), 07-Окт-21, 15:38 
лучший анализатор кода -- мозг программиста
Ответить | Правка | Наверх | Cообщить модератору

38. "Выпуск новой версии статического анализатора кода для языков..."  +8 +/
Сообщение от Аноним (38), 07-Окт-21, 18:13 
Уже много десятилетий, как нет.
Ответить | Правка | Наверх | Cообщить модератору

41. "Выпуск новой версии статического анализатора кода для языков..."  +11 +/
Сообщение от Злюка (?), 07-Окт-21, 18:47 
Не правда. У некоторых еще есть.
Ответить | Правка | Наверх | Cообщить модератору

42. "Выпуск новой версии статического анализатора кода для языков..."  +2 +/
Сообщение от ы (?), 07-Окт-21, 18:51 
Вам бы, сударь, синтаксический анализатор не помешало бы. Такие дела.
Ответить | Правка | Наверх | Cообщить модератору

63. "Выпуск новой версии статического анализатора кода для языков..."  +1 +/
Сообщение от n00by (ok), 08-Окт-21, 10:30 
Семантический.
Ответить | Правка | Наверх | Cообщить модератору

53. "Выпуск новой версии статического анализатора кода для языков..."  +2 +/
Сообщение от Аноним (53), 07-Окт-21, 20:55 
>У некоторых еще есть.

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

Ответить | Правка | К родителю #41 | Наверх | Cообщить модератору

46. "Выпуск новой версии статического анализатора кода для языков..."  +/
Сообщение от InuYasha (??), 07-Окт-21, 19:29 
нет, потому что очень устаёт X(
Ответить | Правка | К родителю #1 | Наверх | Cообщить модератору

47. "Выпуск новой версии статического анализатора кода для языков..."  +11 +/
Сообщение от Аноним (47), 07-Окт-21, 19:30 
Да! Но при условии что этот программист больше не человек и не способен ошибиться.
Ответить | Правка | К родителю #1 | Наверх | Cообщить модератору

60. "Выпуск новой версии статического анализатора кода для языков..."  +2 +/
Сообщение от Vkni (ok), 08-Окт-21, 06:57 
Это, как раз, ни о чём. Статические анализаторы имеют право на ошибку - ложноположительное срабатывание. Иначе бы их проверки были включены в компилятор и имели статус Error, а не Warning.
Ответить | Правка | Наверх | Cообщить модератору

62. "Выпуск новой версии статического анализатора кода для языков..."  –3 +/
Сообщение от Дмитрий (??), 08-Окт-21, 09:40 
Нельзя просто так взять и поменять Warning на Error. В первую очередь из-за сохранения обратной совместимости
Ответить | Правка | Наверх | Cообщить модератору

78. "Выпуск новой версии статического анализатора кода для языков..."  +1 +/
Сообщение от Vkni (ok), 09-Окт-21, 22:18 
Ну хорошо, в предупреждения компилятора засунуть все эти cppcheck/PVS Studio.

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

Ответить | Правка | Наверх | Cообщить модератору

72. "Выпуск новой версии статического анализатора кода для языков..."  +/
Сообщение от Аноним (72), 08-Окт-21, 20:04 
Сейчас к тебе придут наркоманы и расскажут про компилятор и софт не имеющий ошибок.
Ответить | Правка | К родителю #60 | Наверх | Cообщить модератору

54. "Выпуск новой версии статического анализатора кода для языков..."  +2 +/
Сообщение от Ульянка (?), 07-Окт-21, 21:39 
у тебя всегда все лучшее, бессмысленный комментатор
Ответить | Правка | К родителю #1 | Наверх | Cообщить модератору

55. "Выпуск новой версии статического анализатора кода для языков..."  –5 +/
Сообщение от Умпа (?), 07-Окт-21, 21:48 
>> лучший анализатор кода -- мозг программиста

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

Ответить | Правка | К родителю #1 | Наверх | Cообщить модератору

56. "Выпуск новой версии статического анализатора кода для языков..."  +2 +/
Сообщение от Аноним (56), 07-Окт-21, 23:09 
Для си smatch больше проблем находил. Только из гита собирать ннада. Мозг программиста такая вещь, он ожидает, что код будет работать, а потом оказывается, не везде и не всегда.
Ответить | Правка | К родителю #1 | Наверх | Cообщить модератору

66. "Выпуск новой версии статического анализатора кода для языков..."  +/
Сообщение от acroobat (??), 08-Окт-21, 15:18 
Если программист - робот, то да.
Ответить | Правка | К родителю #1 | Наверх | Cообщить модератору

3. "Выпуск cppcheck 2.6, статического анализатора кода для языко..."  +3 +/
Сообщение от lockywolf (ok), 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

Ответить | Правка | Наверх | Cообщить модератору

7. "Выпуск cppcheck 2.6, статического анализатора кода для языко..."  +/
Сообщение от Неуклюжий танцор (?), 07-Окт-21, 15:53 
Благодарю, добрый человек! Никогда бы не подумал, что так может быть!
Ответить | Правка | Наверх | Cообщить модератору

67. "Выпуск cppcheck 2.6, статического анализатора кода для языко..."  +/
Сообщение от Аноним (-), 08-Окт-21, 15:46 
Ничего не понял. Если ты запостил на аглицком, то и переведи с аглицкого.
Ответить | Правка | К родителю #3 | Наверх | Cообщить модератору

73. "Выпуск cppcheck 2.6, статического анализатора кода для языко..."  +3 +/
Сообщение от Аноним (73), 08-Окт-21, 20:12 
Продолжайте программировать на своём 1С, пожалуйста.
Ответить | Правка | Наверх | Cообщить модератору

5. Скрыто модератором  –22 +/
Сообщение от QwertyReg (ok), 07-Окт-21, 15:49 
Ответить | Правка | Наверх | Cообщить модератору

6. Скрыто модератором  +7 +/
Сообщение от Аноним (6), 07-Окт-21, 15:53 
Ответить | Правка | Наверх | Cообщить модератору

9. Скрыто модератором  –6 +/
Сообщение от Аноним (9), 07-Окт-21, 16:00 
Ответить | Правка | Наверх | Cообщить модератору

12. Скрыто модератором  +/
Сообщение от Аноним (12), 07-Окт-21, 16:10 
Ответить | Правка | Наверх | Cообщить модератору

15. Скрыто модератором  –2 +/
Сообщение от Аноним (9), 07-Окт-21, 16:30 
Ответить | Правка | Наверх | Cообщить модератору

21. Скрыто модератором  –2 +/
Сообщение от QwertyReg (ok), 07-Окт-21, 16:37 
Ответить | Правка | Наверх | Cообщить модератору

25. Скрыто модератором  +2 +/
Сообщение от Урри (ok), 07-Окт-21, 16:58 
Ответить | Правка | Наверх | Cообщить модератору

33. Скрыто модератором  +/
Сообщение от lockywolf (ok), 07-Окт-21, 17:59 
Ответить | Правка | Наверх | Cообщить модератору

34. Скрыто модератором  +/
Сообщение от Урри (ok), 07-Окт-21, 18:04 
Ответить | Правка | Наверх | Cообщить модератору

36. Скрыто модератором  +1 +/
Сообщение от Аноним (36), 07-Окт-21, 18:07 
Ответить | Правка | К родителю #21 | Наверх | Cообщить модератору

37. Скрыто модератором  –1 +/
Сообщение от Аноним (36), 07-Окт-21, 18:10 
Ответить | Правка | К родителю #15 | Наверх | Cообщить модератору

40. Скрыто модератором  –1 +/
Сообщение от QwertyReg (ok), 07-Окт-21, 18:37 
Ответить | Правка | Наверх | Cообщить модератору

43. Скрыто модератором  +/
Сообщение от Аноним (-), 07-Окт-21, 19:02 
Ответить | Правка | Наверх | Cообщить модератору

45. Скрыто модератором  +/
Сообщение от Дэвид РокфеллерМладший (?), 07-Окт-21, 19:25 
Ответить | Правка | К родителю #40 | Наверх | Cообщить модератору

48. Скрыто модератором  +1 +/
Сообщение от Дэвид РокфеллерМладший (?), 07-Окт-21, 19:33 
Ответить | Правка | К родителю #15 | Наверх | Cообщить модератору

11. Скрыто модератором  +7 +/
Сообщение от Аноним (12), 07-Окт-21, 16:08 
Ответить | Правка | К родителю #5 | Наверх | Cообщить модератору

14. Скрыто модератором  +/
Сообщение от Аноним (14), 07-Окт-21, 16:15 
Ответить | Правка | К родителю #5 | Наверх | Cообщить модератору

50. Скрыто модератором  –1 +/
Сообщение от МояВенда (ok), 07-Окт-21, 19:53 
Ответить | Правка | Наверх | Cообщить модератору

17. Скрыто модератором  +/
Сообщение от Аноним (17), 07-Окт-21, 16:32 
Ответить | Правка | К родителю #5 | Наверх | Cообщить модератору

13. "Выпуск cppcheck 2.6, статического анализатора кода для языко..."  +/
Сообщение от Аноним (14), 07-Окт-21, 16:13 
Где A4?
Ответить | Правка | Наверх | Cообщить модератору
Часть нити удалена модератором

31. "Выпуск cppcheck 2.6, статического анализатора кода для языко..."  –1 +/
Сообщение от Сатья Наделла (?), 07-Окт-21, 17:36 
Я тоже попробовал ZorinOS и решил пока на ней остаться. Понравились некоторые фишки и я решил их добавить в свой небольшой проект.
Ответить | Правка | К родителю #12 | Наверх | Cообщить модератору

49. "Выпуск cppcheck 2.6, статического анализатора кода для языко..."  –1 +/
Сообщение от InuYasha (??), 07-Окт-21, 19:33 
> Записи незаписывающихся данных, определения неопределённого поведения, сравнения несравнимых величин, вызова невызываемого кода, выхода из безвыходных ситуаций... wait, oh, shi-

%)

Ответить | Правка | Наверх | Cообщить модератору

58. "Выпуск cppcheck 2.6, статического анализатора кода для языко..."  –1 +/
Сообщение от Аноньимъ (ok), 08-Окт-21, 04:35 
Что это за безобразие Берремор?

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

Ответить | Правка | Наверх | Cообщить модератору

59. "Выпуск cppcheck 2.6, статического анализатора кода для языко..."  +/
Сообщение от МарьВанна (?), 08-Окт-21, 06:00 
"Берримор".

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

Ответить | Правка | Наверх | Cообщить модератору

65. "Выпуск cppcheck 2.6, статического анализатора кода для языко..."  –1 +/
Сообщение от Аноним (-), 08-Окт-21, 13:00 
А нету такого же, но только для ASM-а?
Ответить | Правка | Наверх | Cообщить модератору

68. "Выпуск cppcheck 2.6, статического анализатора кода для языко..."  +/
Сообщение от Совершенно другой аноним (?), 08-Окт-21, 16:22 
Языки ассемблера у всех сильно разные. Вот есть проект https://github.com/gaul/x86lint, но как я понял - он немного не про это.
Ответить | Правка | Наверх | Cообщить модератору

69. "Выпуск cppcheck 2.6, статического анализатора кода для языко..."  +/
Сообщение от n00by (ok), 08-Окт-21, 17:12 
Он вообще не про это. Проверяет опкоды на "оптимальность" по размеру. Надо понимать, что многобайтные NOP намеренно используют для выравнивания целей переходов по границам кеш-линий. Для этих же целей компиляторы могут генерировать "неоптимальные" большие команды.
Ответить | Правка | Наверх | Cообщить модератору

70. "Выпуск cppcheck 2.6, статического анализатора кода для языко..."  +1 +/
Сообщение от Ordu (ok), 08-Окт-21, 17:18 
Нет, и быть не может. Чтобы асм разбирать, что там сделано намеренно, а что случайно, статическому анализатору как-то по машинным инструкциям надо будет угадать задумку программиста, а это за пределами возможностей существующих AI. Единственный способ с этим бороться -- потребовать от программиста аннотациями декларировать свои намерения. Но требуя это, ты требуешь от него, чтобы он писал на высокоуровневом языке аннотаций. И нахрен тогда ассемблер? Дедуктивный вывод даётся программам проще индуктивного. Поэтому программы гораздо лучше из аннотаций могут сгенерить ассемблерный код, чем из ассемблерного кода аннотации.

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

Ответить | Правка | К родителю #65 | Наверх | Cообщить модератору

71. "Выпуск cppcheck 2.6, статического анализатора кода для языко..."  +/
Сообщение от Аноним (72), 08-Окт-21, 18:58 
Молодцы. Удачи проекту.
Ответить | Правка | Наверх | Cообщить модератору

74. "Выпуск cppcheck 2.6, статического анализатора кода для языко..."  +/
Сообщение от Аноним (74), 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
Ответить | Правка | Наверх | Cообщить модератору

77. "Выпуск cppcheck 2.6, статического анализатора кода для языко..."  +/
Сообщение от Аноним (77), 09-Окт-21, 10:58 
Потому что это далеко не всегда ошибка.
Ответить | Правка | Наверх | Cообщить модератору

79. "Выпуск cppcheck 2.6, статического анализатора кода для языко..."  +/
Сообщение от Andrey_Karpov (ok), 15-Ноя-21, 15:45 
Для информации. Вышел инструмент под названием Cppcheck Premium. Он включает в себя открытый инструмент Cppcheck, а также премиальный компонент. https://habr.com/ru/news/t/589247/
Ответить | Правка | Наверх | Cообщить модератору

Архив | Удалить

Рекомендовать для помещения в FAQ | Индекс форумов | Темы | Пред. тема | След. тема




Спонсоры:
Inferno Solutions
Hosting by Hoster.ru
Хостинг:

Закладки на сайте
Проследить за страницей
Created 1996-2021 by Maxim Chirkov
Добавить, Поддержать, Вебмастеру