forum.opennet.ru

"Выпуск cppcheck 2.12, статического анализатора кода для языков C++ и С"

Форум Разговоры, обсуждение новостей
Версия для распечатки	Пред. тема \| След. тема

Исходное сообщение

[ Отслеживать ]

Присылайте удачные настройки в раздел примеров файлов конфигурации на WIKI.opennet.ru.

. "Выпуск cppcheck 2.12, статического анализатора кода для язык..."	+/–
Сообщение от Аноним (128), 17-Сен-23, 11:00
> Ну как бы да, это и есть implementation-defined behavior. Но вы его > путаете с undefined behavior, которое при любом раскладе undefined. Из одного может получиться другое. Скажем формат signed - implementation defined. Откуда вытекает что signed overflow - UB, потому что может быть что так что сяк. В зависимости от формата хранения.
Ответить \| Правка \| Наверх \| Cообщить модератору

Оглавление

Выпуск cppcheck 2.12, статического анализатора кода для языков C++ и С, opennews, 15-Сен-23, 21:59 [смотреть все]

Кто-то использовал Мнение , Аноним, 15-Сен-23, 21:59 (1) //
- Smatch на 2 головы полезнее , Аноним, 15-Сен-23, 22:16 (2) //
  - ты вот это васяноподелие пытаешься рекламировать https github com error27 smat, Аноним, 16-Сен-23, 00:53 (24) //
    - Сам ты васяноподелие Буквально А сообщения там куда полезней были, цппчек ниче, Аноним, 16-Сен-23, 01:06 (29)
- Мнение любой статический анализатор лучше отсутствия статического анализатора , warlock66613, 15-Сен-23, 22:49 (9) //
  - Исправлять надо причину появление ошибок, а не вылавливать их как блох уже после, Аноним, 15-Сен-23, 23:29 (15) //
    - Вот так и напиши в своём заявлении по собственному , Аноним, 15-Сен-23, 23:51 (17)
      - Я не пользуюсь дырявыми языками родом из 50-х , Аноним, 15-Сен-23, 23:55 (18)
        
        Соответственно с микроконтроллерами не работаете, производительные модули не исп, _kp, 16-Сен-23, 00:05 (22)
        Electron гуру JS сенсей CSS будда , Аноним, 16-Сен-23, 01:01 (28)
        
        Ом мани падме хум, Аноним, 16-Сен-23, 09:17 (46)
        Микрософт Ворд печатник , Первая буква, 16-Сен-23, 09:18 (47)
        
        Гордый пользователь редокса и фуксии на десктопе , Аноним, 17-Сен-23, 10:08 (122)
        Напиши это в резюме и выдели жирным , Аноним, 17-Сен-23, 11:58 (134)
        
        Всегда так делаю , Аноним, 18-Сен-23, 20:54 (186)
    - Ну да, нужно просто начать писать код без ошибок Делов-то , Аноним, 15-Сен-23, 23:56 (19)
      - Или использовать известный безопасный язык со строгим конпелятором , Аноним, 16-Сен-23, 17:00 (73)
        
        То есть Crab , Аноним, 17-Сен-23, 11:51 (132)
    - Есть ещё мелкие опечатки, описки, которые компилятор в вполне скомпилирует, а ан, _kp, 16-Сен-23, 00:02 (21)
    - Так можно и в протворечие с резолюции 260 III запросто войти , Аноним, 17-Сен-23, 13:35 (144)
