https://opennet.ru/openforum/vsluhforumID3/130860.html Вышла новая версия статического анализатора кода cppcheck 2.11, позволяющего выявлять различные классы ошибок в коде на языках Си и Си++,...<br><br>Подробнее: https://www.opennet.ru/opennews/art.shtml?num=59355<br> https://opennet.ru/openforum/vsluhforumID3/130860.html#75 Mon, 03 Jul 2023 09:20:39 GMT Я как-то не встречал уязвимостей, вызванных форматированием кода. Да, плохой стиль может быть причиной, почему уязвимость не заметили, но это другое<br> https://opennet.ru/openforum/vsluhforumID3/130860.html#74 Sat, 01 Jul 2023 08:44:18 GMT Вот я и пишу, что автор пришёл рекламировать viva64 на форум, а в результате критики отказался от начальных целей и преобразовал проект в другой, успешный. Потому пиар-отдел и повторяет то действие (рекламу) так усердно. Из 1000 ответов критиков 1 может оказаться дельным, вот ради этого всё и затевается.<br> https://opennet.ru/openforum/vsluhforumID3/130860.html#72 Sat, 01 Jul 2023 05:50:39 GMT &gt; Не отчаивайтесь, анонимы.<br>&gt; Для XP подходит эта версия: <br>&gt; https://github.com/danmar/cppcheck/releases/tag/1.69 <br><br>с довольно обозримыми правками консольная версия собирается до 2.3, если не путаю. Дальше они перешли с потоков ОС на потоки стандарта C++, ещё чего-то поменяли, правок сильно слишком много и собирать дальше уже не получилось.<br> https://opennet.ru/openforum/vsluhforumID3/130860.html#71 Sat, 01 Jul 2023 05:26:58 GMT &gt; Но разработку-то на этой машине вести зачем?<br><br>ну, если для работы остального окружения нужны программы, работающие только в MS-DOS и не так приходится раскорячиваться, хотя, конечно, разные dosbox-ы и dosemu немного облегчают дело..<br> https://opennet.ru/openforum/vsluhforumID3/130860.html#70 Sat, 01 Jul 2023 01:45:01 GMT &gt; А очень просто, никаких загадок. Анализа "легаси" конструкций не производится.<br><br>Что значит - легаси? Почти все сишные конструкции валидны и в си++ и не объявлены deprecated даже в самой последней версии стандарта. Так что без их рюхания и анализ плюсов не получится.<br><br>&gt; Си и его компиляторы слишком непредсказуемые на сколько-нибудь сложной логике,<br><br>Нормальные, если уметь их готовить. И сабж тому пример, вполне себе нашел пару мест которые мне не нравятся в моих фирмварях. Хоть они и деланы для надежной работы без багов. Сабж подхайлайтил пару мест которые работали - но стоило все же переписать, если вон то было целью.<br><br>&gt; в таких вопросах намного безопаснее ассемблер.<br><br>Угу, щас. Там вообще ни аннотации намерений кодера нет, ни структурирования данных нормального (e.g. struct), ни типизации, ни нормального визуального структурирования программы. А уж проверить что функцию нормально вызвали автоматически - да сейчас.<br><br>&gt; Какой-нибудь compcert ещё можно в ракеты запихнуть.<br><br>Запихивайте наздоровье, я не https://opennet.ru/openforum/vsluhforumID3/130860.html#69 Sat, 01 Jul 2023 01:34:01 GMT &gt; Разумеется если пользоваться этим куском старого десятилетнего говна, то ничего и не<br>&gt; найдете. <br><br>Я пользовался GCC 8 и 10 и даже -Wall -Wextra, pedantic, -Wconversion (этот особенно злой) и проч. А на некоторые платформы свежего GCC может и не быть. Скажем для AVR гцц в дистрах обычно застыл на уровне 5.4 и что-то более новые не релизят, может какие проблемы есть с той платформой, мало ли.<br><br>И еще - есть баги компилера. Если gc 4.8 генерил правильный код во всех ситуациях, то что более новый генерит не хуже, во всех ситуациях - отдельный квест по валидации и чертова куча тестов того что получилось заново. Баги в компилерах и на стыке все же бывают.<br> https://opennet.ru/openforum/vsluhforumID3/130860.html#68 Sat, 01 Jul 2023 01:28:58 GMT &gt; Да, тут стоило бы конкретизировать, _при сборке каким компилятором_ эти проверки.<br>&gt; Из интереса прикручивал к сишным проектам и сабж абсолютно бесполезен -- <br>&gt; даже если компилятор уже жалуется, он ничего не увидит. <br><br>А у меня весьма недурно ловил спорные моменты. И это в сишной фирваре где antbug coding был от души. А все равно пару моментов нащупал и я согласен с ним что в принципе так лучше было не делать. С чего это он "бесполезный"?<br><br>Просто его пускать надо как-то типа cppcheck --enable=all --bug-hunting &lt;what&gt;. Bug-hunting может дать ложные срабатывания но все равно полезен.<br> https://opennet.ru/openforum/vsluhforumID3/130860.html#67 Sat, 01 Jul 2023 00:39:26 GMT Я не спорю, что в составе программно-аппаратных комплексов можно и MS-DOS найти. Но разработку-то на этой машине вести зачем?<br> https://opennet.ru/openforum/vsluhforumID3/130860.html#65 Fri, 30 Jun 2023 15:38:54 GMT Не отчаивайтесь, анонимы.<br><br>Для XP подходит эта версия:<br><br>https://github.com/danmar/cppcheck/releases/tag/1.69<br><br>https://sourceforge.net/projects/cppcheck/files/cppcheck/1.69<br><br>Для Висты:<br><br>https://github.com/danmar/cppcheck/releases/tag/1.83<br><br>https://sourceforge.net/projects/cppcheck/files/cppcheck/1.83<br><br><br>Проверил вчера свой хелловорлд -- ошибок нет. :-)<br>