> Прям как в анекдоте https://www.anekdot.ru/id/75546/ Не, нам так не катит. Я хочу знать о своем и чужом коде истинное состояние дел а не пребывать в блаженном неведении под красивые сказки.
Видите ли, я управляющими системами развлекаюсь. Микроконтроллеры, одноплатники, вот это все. И меня при этом интересует знать именно истинное состояние дел. И чтобы код был как можно качественнее. Если ему что-то ответственное доверить собираемся - это как-то так. Сейчас компьютеры и мк управляют АЭС, химпредприятиями, энергетикой, производствами, транспортом всех мастей и направлений. Наша цивилизация изменилась. И требования к коду стали в ряде аспектов здорово другие.
И просто для понимания, по состоянию на сейчас в линух домерживают последние оставшиеся патчи проекта RT_LINUX. Которые, как вы понимаете, совсем не для красоты. Да что там, отсутствие багов в ядре актуально даже на обычном десктопе, потому что порушенная В ЯДРЕ рама может накрыть структуры файлухи, с чудной кончиной ОС или потерей данных, или уронить систему в панику. В этом месте дидам надлежит познать тао antibug coding - или уйти. Как исправивший ряд вулнов в их чудном коде говорю.
> Деды уже как 20+ лет не при делах, уже 20+ лет есть сети и все про это в
> курсе и даже с менеджерских позиций их давно поперли, но все равно
> продолжают валить на дедов.
Чей код фэйлит - к тому и претензии. Все просто. Я за олдовым и весьма кондовым кодером вот прям ща например алго запатчил - могло отрицательные индексы массиву скормить при определенных входных данных. Круто, да? Люблю дидов, int в индексах, пофигизм на проверки входных параметров функции и валидацию математики, неструктурированные апи и void* в каддой дырке, так что ни я ни компилер даже в проекте не разберемся что реально хотел засабмитить кодер - за отсутствием аннотаций намерений. Это именно их стиль писать вот так :). К сожалению натурный эксперимент показал что стиль богов не годится для смертных - они на богов не тянут и сажают тупейшие баги. Ну, вот, индексы отрицательные. Куда оно там по памяти скатается при этом только ubsan и знает :)
> Но что-то в расте уязвимостей меньше не стало, а вот фейспалмов
> стало больше.
Ну мне не нравятся эти типы - но иногда они таки имеют пойнт. В том числе с UB, жестко оговоренным размером типов без разночтений вместо "int" е...чего. А еще у си вообще довольно много странной фигни в стандартах. Скажем integer promotion. Или формат представления знаковых - разные варианты при этом и результирующий UB при врапе. Это уж совсем незачет.