- Если самосборный использовать, подавив лишниее сообщения, то вполне полезен, и н, _kp, 16-Сен-23, 00:00 (20) //
  - а грепнуть лишнее не вариант , Аноним, 16-Сен-23, 00:56 (25) //
    - Можно, если любите длинные выражения писать, и нужно если ещё и любите их потом , _kp, 16-Сен-23, 01:20 (30)
      - Фирмару надо нормально писать - тогда оки все Я проверял - у меня практически б, Аноним, 16-Сен-23, 02:22 (33)
        
        Я не Ардуины, а о более реальных крупных проектах для микроконтроллеров От компи, _kp, 16-Сен-23, 03:09 (36)
        
        У ардуины код крупный как раз - 100500 либ и черт его знает что там про них чеке, Аноним, 16-Сен-23, 17:44 (81)
        
        когда у тебя на 1 ошибку 10000 бесполезных советов, то такой статический анализа, penetrator, 16-Сен-23, 14:11 (66)
        
        Или как вариант - д рьмовый кодер, возомнивший себя самой умной клавой на глобус, Аноним, 16-Сен-23, 17:48 (82)
        
        О, так это их стандартное поведение Они же типа ылитка А потом начинается или , Анонин, 16-Сен-23, 18:40 (89)
        
        Ну вот я немного подустал за ними править отрицательные индексы, левую математик, Аноним, 16-Сен-23, 21:27 (109)
        
        Устал - гоу на пенсию, нытик-неосилятор Пылинку в чужом коде все горазды замети, Аноним, 17-Сен-23, 11:56 (133)
        
        Ну если buffer overrun при определенных аргументах, или факап в математике выдаю, Аноним, 17-Сен-23, 16:41 (152)
        
        Сразу видно человека который фирмварь никогда не писал, иначе знал бы что hardwa, т1110втфатф1110, 17-Сен-23, 17:08 (155)
        
        128175 пудов особенно такое проявляется конда и платку сам разводил и фирмва, Аноним, 17-Сен-23, 18:11 (158)
      - зачем мне писать и править длинные выражения, что такое выражени, что такое сниж, Аноним, 16-Сен-23, 13:12 (59)
        
        Если у вас снижена компиляция, то нужно всего лишь раз в день принимать советско, C00l_ni66a, 17-Сен-23, 04:16 (117)
- Вполне работоспособная и полезная штука, подтянула качество кода моим проектам и, Аноним, 16-Сен-23, 02:19 (32)
- Из бесплатных - лучший Но полное г по сравнению с платными , Мда, 17-Сен-23, 08:53 (119)
быстро развивается, Хосе, 15-Сен-23, 22:23 (3)
Сначала слепили дврявый язык, а теперь думают как избавить код от ошибок 12931, Аноним, 15-Сен-23, 22:57 (10) //
- Другие написали точно такой же дырявый язык и пытаются всем внушить что он не ды, Аноним, 16-Сен-23, 10:40 (56) //
  - Пруфы дырок будут или только газификации луж, Аноним, 16-Сен-23, 17:02 (74) //
    - Ждем пруфы дырок , Аноним, 17-Сен-23, 12:03 (135)
Именно поэтому Раст не нужен Пока проблемы решаются через анализаторы кода, отд, Аноним, 15-Сен-23, 23:03 (11) //
- Не решаются Количество ИЗВЕСТНЫХ уязвимостей не даст соврать А сколько ещё НЕИ, Аноним, 15-Сен-23, 23:23 (13) //
  - То же самое применимо к новому языку А сколько у него еще НЕНАПИСАНЫХ ошибок , Аноним, 17-Сен-23, 12:07 (136)
