https://opennet.ru/openforum/vsluhforumID3/125468.html Вышла новая версия статического анализатора кода cppcheck 2.6, позволяющего выявлять различные классы ошибок в коде на языках Си и Си++, в том числе при использовании нестандартного синтаксиса, типичного для встраиваемых систем. Предоставляется коллекция плагинов, через которые обеспечена интеграция cppcheck с различными системами разработки, непрерывной интеграции и тестирования, а также предоставлены такие возможности как проверка соответствия кода стилю оформления кода. Для разбора кода может применяться как собственный парсер, так и внешний парсер от Clang. В состав также входит скрипт donate-cpu.py для предоставления локальных ресурсов для выполнения работы по совместной проверке кода пакетов Debian. Исходные тексты проекта распространяются под лицензией GPLv3...<br><br>Подробнее: https://www.opennet.ru/opennews/art.shtml?num=55936<br> https://opennet.ru/openforum/vsluhforumID3/125468.html#79 Mon, 15 Nov 2021 12:45:47 GMT Для информации. Вышел инструмент под названием Cppcheck Premium. Он включает в себя открытый инструмент Cppcheck, а также премиальный компонент. https://habr.com/ru/news/t/589247/<br> https://opennet.ru/openforum/vsluhforumID3/125468.html#78 Sat, 09 Oct 2021 19:18:57 GMT Ну хорошо, в предупреждения компилятора засунуть все эти cppcheck/PVS Studio.<br><br>В любом случае, у нас есть простое правило - компилятор не имеет права на ложно-положительное срабатывание, а стат. анализатор имеет. Иначе вот всё это должно быть просто всунуто в компилятор.<br> https://opennet.ru/openforum/vsluhforumID3/125468.html#77 Sat, 09 Oct 2021 07:58:15 GMT Потому что это далеко не всегда ошибка.<br> https://opennet.ru/openforum/vsluhforumID3/125468.html#74 Fri, 08 Oct 2021 19:49:12 GMT я вас предупредил warning<br>both of the PVS and cppcheck can't detect the copying from the structure member pointer instead of the member pointer contains<br> https://opennet.ru/openforum/vsluhforumID3/125468.html#73 Fri, 08 Oct 2021 17:12:13 GMT Продолжайте программировать на своём 1С, пожалуйста.<br> https://opennet.ru/openforum/vsluhforumID3/125468.html#72 Fri, 08 Oct 2021 17:04:14 GMT Сейчас к тебе придут наркоманы и расскажут про компилятор и софт не имеющий ошибок.<br> https://opennet.ru/openforum/vsluhforumID3/125468.html#71 Fri, 08 Oct 2021 15:58:08 GMT Молодцы. Удачи проекту.<br> https://opennet.ru/openforum/vsluhforumID3/125468.html#70 Fri, 08 Oct 2021 14:18:19 GMT Нет, и быть не может. Чтобы асм разбирать, что там сделано намеренно, а что случайно, статическому анализатору как-то по машинным инструкциям надо будет угадать задумку программиста, а это за пределами возможностей существующих AI. Единственный способ с этим бороться -- потребовать от программиста аннотациями декларировать свои намерения. Но требуя это, ты требуешь от него, чтобы он писал на высокоуровневом языке аннотаций. И нахрен тогда ассемблер? Дедуктивный вывод даётся программам проще индуктивного. Поэтому программы гораздо лучше из аннотаций могут сгенерить ассемблерный код, чем из ассемблерного кода аннотации.<br><br>Может быть, когда-нибудь, в будуем... Может даже не столь отдалённом... Но раньше чем через десять лет ждать не стоит.<br> https://opennet.ru/openforum/vsluhforumID3/125468.html#69 Fri, 08 Oct 2021 14:12:01 GMT Он вообще не про это. Проверяет опкоды на "оптимальность" по размеру. Надо понимать, что многобайтные NOP намеренно используют для выравнивания целей переходов по границам кеш-линий. Для этих же целей компиляторы могут генерировать "неоптимальные" большие команды.<br>