1.1, Аноним (1), 11:31, 29/06/2023 [ответить] [﹢﹢﹢] [ · · · ]
| –17 +/– |
Видеть упоминания си всегда смешно, smatch всегда круче был и в сабже поддержка какая-то для галочки максимум. Правда чёт он там устарел и современный модный си наверно не очень поддерживает. С другой стороны, что там вообще анализировать -- если что не так,только проверки в рантайме спалят. Вот и не пользуется спросом эти полумеры видимо.
| |
|
2.5, Анонимович (?), 11:39, 29/06/2023 [^] [^^] [^^^] [ответить]
| +7 +/– |
Полумеры или не полумеры, а если проверка при сборке что то выявила, то это экономия времени на тестировании.
| |
|
3.6, Аноним (1), 11:49, 29/06/2023 [^] [^^] [^^^] [ответить]
| –8 +/– |
При сборке другие проверки. Сабж это про подсветку "подозрительных" конструкций в IDE, по факту только отвлекает от более важных вещей.
| |
|
4.9, Совершенно другой аноним (?), 12:06, 29/06/2023 [^] [^^] [^^^] [ответить]
| +1 +/– |
При сборке эти проверки. Некоторые его даже прикручивали к системам контроля версий, чтобы контролировать коммиты на корректность и не пропускать в репозиторий. Ловит некоторые проблемы, которые на данный момент не могут выловить штатные компиляторы. Плюс умеет контроль исходников по правилам MISRA C.
| |
|
5.10, Аноним (1), 12:11, 29/06/2023 [^] [^^] [^^^] [ответить]
| –2 +/– |
Да, тут стоило бы конкретизировать, _при сборке каким компилятором_ эти проверки. Из интереса прикручивал к сишным проектам и сабж абсолютно бесполезен -- даже если компилятор уже жалуется, он ничего не увидит.
| |
|
6.12, Совершенно другой аноним (?), 12:21, 29/06/2023 [^] [^^] [^^^] [ответить]
| +/– |
> Да, тут стоило бы конкретизировать, _при сборке каким компилятором_ эти проверки.
Если про конкретные случае - у нас используется для программирования встроенных систем GCC 4.8.1 - cppcheck что-то находил из того, что не находил штатный компилятор.
| |
|
7.39, unknown (??), 23:57, 29/06/2023 [^] [^^] [^^^] [ответить]
| –2 +/– |
Разумеется если пользоваться этим куском старого десятилетнего говна, то ничего и не найдете.
| |
|
8.69, Аноним (69), 04:34, 01/07/2023 [^] [^^] [^^^] [ответить] | +1 +/– | Я пользовался GCC 8 и 10 и даже -Wall -Wextra, pedantic, -Wconversion этот особ... текст свёрнут, показать | |
|
|
6.68, Аноним (69), 04:28, 01/07/2023 [^] [^^] [^^^] [ответить]
| +1 +/– |
> Да, тут стоило бы конкретизировать, _при сборке каким компилятором_ эти проверки.
> Из интереса прикручивал к сишным проектам и сабж абсолютно бесполезен --
> даже если компилятор уже жалуется, он ничего не увидит.
А у меня весьма недурно ловил спорные моменты. И это в сишной фирваре где antbug coding был от души. А все равно пару моментов нащупал и я согласен с ним что в принципе так лучше было не делать. С чего это он "бесполезный"?
Просто его пускать надо как-то типа cppcheck --enable=all --bug-hunting <what>. Bug-hunting может дать ложные срабатывания но все равно полезен.
| |
|
|
4.17, Анонимович (?), 12:38, 29/06/2023 [^] [^^] [^^^] [ответить]
| +/– |
> по факту только отвлекает от более важных вещей.
Глянул. Да, без фильтрации "спама" ненужными сообщениями, только отвлекает.
В cpplint хотя бы можно указать, что конкретно проверять, а не заниматься бесполезной генерацией спама.
| |
|
|
2.53, Аноним (69), 11:17, 30/06/2023 [^] [^^] [^^^] [ответить]
| –1 +/– |
> Видеть упоминания си всегда смешно, smatch всегда круче был и в сабже
> поддержка какая-то для галочки максимум.
Вот не скажите, весьма недурно на сишных проектах работает и словил эн багов. Плюсы по сути superset сей, как при этом можно не уметь в анализ кода на си - загадка :)
> что там вообще анализировать -- если что не так,только проверки в рантайме спалят
Очень круто когда у вас фирмварь вдруг раз - и рантайм еррор. А теперь прикиньте если это в ECU вашего авто было?! Представляете там сишка - и статический анализ как раз вполне хорошая идея. MISRA подтвердит.
| |
|
3.55, Аноним (1), 11:25, 30/06/2023 [^] [^^] [^^^] [ответить]
| +/– |
А очень просто, никаких загадок. Анализа "легаси" конструкций не производится. Си и его компиляторы слишком непредсказуемые на сколько-нибудь сложной логике, в таких вопросах намного безопаснее ассемблер. Какой-нибудь compcert ещё можно в ракеты запихнуть.
| |
|
4.62, Аноним (62), 14:22, 30/06/2023 [^] [^^] [^^^] [ответить]
| +/– |
Прелесть ассемблера в том, что там нет никаких UB и фантазий компилятора. Если что-то пошло не так — претензии можно предъявлять только себе.
| |
4.70, Аноним (69), 04:45, 01/07/2023 [^] [^^] [^^^] [ответить] | +/– | Что значит - легаси Почти все сишные конструкции валидны и в си и не объявлен... большой текст свёрнут, показать | |
|
|
|
|
2.4, Аноним (4), 11:36, 29/06/2023 [^] [^^] [^^^] [ответить]
| –2 +/– |
Нет. Пока это third-party плагин, макaки им пользоваться не будут, а мaкак больше, чем хороших программистов.
| |
|
3.28, warlock66613 (ok), 16:20, 29/06/2023 [^] [^^] [^^^] [ответить]
| +/– |
Ту вы вступаете на тонкую грань противопоставления статического анализатора и линтера. Да, команда 'cargo check' занимается не поиском висячих ссылок, а проверкой стиля, но всё равно это статический анализ кода.
| |
|
4.75, Аноним (75), 12:20, 03/07/2023 [^] [^^] [^^^] [ответить]
| +/– |
Я как-то не встречал уязвимостей, вызванных форматированием кода. Да, плохой стиль может быть причиной, почему уязвимость не заметили, но это другое
| |
|
|
|
1.3, Жироватт (ok), 11:35, 29/06/2023 [ответить] [﹢﹢﹢] [ · · · ]
| +4 +/– |
Эх. Но с другой стороны хорошо, что тут не хабра и нету сектанто-маркетолухов pvs(gvn)-studio.
| |
|
2.7, llolik (ok), 12:03, 29/06/2023 [^] [^^] [^^^] [ответить]
| +6 +/– |
Ну, пивас-студия неплохая, на самом деле. Но пиар-отдел у них, конечно, да. Видимо, на тринадцатую зарплату нарабатывает, не иначе.
| |
|
3.13, n00by (ok), 12:23, 29/06/2023 [^] [^^] [^^^] [ответить]
| +/– |
Если правильно помню и ни с кем не путаю, у них до той студии был другой какой-то проект. Автор пришёл порекламировать на wasm.ru, ему там подробно и совершенно бесплатно объяснили, почему не взлетит. Тогда проект был преобразован в нынешний. А пиар-отдел с тех пор провоцирует критиков на дельные советы.
| |
|
|
5.48, n00by (ok), 09:19, 30/06/2023 [^] [^^] [^^^] [ответить]
| +/– |
Поискал, назывался тот проект viva64 и предназначен был для отлова проблем при переносе 32-х разрядного кода в 64 в ОС Windows. То есть дело было в ограниченном применении, а не бесплатности (временной, на первом этапе).
| |
|
|
7.59, n00by (ok), 14:11, 30/06/2023 [^] [^^] [^^^] [ответить]
| +/– |
> Не, не то.
> https://pvs-studio.ru/ru/cppcat/
Что не то? Вот это по ссылке "который был запущен в начале 2014 года" -- кончено не то. wasm.ru тогда наверное уже и не было. viva64 вышел во второй половине нулевых, как показывает поиск.
| |
|
8.61, Аноним (62), 14:15, 30/06/2023 [^] [^^] [^^^] [ответить] | +/– | Сначала был viva64 Потом появился PVS Studio Потом запилили CppCat для бедных,... текст свёрнут, показать | |
|
9.74, n00by (ok), 11:44, 01/07/2023 [^] [^^] [^^^] [ответить] | +/– | Вот я и пишу, что автор пришёл рекламировать viva64 на форум, а в результате кри... текст свёрнут, показать | |
|
|
|
|
|
|
|
2.11, Капитан Очевидность (?), 12:17, 29/06/2023 [^] [^^] [^^^] [ответить]
| +/– |
Да насколько я помню рекламщик этой фигни и здесь раньше кормился
Может Максим его выгнал, может с мишкой-карманником бабло не поделил, но последнее время не видно
| |
|
|
4.16, Аноним (15), 12:29, 29/06/2023 [^] [^^] [^^^] [ответить]
| +/– |
Чето я гоню там у всех плашка реклама, просто последняя была в 2018 году.
| |
4.22, Капитан Очевидность (?), 13:46, 29/06/2023 [^] [^^] [^^^] [ответить]
| +1 +/– |
> Ну судя по плашке «(реклама)» у последней новости просто решил спросить с
> них бабосики и пвс мгновенно слились. https://www.opennet.dev/cgi-bin/opennet/ks.cgi?mask=pvs-studio
Ну главное, что слились
При чем ничего не имею против коммерческого софта, если он востребован, ничего не имею против его рекламы
Но не так назойливо и в местах для этого предназначенных, пожалуйста!
На Хабре, да ради ЛММ! На профильных конфах, да сколько угодно, если разрешают организаторы
А на лоре или опеннете, ну не место пвсу, простите
Пока не будет новости "ПВС открыт под GNU GPLv3" или какой-то подобной не место им здесь, хоть застрелись
| |
|
|
2.46, Аноним (30), 07:09, 30/06/2023 [^] [^^] [^^^] [ответить]
| +/– |
Здесь сразу пишут идеальный код на сишечке. И без дыр, надо заметить!
| |
|
|
2.27, Аноним (15), 16:19, 29/06/2023 [^] [^^] [^^^] [ответить]
| –1 +/– |
Все в мире совершают ошибка, а они нет. Опять методички от поборников безопастного языка.
| |
2.26, анон (?), 16:18, 29/06/2023 [^] [^^] [^^^] [ответить]
| –1 +/– |
Эльбрус много чего критически важного не поддерживает, например, закладочки анб и светодиодики на стойке. Пока без этого в крупные уважаемые конторы ему доступ закрыт.
| |
|
|
|
3.60, Аноним (62), 14:13, 30/06/2023 [^] [^^] [^^^] [ответить]
| +/– |
Я даже приблизительно представить не могу, какая нужда может заставить заниматься разработкой на машине с XP.
| |
|
4.64, dannyD (?), 17:43, 30/06/2023 [^] [^^] [^^^] [ответить]
| +/– |
два этажа научной установки и какой нить контроллер IEEE-488 заставит и ни такое себе представить )))))
| |
|
5.67, Аноним (30), 03:39, 01/07/2023 [^] [^^] [^^^] [ответить]
| +/– |
Я не спорю, что в составе программно-аппаратных комплексов можно и MS-DOS найти. Но разработку-то на этой машине вести зачем?
| |
|
6.71, Совершенно другой аноним (?), 08:26, 01/07/2023 [^] [^^] [^^^] [ответить]
| +/– |
> Но разработку-то на этой машине вести зачем?
ну, если для работы остального окружения нужны программы, работающие только в MS-DOS и не так приходится раскорячиваться, хотя, конечно, разные dosbox-ы и dosemu немного облегчают дело..
| |
|
|
|
|
|
1.40, Прохожий (??), 01:12, 30/06/2023 [ответить] [﹢﹢﹢] [ · · · ]
| –2 +/– |
Вместо того, чтобы похоронить уже этих динозавров (Си, Си++), продолжают наращивать мощь костылей. Теперь, типа, наши костыли ещё более костылястыми стали, хромать на обе ноги вы сможете ещё быстрее.
| |
|
2.45, Аноним (69), 06:45, 30/06/2023 [^] [^^] [^^^] [ответить]
| –1 +/– |
> Вместо того, чтобы похоронить уже этих динозавров (Си, Си++), продолжают наращивать мощь
> костылей. Теперь, типа, наши костыли ещё более костылястыми стали, хромать на
> обе ноги вы сможете ещё быстрее.
Ну ты софт перепиши на очередном "убийце" а мы посмотрим что получится. Из хруста получилась вот кучка корпоративных холуев, с обязательным поклонением амазону, гуглу и майкрософт в репах карги. И они за всех будут на троих соображать что хорошо а что плохо.
| |
2.56, GraiT (?), 12:07, 30/06/2023 [^] [^^] [^^^] [ответить]
| +/– |
Не нравится СИ и С++, не использую и программы можешь, написанные на этих языках, не запускать.
| |
|
|