- Rust - не даёт прострелить ногу, пока не используется unsafe Ну, по крайней мер, _kp, 16-Сен-23, 04:45 (42) //
  - std unique_ptr С разморозкой, появился в 2011 году, Аноним, 16-Сен-23, 08:01 (43) //
    - угу, а куча проектов все еще на более древних версияхи переходить они не собираю, Аноним, 16-Сен-23, 09:04 (44)
      - Раст переписать в принципе невозможно Давай ещё аргументов , Аноним, 16-Сен-23, 10:37 (53)
    - это конкретно std unique_ptr появился тогда, но никто не мешал до него написать, Аноним, 16-Сен-23, 13:13 (60)
      - Мелало отсутствие мув-семантики , Анонми, 16-Сен-23, 16:40 (72)
    - И как тебе этот юникпоинтер не позволит изменить значение из разных потоков , Советский инженер, 17-Сен-23, 10:22 (126)
  - Я как практикующий сишник скажу, что в реальности не всё так, как ты обрисовал , Аноним, 16-Сен-23, 09:22 (48)
  - Ты всегда используешь ансей в расте, зачем тогда Раст Ни один растовик пока что, Аноним, 16-Сен-23, 10:39 (55) //
    - Rust всегда Rust, что safe, что unsafe правила одни и те же и там и там В unsa, warlock66613, 16-Сен-23, 13:27 (64)
    - Ты всегда пишешь чушь Внятно - это в рамках персонально твоей, альтернативной ло, Аноним, 16-Сен-23, 14:18 (67)
    - Может ты просто не в состоянии осилить ответ , Анонимусс, 16-Сен-23, 16:01 (70)
      - Ты в танке Он же ясно сказал, что на этот вопрос растаманы не могут дать внятно, Аноним, 16-Сен-23, 17:31 (79)
- Раст, по факту, это один большой стат анализатор , Мда, 17-Сен-23, 20:52 (164)
Чем бы ни страдать, абы на язык с нормальным компилятором не переходить, в котор, Аноним, 15-Сен-23, 23:22 (12) //
- необучаемость, сэр , Аноним, 15-Сен-23, 23:23 (14)
- столько не живут, сколько ты будешь свой говнокод переделывать под хотелки компи, Аноним, 16-Сен-23, 00:58 (26) //
  - А под хотелки статического анализатора не нужно переделывать, да , Аноним, 16-Сен-23, 01:51 (31) //
    - Как только он начинает выпендриваться на него кладется болт и хотела идёт в искл, Аноним, 16-Сен-23, 10:36 (52)
      - Звучит надёжно и очень безопасно, Аноним, 16-Сен-23, 17:04 (75)
        
        Уже ходишь в бронетрусах , Аноним, 17-Сен-23, 23:26 (167)
      - А потом вы такой садитесь в тоету с непатченым ECU и наслаждаетесь острыми ощуще, Аноним, 16-Сен-23, 21:30 (111)
    - да, не надо, потому что он указывает на косяки, а не на шизофазию головного мозг, Аноним, 16-Сен-23, 13:15 (61)
- Ну Herb Sutter уже пишет новый cpp2 Очнулись такиhttps github com hsutter cp, Anonim, 16-Сен-23, 10:36 (51)
- Страуструп тут недавно выступал и совершенно точно подметил, что те, кто думает,, Аноним, 16-Сен-23, 10:37 (54) //
  - Страуструп не понимает что UB 8212 это не некорректность Суть не в том что, warlock66613, 16-Сен-23, 13:32 (65) //
    - Пионеры не в состоянии понять, что UB - это следствие разнородности аппаратных п, Аноним, 16-Сен-23, 14:32 (68)
      - А вот и нет Что для signed int, что для unsigned int выполняется two 8217 s co, Анонин, 16-Сен-23, 15:58 (69)
        
        Вы либо крестик снимите, либо трусы наденьте если вы пишете, что у вас нет runt, Аноним, 16-Сен-23, 16:03 (71)
        
        Oh, my sweet summer child Наличие UB не дает магического прироста скорости О, Анонми, 16-Сен-23, 17:51 (83)
        
        неофиты неисправимы если ты знаешь, как работает комп, на котором ты будешь за, Аноним, 16-Сен-23, 17:57 (84)
        
        Боже вот из-за таких как ты, нынешний софт такой багованый Открываем ISO IE, Анонимусс, 16-Сен-23, 18:17 (86)
        
        Ну так по этому определению твой любимый пионерский язычок, в котором якобы нет , Аноним, 16-Сен-23, 18:26 (87)
        
        Нет, речь не про раст, и даже не про с А про подход, что ты просто берёшь и д, Анонимусс, 16-Сен-23, 18:38 (88)
        
        Поведение integer overflow описано и зафиксировано и в C ТОЖЕ Только описано , Аноним, 16-Сен-23, 19:02 (91)
        А вот теперь пруфы для signed integer overflow хотя бы для пары платформ ссылки, Анонимусс, 16-Сен-23, 19:13 (94)
        Пожалуйста https gcc gnu org onlinedocs gcc Code-Gen-Options htmlА теперь рас, Аноним, 16-Сен-23, 20:06 (99)
        Нет, дружок, не зафиксированно В стандарте C черным по белму написано, что si, Анонми, 16-Сен-23, 19:34 (95)
        Ещё раз UB в этом контексте означает то же поведение, что и в пионерском язычке, Аноним, 16-Сен-23, 20:10 (100)
        UB в этом - и в любом другом - контексте не может означать какого-то поведения , Анонми, 16-Сен-23, 20:32 (103)
        Я на C деньги зарабатываю, а ты пионер, который пересказывает проповеди еванге, Аноним, 16-Сен-23, 20:40 (104)
        Это не так Ты сейчас говоришь про 3 29 unspecified behavior behavior, for a wel, Анонимусс, 16-Сен-23, 21:28 (110)
        Я говорю так, как оно есть, но я пытаюсь что-то донести до пионера-фанатика, кот, Аноним, 16-Сен-23, 22:23 (113)
        Забавно было бы услышать, почему тогда 70 всех уязвимостей - это именно работа , Аноним, 16-Сен-23, 23:17 (115)
        Дорогой пионер, стандартов C уже 6 штук и на подходе 7-й И различаются некото, Аноним, 16-Сен-23, 23:51 (116)
        И все так счастливы поддерживать этот прекрасный язычок что, как ты и сам замети, Советский инженер, 17-Сен-23, 10:32 (127)
        Дорогой непионер, мы все уже давно поняли твою позицию и что ты из себя представ, Анонимусс, 17-Сен-23, 10:20 (124)
        Не забудь принять стандарт ISO пионерского язычка и сменить дыряшку на реактос, Аноним, 17-Сен-23, 11:11 (129)
        скомпиляй ядро без расширений GNU для С, и тогда что-то рассказывай, любитель ст, Аноним, 17-Сен-23, 12:30 (139)
        Вы думаете это случайно так По недомыслию разработчиков стандартов Вы то умнее, Аноним, 17-Сен-23, 14:30 (147)
        я не знаю по какой причине стандарт такой как есть, но вот хвастатся таким станд, Аноним, 17-Сен-23, 18:02 (157)
        То есть, не читал, но осуждаю Он есть В отличии от И он рассчитан на развитие, Аноним, 17-Сен-23, 19:44 (160)
        Не мычи, ядро по стандарту собрал или нет Если нет, то пошол вон , Советский инженер, 18-Сен-23, 04:47 (171)
        Это вендорлок , Аноним, 18-Сен-23, 20:04 (184)
        Забавно слышать от фанатов rust а У которых нет стандарта И есть 1 2 реализации , Аноним, 17-Сен-23, 11:13 (130)
        ха, чем такие стандарты в которых UB в перемешку с implementation-defined, котоы, Аноним, 17-Сен-23, 12:24 (138)
        Во Во Это ниша пионерских язычков Вот так и живите дальше , Аноним, 17-Сен-23, 13:37 (145)
        А мы будем и дальше просто брать, и делать UB , да Ох и цирк , Аноним, 17-Сен-23, 14:41 (148)
        Это чувство самосохранения Не заниматься однодневками , Аноним, 17-Сен-23, 19:46 (161)
        С таким подходом тебе надо безопасненько на Яве писать , или вообще на коболе Ты, Советский инженер, 18-Сен-23, 08:07 (174)
        Скопипащу с форума одного сайта Это то, что очевидно, но как-то многие делают в, Серб, 18-Сен-23, 17:16 (181)
        блииин, а я всегда думал надо чтоб собранное работало а оно вот как, собрал, Аноним, 18-Сен-23, 18:34 (182)
        Зачем попросту ерничать Понятно же, что и работать должно , Серб, 18-Сен-23, 18:40 (183)
        
        Не совсем Это ты можешь либо эт-самое в лужу, либо просто в сторону растоманов, Аноним, 16-Сен-23, 21:17 (108)
        
        Ахаха Чел, ты это серьезно Вот и все, что нужно знать о противниках Раста Зат, Анонми, 16-Сен-23, 19:38 (96)
      - Извини, но нет концепция UB не добавляет C C возможность поддержки каких-то д, Анонми, 16-Сен-23, 17:06 (76)
        
        Да он не про Концепцию Неопределённого поведения говорит , Аноним, 16-Сен-23, 17:35 (80)
      - Вы явно путаете undefined behavior и implementation-defined behavior Это _очень, warlock66613, 16-Сен-23, 20:02 (98)
        
        Нет, это вы не понимаете, что аппаратная платформа отличается от компилятора, дл, Аноним, 16-Сен-23, 20:19 (101)
        
        Ну как бы да, это и есть implementation-defined behavior Но вы его путаете с un, Анонми, 16-Сен-23, 20:44 (105)
        
        Из одного может получиться другое Скажем формат signed - implementation defined , Аноним, 17-Сен-23, 11:00 (128)
        Я ничего не путаю Это ты не понимаешь, что есть стандарт C для десятков компи, Аноним, 17-Сен-23, 11:22 (131)
        
        ага, ага стандарт есть, но мягкий 129315 да и сам язычек такой, что при первой, Аноним, 17-Сен-23, 18:37 (159)
        
        Ты имеешь ввиду мозилу, которая получив опыт, свалила с rust а , Аноним, 17-Сен-23, 20:36 (163)
        
        мозила свалила с раста только в альтернативной реальности местных икспертов , Аноним, 18-Сен-23, 10:27 (175)
        Ты нагло лжешь https wiki mozilla org Oxidation Rust_Componentshttps 4e6 git, Аноним, 18-Сен-23, 10:37 (176)
        
        Так, интереса ради, что на нем сейчас пишут в firefox Что подсмотреть за интерес, Серб, 18-Сен-23, 14:09 (178)
        
        Бла бла бла UB, бла бла бла implementation-defined Так и что там с корректнос, Советский инженер, 17-Сен-23, 10:12 (123)
        
        С корректностью чего именно По сути каких именно предьяв , Аноним, 17-Сен-23, 12:44 (141)
        
        вот уж действительно, о какой корректности в контексте полюсов можно говорить оч, Аноним, 17-Сен-23, 12:58 (142)
        
        Чел, при наличии UB в коде и сам код, и получающиеся из него бинари некорректны , Аноним, 17-Сен-23, 13:03 (143)
      - На практике это скорее ведет к хреновой куче багов в коде на ровном месте А ком, Аноним, 16-Сен-23, 21:37 (112)
  - Да, да А то, что более 70 всех уязвимостей в софте вызваны именно неправильн, Анонми, 16-Сен-23, 17:18 (77) //
    - Нет, ровно об этом и говорил do not use low-level unsafe features - hide them i, Аноним, 16-Сен-23, 18:49 (90)
      - Ага, уязвимости же от этого магическим образом исчезают Это типа как мусор зам, Анонми, 16-Сен-23, 19:52 (97)
    - ну не может же он сказать мое детище это кусок кала, мы забивали на безопасност, неАнон, 16-Сен-23, 19:03 (92)
- Ну и где у нас нормальные компиляторы - , BeLord, 22-Сен-23, 11:44 (192)
Лучше valgrind а , Аноним, 15-Сен-23, 23:30 (16) //
- одновременно юзаю valgrind, clang static analyzer и cppcheck, Аноним, 16-Сен-23, 00:59 (27)
- Он как бы не замена оному Есть статический анализ, а есть анализ в рантайме Va, Аноним, 16-Сен-23, 02:25 (34)
Чего только не придумают лишь бы не писать без ошибок , Аноним, 16-Сен-23, 02:36 (35) //
- Действительно, ведь всего-то нужно начать сint main void return 0 а дальше, burjui, 16-Сен-23, 03:25 (37) //
  - я бы еще добавил каст к void , ну так, чисто чтобы держать планкуи чтобы следующ, Аноним, 16-Сен-23, 09:05 (45)
  - согласно теории ошибок либо у тебя в программе нет ошибок, либо она никому не ну, Аноним, 16-Сен-23, 13:17 (62) //
    - есть ошибки, Аноним, 16-Сен-23, 13:17 (63)
Кто-то хоть раз с этим анализатором РЕАЛЬНЫЙ баг находил вот который на самом д, Аноним, 16-Сен-23, 18:06 (85) //
- Да, например случайная копипаста недоправленная, т е что-то типа точно не помн, Мда, 17-Сен-23, 08:56 (120) //
  - Можно рубануть в стиле антибаг Наример define MEMCOPY x, y memcpy x , y ,, Аноним, 17-Сен-23, 16:53 (153)
А почему не С и С Так же намного привычнее , Govein, 16-Сен-23, 20:46 (106) //
- ну, наверно, потому что это cpp check, а не c check , хрю, 16-Сен-23, 22:48 (114)
хорошая штука, до VPS 129412 конечно не дотягивает, но всё же , iPony129412, 17-Сен-23, 10:21 (125)
А существует ли книга или серия статей о best practices в языке C Чтоб сразу , Каптер, 17-Сен-23, 15:12 (149) //
- 1 Embedded C coding standard - by M Barr - можно укачать нашару насколько я пом, Аноним, 17-Сен-23, 17:02 (154) //
  - И есть несколько книг, описывающие, что так делать нельзя, так как хуже восприни, Аноним, 17-Сен-23, 19:53 (162) //
    - Компилер при случае жестко рубанувший присвоение переменной a числу 10 как невоз, Аноним, 18-Сен-23, 01:56 (169)
  - Никогда не понимал, почему в сишке разрешено присваивание в условии Ведь это ещ, Каптер, 18-Сен-23, 07:28 (172) //
    - if a - не смущает же и if retcode fn тоже не смущает, и более того, Аноним Максим, 18-Сен-23, 12:18 (177)
      - Честно говоря - смущает , Каптер, 18-Сен-23, 16:27 (179)
      - Вопрос а зачем тут retcode вообще if fn было чем-то не круто Или если, Аноним, 18-Сен-23, 17:01 (180)
        
        например, для того, чтобыif retcode fn 0 elseif retcode 0 else , Совершенно другой аноним, 19-Сен-23, 08:28 (188)
        
        Чувак, открой для себя тег code code без восклицательных знаков, он, Аноним, 21-Сен-23, 02:52 (190)
    - Сэкономить одну строчку на кулхацкерских понтах, voiceofreason, 21-Сен-23, 01:05 (189)
      - Как-то так в программах и появляются баги на ровном месте, а коллега неверно тра, Аноним, 21-Сен-23, 02:54 (191)
- https gist github com Earnestly 7c903f481ff9d29a3dd1Вот здесь список проявлени, Аноним, 17-Сен-23, 23:36 (168)

Форумы | Темы | Пред. тема | След. тема

Партнёры:

Хостинг:

Закладки на сайте
Проследить за страницей

Created 1996-2024 by Maxim Chirkov
Добавить, Поддержать, Вебмастеру