forum.opennet.ru - "Обновление OpenSSH 9.9p1 с устранением возможности совершения MITM-атаки" (131)

"Обновление OpenSSH 9.9p1 с устранением возможности совершения MITM-атаки"

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

"Обновление OpenSSH 9.9p1 с устранением возможности совершения MITM-атаки"	+/–
Сообщение от opennews (??), 18-Фев-25, 19:36
Доступен корректирующий выпуск OpenSSH 9.9p1, в котором устранены две уязвимости, выявленные компанией Qualys. Продемонстрирован пример использования данных уязвимостей для совершения MITM-атаки, позволяющей при попытке подключения клиента к SSH-серверу, перенаправить трафик на собственный фиктивный сервер, обойти проверку хостовых ключей и создать у клиента видимость подключения к желаемому серверу (ssh-клиент примет хостовый ключ фиктивного сервера вместо ключа легитимного сервера)... Подробнее: https://www.opennet.dev/opennews/art.shtml?num=62742
Ответить \| Правка \| Cообщить модератору

Оглавление

Нужен язык, который не позволяет оставлять алгоритмические ветки необработанными, Fracta1L (ok), 19:43 , 18-Фев-25, (2) +1

Хм кажется zig такое умеет Ну или V на крайняк Можно было бы сделать Safe-C, н, Аноним (-), 19:49 , 18-Фев-25, (7) –1

Так Safe-C это же про выходы за границы буферов , Аноним (74), 07:35 , 19-Фев-25, (74) +1

есть такой, но его тут хейтят, особенно те кто не могут осилить, Вася Пупкин (?), 20:08 , 18-Фев-25, (9) –4

Brainfuck чтоли По принципу - не смогли написать ssh сервер - и дыр нет, зашиби, Аноним (-), 20:41 , 18-Фев-25, (19) +4
Это какой , Fracta1L (ok), 21:03 , 18-Фев-25, (35)

Эталонный https www phoronix com news Torvalds-Override-On-Rust-Code, Аноним (63), 01:59 , 19-Фев-25, (63) –2

Давай уж не звезди, он не устраняет логические ошибки PS Да вообще сомнительно, , Аноним (74), 07:38 , 19-Фев-25, (75)
Ассемблер, шоле , aname (?), 10:55 , 19-Фев-25, (93) +1

в данном случае достаточно было bool, но это СИ, и многое там просто потому что , penetrator (?), 23:34 , 18-Фев-25, (57)

Тпипизация в состоянии отследить и логические ошибки тоже Особенно со всякими з, Аноним (78), 09:23 , 19-Фев-25, (78)

Таких языков уже куча Из относительно популярных rust, haskell, ocaml Восходя, Аноним (78), 09:33 , 19-Фев-25, (81) –2
Зачем Какую проблему это решит Я иногда пишу так что у меня есть куски которые п, Ivan_83 (ok), 10:07 , 19-Фев-25, (86) +1

Для таких вещей, как openssl не помешало бы и докзательство, но сишники не осили, Аноним (78), 12:45 , 19-Фев-25, (99) –1

Доказательство чего А в ветки которые никогда не должны по идее выполнятся я мог, Ivan_83 (ok), 13:42 , 19-Фев-25, (107)

Корректности кодаВы случаем не любитель динамической типизации Ну и что, что уп, Аноним (78), 14:51 , 19-Фев-25, (110)

Для проверки корректности достаточно тестов Мне всё равно какая там типизация Вы, Ivan_83 (ok), 00:37 , 20-Фев-25, (128)

Тесты годятся для того, чтобы показать наличие ошибок, но не годятся для доказат, Аноним (78), 01:12 , 20-Фев-25, (131)

Зависит от кода и тестов В остальном я не понял какую проблему вы этим решаете , Ivan_83 (ok), 06:08 , 20-Фев-25, (136)

Не зависит Вы тестами никогда не покроете все возможные варианты Если вам нужн, Аноним (78), 10:52 , 20-Фев-25, (137)

Ни какой даже самый безопасный ЯП не спасет от человеческой глупости , Аноним (3), 19:43 , 18-Фев-25, (3) +2

Книги по логике способны помочь человеку, но многие не хотят тратить время на их, Уууууъъъ (?), 19:48 , 18-Фев-25, (6)

не способны, Аноним (11), 20:17 , 18-Фев-25, (11) +5
Альберту Эйнштейну приписывают следующее высказывание В мире есть всего две бес, Аноним (3), 20:48 , 18-Фев-25, (27)

Сомнительная отсылка к сомнительному авторитету СТО опирается на метрику поляка , Аноним (55), 23:19 , 18-Фев-25, (55) –1

Минковский сопоставил СТО с псевдоевклидовой метрикой уже после создания самой С, Аноним (74), 07:43 , 19-Фев-25, (76) +1

Типизация в состоянии отследить и логические ошибки тоже Особенно со всякими за, Аноним (78), 09:34 , 19-Фев-25, (82)

Это не логическая ошибка Это убогость обработки ошибок в сишечке в принципе Если, Аноним (-), 19:53 , 18-Фев-25, (8) +2

Это убогость программиста, в случае убогости сишечки, вы бы данный случай не пер, Аноним (11), 20:16 , 18-Фев-25, (10) +1

Вы фикс видели - xxx_conn_info -1 xxx_conn_info 0 А теперь вопрос, есл, Аноним (-), 20:33 , 18-Фев-25, (15) –2

и сишечка вам не даст возможности что-либо сделать , Аноним (11), 20:36 , 18-Фев-25, (16)

Наоборот Она даст тебе возможность сделать еще одну ошибку , Аноним (-), 20:43 , 18-Фев-25, (21) +2

Можно подробнее, пожалуйста Что-то не понял , Аноним (63), 02:11 , 19-Фев-25, (64)

Ошибку совершает человек причем тут сишечка , Аноним (11), 20:47 , 18-Фев-25, (26) +3

В отрезанном пальце виновата работник, циркулярка или недоинженер, которых не сп, Аноним (-), 21:23 , 18-Фев-25, (39)

не защиту в целом, а защиту от дурака, в этом могу согласиться Тут главное инстр, Аноним (11), 21:35 , 18-Фев-25, (42)

если программист выбирает тип для данных, где количество допустимых значений рав, Аноним (11), 20:45 , 18-Фев-25, (23)

А других типов данных у него нет Можно было бы взять signed char дабы сузить кол, Аноним (-), 20:51 , 18-Фев-25, (31)

ну тогда нужно использовать enum Принципиальным тут должно быть количество ЗНАЧИ, Аноним (11), 21:22 , 18-Фев-25, (38)

Чем бы тебе помог сишный енам Вот пример с незахендренным кейсом godbolt org z 1, Аноним (-), 21:30 , 18-Фев-25, (41)

Тем, что я явно описал все допустимые значения, а то что забыл проверить одно из, Аноним (11), 21:55 , 18-Фев-25, (45) +1

Сразу видно, что Аноним не работал с большими проектами, где часть кода написана, Аноним (78), 09:39 , 19-Фев-25, (83)

так конкретный кусок кода ответственный за ошибку пишет ведь один человек, не та, Аноним (113), 15:28 , 19-Фев-25, (113)

И что, он весь проект знает По вашему он убедт пять лет проект изучать, прежде , Аноним (78), 18:16 , 19-Фев-25, (120)

оставлю ответ за тем кто Сразу видно, что РАБОТАЛ с большими проектами , будьте, Аноним (113), 18:30 , 19-Фев-25, (122)
Добавьте пять строк к большому проекту так, чтобы нигде ничего в самом неожиданн, Аноним (78), 10:54 , 20-Фев-25, (138)

Си нужно закопать А в нормальных языках есть сопоставление с образцом, на что и, Аноним (78), 09:26 , 19-Фев-25, (79) –1

нет , Аноним (113), 16:11 , 19-Фев-25, (118) +1

Опять кто то кому то обязан int часто берут и юзают как bool, просто потому что , Ivan_83 (ok), 10:11 , 19-Фев-25, (89) +1

В си уже появился bool Когда успел , Аноним (78), 12:47 , 19-Фев-25, (100)

с С99 , Совершенно другой аноним (?), 12:53 , 19-Фев-25, (103)
stdbool hНе знаю когда, это не та часть которая меня интересует , Ivan_83 (ok), 13:45 , 19-Фев-25, (108)

Скорее всего просто сперва написали что может быть только 0 в случае удачного за, COBA (?), 23:03 , 18-Фев-25, (51)

с точки зрения логики, функция должна возвращать либо успех истина , либо не ус, Аноним (11), 23:32 , 18-Фев-25, (56)

А с точки зрения математики, функция y f x 8212 соответствие между двумя мно, Аноним (60), 01:04 , 19-Фев-25, (60)

То что вы описали, это область значений функций, и я не отменял их, допустимо и , Аноним (11), 02:19 , 19-Фев-25, (65)

Архитектурно уже есть варианты Например с использованием исключениям, когда фун, Аноним (60), 10:07 , 19-Фев-25, (87)

Коррекция 171 8230 с использованием исключений, 8230 187 171 8230 не, Аноним (60), 10:12 , 19-Фев-25, (90)

Двоешник Функция y mod 124 10 124 x Значению y 5 соответствует какое значение, Аноним (3), 11:17 , 19-Фев-25, (95) –1

А чё не y x 2 при y 4 Цитата из одной из энциклопедий, ближе к концу статьи 17, Аноним (60), 12:03 , 19-Фев-25, (97)

Можно конечно ввести госты стандарты на оформление функций и строго следить за и, Аноним (60), 12:14 , 19-Фев-25, (98)

А в чем проблема то Утверждение каждому элементу одного множества соответствуе, Аноним (113), 15:45 , 19-Фев-25, (116)

Есть ещё отсутствие результата, nil Но для того, чтобы это понять надо думать н, Аноним (66), 02:53 , 19-Фев-25, (66)

Ну в таком случае мы говорим об логической успешности или не успешности функции , Аноним (11), 04:38 , 19-Фев-25, (68)

В том то и дело что неуспех может быть разный Может неверные параметры пришли и, COBA (?), 11:18 , 19-Фев-25, (96)

Да и логика бывает разной, для классической допустим закон исключенного третьего, Аноним (113), 15:59 , 19-Фев-25, (117)

Ничего не будет и это жизнь 0 является типовым кодом нет ошибок в коде на Си, Буратино (?), 06:10 , 19-Фев-25, (71)
Ошибкой будет считаться всё, что не 0 , Совершенно другой аноним (?), 10:26 , 19-Фев-25, (91)

Да лана, просто проверяешь 0 и всё Switch же это не обязательная конструкция, , sena (ok), 20:27 , 18-Фев-25, (13)

Та если бы Вот фикс github com openssh openssh-portable commit 0832aac79517611dd, Аноним (-), 20:42 , 18-Фев-25, (20)
А потом какая-то светла голова например решит, что 0 это тоже нормально для , Аноним (-), 20:47 , 18-Фев-25, (25)

Если ошибка может быть допущена, то она будет допущена Закон Мерфи же , sena (ok), 21:01 , 18-Фев-25, (33) +1

Отказываемся от светофоров, изоленты и ТБ на производстве Ну типа если человек, Аноним (-), 21:05 , 18-Фев-25, (36)

Нет, просто отказываемся от преувеличений и абсолютизации Если придерживаться Т, sena (ok), 21:16 , 18-Фев-25, (37)

Думаю это уже лучше чем полагаться на авось Т е если вернуться к теме обсуждения, Аноним (-), 21:24 , 18-Фев-25, (40) –1

нет, нет и трижды нет, пусть компилятор занимается лучше оптимальной кодогенерац, Аноним (11), 21:58 , 18-Фев-25, (47)

В итоге, ошибки на Си - самые оптимизированные Так и живем , Аноним (-), 22:40 , 18-Фев-25, (50) +1

Если бы компилятор бил бы всегда по рукам за логические ошибки, то это был бы не, Аноним (11), 23:16 , 18-Фев-25, (54) +1

Программисты всё равно найдут способ совершить ошибку, а сильно умный компилятор, sena (ok), 00:46 , 19-Фев-25, (59)

Бездоказательное утверждение А вот примеры с ПДД, ПУЭ, ТД, СНиП и прочими регули, Аноним (-), 01:25 , 19-Фев-25, (61)

Как раз наоборот, примеры говорят о том, что аварии никуда не делись, люди гибну, sena (ok), 15:35 , 19-Фев-25, (114)

Ошибки, если это не бекдоры, никто не ищет как совершить На проводах изоляция н, Аноним (78), 12:50 , 19-Фев-25, (101) +1

Тем не менее тыщи людей регулярно гибнут от поражения током , sena (ok), 15:42 , 19-Фев-25, (115)

мы даже можем сказать, что они прочли правила техники безопасности, мы же не мож, Аноним (113), 16:20 , 19-Фев-25, (119)
И От изоляции проводов уже отказались , Аноним (78), 10:57 , 20-Фев-25, (139)

Нет, применяют там где это уместно и удобно Но даже там где применяют люди нахо, sena (ok), 12:51 , 20-Фев-25, (143)

Это в виндовс стиле будет получается Так точно можно в опенсурс проэктах , Аноним (67), 04:22 , 19-Фев-25, (67)

эт шо за стиль такой где этому учат , Аноним (11), 04:41 , 19-Фев-25, (69)

А что не так с фиксом , diakin (ok), 01:54 , 19-Фев-25, (62)

Ща, ещё 20 лет подождём, когда можно будет хотя бы посчитать нормально количеств, Аноним (14), 20:30 , 18-Фев-25, (14)
Анониму слишком сложно работать с цифрами Работать с цифрами - это всё равно чт, Аноним (58), 00:24 , 19-Фев-25, (58)
Да не нужен никому ваш енум, успокойтесь уже Меня вот например интересует ситуац, Ivan_83 (ok), 10:09 , 19-Фев-25, (88)

Явное лучше неявного match var_name with 124 Some3 - do_code 124 _ - , Аноним (78), 12:52 , 19-Фев-25, (102)

Какие то каракули , Ivan_83 (ok), 13:46 , 19-Фев-25, (109)

Скрыто модератором, Аноним (78), 14:58 , 19-Фев-25, (112)
Да вот только вы написали этими каракулями аналог if -3 some_var do_code, Ivan_83 (ok), 04:09 , 20-Фев-25, (134) +1

Нет, не аналог Есть условный код на ocamltype some_result 124 Success , Аноним (78), 11:17 , 20-Фев-25, (140)

Никто не упарывается писать как в func1 Уже говорил мне важен результат, а не ф, Ivan_83 (ok), 06:07 , 21-Фев-25, (147)

Совершенно верно сишники плюсовики гошники так не пишут А сторонники rust haske, Аноним (78), 11:17 , 21-Фев-25, (148)

Запомни раз и навсегда, может быть перестанешь быть убогим, switch - это прошлый, Аноним (94), 11:17 , 19-Фев-25, (94)

Эх, помню те времена dial-up а, когда ставил на чердаке сниффер на соседские тел, Аноним (24), 20:45 , 18-Фев-25, (24) +2

А я в эфире при помощи тюнера AverMedia пейджинговые сообщения читал, когда в об, Мохнонос (?), 21:02 , 18-Фев-25, (34)

О сколько нам открытий чудных готовит rlt_sdr и режим монитора вафли , Аноним (-), 22:03 , 18-Фев-25, (48)

Т е ты изобрёл клиентскую точку доступа Поздравляю , Аноним (24), 23:06 , 18-Фев-25, (52) +1

Я не изобретал режим монитора И он таки - про то чтобы посмотреть а что вокруг, Аноним (-), 19:38 , 19-Фев-25, (123)

rlt_sdr наш друг, Аноним (74), 07:48 , 19-Фев-25, (77)

Да, много чего можно было делать вообще не непрягаясь Потому что все данные гна, Аноним (24), 23:09 , 18-Фев-25, (53)

Очень типичная для FreeBSD ситуация, насколько мне известно https vez mrsk me, Аноним (44), 21:51 , 18-Фев-25, (44) –1

Интересное чтиво с попыткой в анализ Но совет переходить на libressl увы плохо, Ivan_83 (ok), 10:05 , 19-Фев-25, (85)

Скрыто модератором, Аноним (46), 21:56 , 18-Фев-25, (46)
Как же хорошо бэкдор замаскировали, что он успешно проработал 10 лет , ИмяХ (ok), 06:44 , 19-Фев-25, (72) +1
Хм, явный косяк с обработкой ошибок, но все почему-то заагрились на сишку А что, bdrbt (ok), 06:54 , 19-Фев-25, (73)

Сишке уже полстолетия, а сишники до сих пор ничего не знают ни про алгебраически, Аноним (78), 09:31 , 19-Фев-25, (80) –2

Потому что это все чушь собачья , anonymous (??), 00:59 , 20-Фев-25, (130) –1

Показывайте свой код, проведём рецензию Надеюсь вы настоящий сишник и у вас ест, Аноним (78), 01:14 , 20-Фев-25, (132) –1

У нормального админа и так все что тут упоминалось в конфигах покручено, ибо это, Ivan_83 (ok), 09:58 , 19-Фев-25, (84)

Нанимать профессионального админа для локалхоста , Аноним (78), 12:54 , 19-Фев-25, (104)

На локалхосте вы можете и не запускать ссш сервер или забить на возможные пробле, Ivan_83 (ok), 13:38 , 19-Фев-25, (106)

Универсальный ответ растоненавистников Перила делать не нужно, ведь можно же не, Аноним (78), 14:55 , 19-Фев-25, (111) –1

Вас ненавидят в основном за то что вы при отсутствии своих достижений - пыжитесь, Аноним (-), 19:46 , 19-Фев-25, (127)

А откдуа вы знаете, кто я Я между прочим против rust, поскольку в нём нет завис, Аноним (78), 01:16 , 20-Фев-25, (133) –1

Вы не хотите неприятностей, при этом не хотите сами разбиратся и не хотите плати, Ivan_83 (ok), 00:41 , 20-Фев-25, (129) +1

У меня банальный вопрос Вот у меня на домашнем ПК стоит Дебиан Я обновляю этот, Beta Version (ok), 13:17 , 19-Фев-25, (105)

Проще всего перезагрузить, Аноним (78), 18:18 , 19-Фев-25, (121)
Если вы чайник - то перезагрузите Если не чайник - просто рестартаните сервис , Аноним (-), 19:44 , 19-Фев-25, (126)

у него клиент, какой сервис то надо перезапустить openssh-server не запущен же , 1 (??), 04:18 , 20-Фев-25, (135)

Откуда вы знаете Может у него autossh в виде демона висит , Аноним (78), 11:18 , 20-Фев-25, (141)

Те кто хейтят Си, просто не понимают, что язык выполняет ровно то, что написано , Аноним (125), 19:43 , 19-Фев-25, (125) +2

Си плох тем, что компилирует любой г-код Хороший компилятор не будет компилиров, Аноним (78), 16:48 , 20-Фев-25, (145) –2

Хороший программист включает ворнинги, и главное читает их Шланг, например, пре, Аноним (146), 17:07 , 20-Фев-25, (146)

В самых тривиальных случаях В реальном коде он это не обнаружит, Аноним (78), 11:19 , 21-Фев-25, (149)

Сообщения [Сортировка по ответам | RSS]

2. Сообщение от Fracta1L (ok), 18-Фев-25, 19:43 +1 +/–

Нужен язык, который не позволяет оставлять алгоритмические ветки необработанными.

Ответить | Правка | Наверх | Cообщить модератору
Ответы: #7, #9, #57, #81, #86

3. Сообщение от Аноним (3), 18-Фев-25, 19:43 +2 +/–

>выделяется 256-байтовый буфер для формирования ответа, но данный буфер освобождается только после завершения согласования ключей
Ни какой даже самый безопасный ЯП не спасет от человеческой глупости.

Ответить | Правка | Наверх | Cообщить модератору
Ответы: #6, #82

6. Сообщение от Уууууъъъ (?), 18-Фев-25, 19:48 +/–

> Первая уязвимость (CVE-2025-26465) вызвана логической ошибкой
Книги по логике способны помочь человеку, но многие не хотят тратить время на их чтение и изучение.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #3 Ответы: #11, #27

7. Сообщение от Аноним (-), 18-Фев-25, 19:49 –1 +/–

Хм.. кажется zig такое умеет.
Ну или V на крайняк.
Можно было бы сделать Safe-C, но кто ж этим будет заниматься.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #2 Ответы: #74

8. Сообщение от Аноним (-), 18-Фев-25, 19:53 +2 +/–

> проверяется только код ошибки "-1", а другие коды, такие как
> "-2", игнорируются. В итоге функция verify_host_key_callback()
> может вернуть успешный код "0", несмотря на возврат ошибки "-2"
> функцией verify_host_key().
Это не логическая ошибка.
Это убогость обработки ошибок в сишечке в принципе.
Если бы вместо -1, -2 и других ну совершенно очевидных значений, был бы нормальный enum, а на месте обработки exhaustive switch - то эту ошибку просто НЕВОЗМОЗМОЖНО было бы проигнолить - код бы просто не собрался бы.

Ответить | Правка | Наверх | Cообщить модератору
Ответы: #10, #13, #14, #58, #88, #94

9. Сообщение от Вася Пупкин (?), 18-Фев-25, 20:08 –4 +/–

есть такой, но его тут хейтят, особенно те кто не могут осилить

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #2 Ответы: #19, #35, #75, #93

10. Сообщение от Аноним (11), 18-Фев-25, 20:16 +1 +/–

> Это убогость обработки ошибок в сишечке в принципе.
Это убогость программиста, в случае убогости сишечки, вы бы данный случай не переписали бы так, что проблема разрешилась бы.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #8 Ответы: #15

11. Сообщение от Аноним (11), 18-Фев-25, 20:17 +5 +/–

> Книги по логике способны помочь человеку
не способны

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #6

13. Сообщение от sena (ok), 18-Фев-25, 20:27 +/–

> Если бы вместо -1, -2 и других ну совершенно очевидных значений, был бы нормальный enum, а на месте обработки exhaustive switch - то эту ошибку просто НЕВОЗМОЗМОЖНО было бы проигнолить - код бы просто не собрался бы.
Да лана, просто проверяешь <0 и всё. Switch же это не обязательная конструкция, так что ошибку можно тоже допустить.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #8 Ответы: #20, #25

14. Сообщение от Аноним (14), 18-Фев-25, 20:30 +/–

> Если бы вместо -1, -2 и других ну совершенно очевидных значений, был бы нормальный enum, а на месте обработки exhaustive switch
Ща, ещё 20 лет подождём, когда можно будет хотя бы посчитать нормально количество констант в енуме, или хотя-бы built-in тип в gcc для таких действий, и возможно к тому времени уже и jai релизнется.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #8

15. Сообщение от Аноним (-), 18-Фев-25, 20:33 –2 +/–

> вы бы данный случай не переписали бы так, что проблема разрешилась бы.
Вы фикс видели?
- xxx_conn_info) == -1)
+ xxx_conn_info) != 0)
А теперь вопрос, если там будет >0, то что тогда?

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #10 Ответы: #16, #23, #51, #71, #91

16. Сообщение от Аноним (11), 18-Фев-25, 20:36 +/–

> А теперь вопрос, если там будет >0, то что тогда?
и сишечка вам не даст возможности что-либо сделать?

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #15 Ответы: #21, #26

19. Сообщение от Аноним (-), 18-Фев-25, 20:41 +4 +/–

> есть такой, но его тут хейтят, особенно те кто не могут осилить
Brainfuck чтоли? По принципу - не смогли написать ssh сервер - и дыр нет, зашибись? :)

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #9

20. Сообщение от Аноним (-), 18-Фев-25, 20:42 +/–

> Да лана, просто проверяешь <0 и всё.
Та если бы.
Вот фикс github.com/openssh/openssh-portable/commit/0832aac79517611dd4de93ad0a83577994d9c907
Они просто позабывали выставить ошибки
r = SSH_ERR_INVALID_FORMAT;
перед вызовом goto out;
Тут вообще все прекрасно))
И goto, и забытые ошибки, и неинициализированная "int r;", и фикс вида
- xxx_conn_info) == -1)
+ xxx_conn_info) != 0)

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #13

21. Сообщение от Аноним (-), 18-Фев-25, 20:43 +2 +/–

> и сишечка вам не даст возможности что-либо сделать?
Наоборот!
Она даст тебе возможность сделать еще одну ошибку.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #16 Ответы: #64

23. Сообщение от Аноним (11), 18-Фев-25, 20:45 +/–

если программист выбирает тип для данных, где количество допустимых значений равно 2^32, то он обязан описать условие на каждое из значений и не надеяться на, что там кроме 0 и 1
других значений не будет присвоено. Отсюда для облегчения и ввели оператор варианта с дефолтом.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #15 Ответы: #31, #89

24. Сообщение от Аноним (24), 18-Фев-25, 20:45 +2 +/–

Эх, помню те времена dial-up'а, когда ставил на чердаке сниффер на соседские телефонные линии, слушал их и мониторил трафик 😊

Ответить | Правка | Наверх | Cообщить модератору
Ответы: #34

25. Сообщение от Аноним (-), 18-Фев-25, 20:47 +/–

> Да лана, просто проверяешь <0 и всё.
А потом какая-то "светла голова" например решит, что "0" это тоже нормально для ошибки.
Ну если такое значение не валидно.
> Switch же это не обязательная конструкция, так что ошибку можно тоже допустить.
Да про всё что угодно можно сказать "не обязательная конструкция".
Например про проверки входных данных или размеры массивов)

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #13 Ответы: #33, #62

26. Сообщение от Аноним (11), 18-Фев-25, 20:47 +3 +/–

> Она даст тебе возможность сделать еще одну ошибку.
Ошибку совершает человек!!!! причем тут сишечка?

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #16 Ответы: #39

27. Сообщение от Аноним (3), 18-Фев-25, 20:48 +/–

> Книги по логике способны помочь человеку
Альберту Эйнштейну приписывают следующее высказывание:
"В мире есть всего две бесконечные вещи: Вселенная и человеческая глупость". А потом  добавил: "Впрочем, на счет Вселенной я еще сомневаюсь"

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #6 Ответы: #55

31. Сообщение от Аноним (-), 18-Фев-25, 20:51 +/–

> если программист выбирает тип для данных, где количество допустимых значений равно 2^32
А других типов данных у него нет.
Можно было бы взять signed char дабы сузить количество вариантов, но принципиально это бы ни на что не повлияло бы.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #23 Ответы: #38

33. Сообщение от sena (ok), 18-Фев-25, 21:01 +1 +/–

> Да про всё что угодно можно сказать "не обязательная конструкция".
> Например про проверки входных данных или размеры массивов)
Если ошибка может быть допущена, то она будет допущена. Закон Мерфи же.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #25 Ответы: #36

34. Сообщение от Мохнонос (?), 18-Фев-25, 21:02 +/–

А я в эфире при помощи тюнера AverMedia пейджинговые сообщения читал, когда в общаге жил в начале нулевых - весёлое времечко было!

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #24 Ответы: #48, #53

35. Сообщение от Fracta1L (ok), 18-Фев-25, 21:03 +/–

Это какой?

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #9 Ответы: #63

36. Сообщение от Аноним (-), 18-Фев-25, 21:05 +/–

> Если ошибка может быть допущена, то она будет допущена. Закон Мерфи же.
Отказываемся от светофоров, изоленты и ТБ на производстве))?
Ну типа если человек захочет себе выстрелить в ногу он это сделает?
Или сделаем так, чтобы ошибка "не могла быть допущена" или хотя бы "чтобы допустить ошибку тебе придется попотеть" ?

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #33 Ответы: #37

37. Сообщение от sena (ok), 18-Фев-25, 21:16 +/–

>> Если ошибка может быть допущена, то она будет допущена. Закон Мерфи же.
> Отказываемся от светофоров, изоленты и ТБ на производстве))?
Нет, просто отказываемся от преувеличений и абсолютизации. Если придерживаться ТБ, то аварии не станут  НЕВОЗМОЖНЫ[1], они просто будут реже происходить.
1. https://www.opennet.dev/openforum/vsluhforumID3/136057.html#8

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #36 Ответы: #40

38. Сообщение от Аноним (11), 18-Фев-25, 21:22 +/–

> А других типов данных у него нет.
ну тогда нужно использовать enum.
> Можно было бы взять signed char дабы сузить количество вариантов, но принципиально это бы ни на что не повлияло бы.
Принципиальным тут должно быть количество ЗНАЧИМЫХ тогда значений, из 2^8 - 2 значения. Но в новости у "успеха" (успешный результат функции) значение 0, а у "ошибки" значения -1, -2 и т.д. И проверка ведется на истинность "ошибки" (== -1), так кто убог? И поэтому переписали на (!= 0), ИСТИНА - если результат функции НЕ "успешен". И что будет если >0, все тоже - ИСТИНА, так как это не результат "успеха", ибо такая задумка программиста.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #31 Ответы: #41

39. Сообщение от Аноним (-), 18-Фев-25, 21:23 +/–

> Ошибку совершает человек!!!! причем тут сишечка?
В отрезанном пальце виновата работник, циркулярка или недоинженер, которых не спроектировал защиту?
Вот тут также. Виноваты все.
Причем работник тоже - он согласился работать на этом убожестве.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #26 Ответы: #42

40. Сообщение от Аноним (-), 18-Фев-25, 21:24 –1 +/–

> Нет, просто отказываемся от преувеличений и абсолютизации. Если придерживаться ТБ, то аварии не станут  НЕВОЗМОЖНЫ[1], они просто будут реже происходить.
> 1. https://www.opennet.dev/openforum/vsluhforumID3/136057.html#8
Думаю это уже лучше чем полагаться на авось)
Т.е если вернуться к теме обсуждения - то:
1. сделать вместо убогих интов, нормальную ошибку (енум, структура и тд).
2. посадить компилятор бить пограммистов по корявкам за написание плохого кода (ну или просто кибербуллить в интернете)

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #37 Ответы: #47, #59, #67

41. Сообщение от Аноним (-), 18-Фев-25, 21:30 +/–

> ну тогда нужно использовать enum.
Чем бы тебе помог сишный енам?
Вот пример с незахендренным кейсом godbolt.org/z/1eo7Pjvcr
Ворнинг есть только у шланга. Для гцц нужно выставлять всякие флаги, вроде -Wall
А твоя софтина вообще не факт что соберется с -Wall )))

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #38 Ответы: #45, #79

42. Сообщение от Аноним (11), 18-Фев-25, 21:35 +/–

> которых не спроектировал защиту?
не защиту в целом, а защиту от дурака, в этом могу согласиться.
> Причем работник тоже - он согласился работать на этом убожестве.
Тут главное инструкции безопасности. Ну представьте себе нож, который кроме хлеба ничего (физически) больше резать не может, возможен ли такой нож? Легче уж, испечь хлеб в "нарезанном" (порционном) объеме, чем бояться порезать палец при его нарезании опасным ножом. Вопрос широкий, что лучше в с точки зрения безопасности. А если мы ограничиваем гипотетический нож, который режет только хлеб, то мы должны придумать N других ножей на все случаи жизни. Отсюда и проблема типового исчисления, а бестиповому все по :)

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #39

44. Сообщение от Аноним (44), 18-Фев-25, 21:51 –1 +/–

>В базовой поставке OpenSSH данная опция по умолчанию отключена, но до марта 2023 года была включена в настройках ssh во FreeBSD.
Очень типичная для FreeBSD ситуация, насколько мне известно: https://vez.mrsk.me/freebsd-defaults#openssh

Ответить | Правка | Наверх | Cообщить модератору
Ответы: #85

45. Сообщение от Аноним (11), 18-Фев-25, 21:55 +1 +/–

> Чем бы тебе помог сишный енам?
Тем, что я явно описал все допустимые значения, а то что забыл проверить одно из них - проблема сишечки?
А что можно доверить человеку запомнить, со слабой памятью? - Ничего, ну и тут так же.
> Ворнинг есть только у шланга.
Как по мне, ворнинг там совсем не к месту. У меня переменная типа энам всегда однозначна определена. А с каким из значений энама я проверяю переменную, компилятор вообще волновать не должно.
И код там вполне корректный, если следовать логике "если нет совпадений со значением LOW или MEDIUM или HIGH - верни 0".

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #41 Ответы: #83

46. Сообщение от Аноним (46), 18-Фев-25, 21:56 Скрыто ботом-модератором +/–

> до марта 2023 года была включена в настройках
> ssh во FreeBSD.
Главные безопасТнички опеннета таки - получили свое.

Ответить | Правка | Наверх | Cообщить модератору

47. Сообщение от Аноним (11), 18-Фев-25, 21:58 +/–

> посадить компилятор бить пограммистов по корявкам за написание плохого кода
нет, нет и трижды нет, пусть компилятор занимается лучше оптимальной кодогенерацией.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #40 Ответы: #50

48. Сообщение от Аноним (-), 18-Фев-25, 22:03 +/–

> А я в эфире при помощи тюнера AverMedia пейджинговые сообщения читал,
> когда в общаге жил в начале нулевых - весёлое времечко было!
О сколько нам открытий чудных готовит... rlt_sdr и режим монитора вафли!

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #34 Ответы: #52, #77

50. Сообщение от Аноним (-), 18-Фев-25, 22:40 +1 +/–

> нет, нет и трижды нет, пусть компилятор занимается лучше оптимальной кодогенерацией.
В итоге, ошибки на Си - самые оптимизированные. Так и живем.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #47 Ответы: #54

51. Сообщение от COBA (?), 18-Фев-25, 23:03 +/–

Скорее всего просто сперва написали что может быть только 0 в случае удачного завершения и -1 в случае неудачного. А потом кто-то дописал патч на проверку памяти и решил чтобы отличить такую ситуацию возвращать -2. Ну а проверку возвращаемых значений никто не проверил. Вот и результат.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #15 Ответы: #56

52. Сообщение от Аноним (24), 18-Фев-25, 23:06 +1 +/–

> режим монитора вафли
Т.е. ты изобрёл клиентскую точку доступа? Поздравляю.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #48 Ответы: #123

53. Сообщение от Аноним (24), 18-Фев-25, 23:09 +/–

> весёлое времечко было
Да, много чего можно было делать вообще не непрягаясь. Потому что все данные гнались без шифрования. Как по воздуху, так и по проводам.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #34

54. Сообщение от Аноним (11), 18-Фев-25, 23:16 +1 +/–

> Так и живем.
Если бы компилятор бил бы всегда по рукам за логические ошибки, то это был бы не компилятор, а целый верификатор (прувер корректности), и программы ваши были бы не просто программами, а - формальными спецификациями. И я бы посмотрел бы сколько усилий надо было бы приложить, чтобы компилятор "не ругался" :) И такие "компиляторы" (верификаторы) есть, а че на них никто не пишет? Выходит, нам не компилятор, который бьет по рукам, нужен, а "компилятор", который за нас корректно составит программу.
пс: Вы, и за меня их есть будете? - Ага :))

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #50

55. Сообщение от Аноним (55), 18-Фев-25, 23:19 –1 +/–

Сомнительная отсылка к сомнительному авторитету.
СТО опирается на метрику поляка Минковского.
Именно у этого преподавателя учился физике указанный студент в Швейцарии.
А введённое этим студентом убирание знаков сложения и умножения в формулах просто феерично - тупо "лень писать каждый раз".

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #27 Ответы: #76

56. Сообщение от Аноним (11), 18-Фев-25, 23:32 +/–

с точки зрения логики, функция должна возвращать либо успех (истина), либо не успех (ложь), третьего не дано по закону исключенного третьего. Но архитектурно, понятия возвращаемого значения функции нет. Можно было бы сделать дополнительный флаг в регистре флагов, за которым закреплялось бы логическое 1 - успешно, 0 - неуспешно, которое устанавливалось бы до инструкции возврата (ret) и сбрасывалось в 0 при вызове (call).

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #51 Ответы: #60, #66, #96

57. Сообщение от penetrator (?), 18-Фев-25, 23:34 +/–

в данном случае достаточно было bool, но это СИ, и многое там просто потому что так договорились

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #2 Ответы: #78

58. Сообщение от Аноним (58), 19-Фев-25, 00:24 +/–

Анониму слишком сложно работать с цифрами. Работать с цифрами - это всё равно что читать книжку без картинок.
Поэтому сишечка убогая.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #8

59. Сообщение от sena (ok), 19-Фев-25, 00:46 +/–

>> Нет, просто отказываемся от преувеличений и абсолютизации. Если придерживаться ТБ, то аварии не станут  НЕВОЗМОЖНЫ[1], они просто будут реже происходить.
>> 1. https://www.opennet.dev/openforum/vsluhforumID3/136057.html#8
> Думаю это уже лучше чем полагаться на авось)
> Т.е если вернуться к теме обсуждения - то:
> 1. сделать вместо убогих интов, нормальную ошибку (енум, структура и тд).
> 2. посадить компилятор бить пограммистов по корявкам за написание плохого кода (ну
> или просто кибербуллить в интернете)
Программисты всё равно найдут способ совершить ошибку, а сильно умный компилятор создаст кучу проблем в куче случаев, когда ошибки нет.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #40 Ответы: #61, #101

60. Сообщение от Аноним (60), 19-Фев-25, 01:04 +/–

А с точки зрения математики, функция y=f(x) — соответствие между двумя множествами, при котором каждому элементу одного множества соответствует элемент другого.
Как-то так. Надеюсь суть возражения понятна.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #56 Ответы: #65, #95

61. Сообщение от Аноним (-), 19-Фев-25, 01:25 +/–

> Программисты всё равно найдут способ совершить ошибку,
Бездоказательное утверждение.
А вот примеры с ПДД, ПУЭ, ТД, СНиП и прочими регулированиями - говорят обратное.
Можно даже МИСРА вспомнить - а там правила весьма жесткие.
Но это для серьезного софта, зачем либе для шифрования надежность.
> а сильно умный компилятор создаст кучу проблем в куче случаев, когда ошибки нет.
Для этого случая можно придумать какое-то ключевое слово "что хочу то и ворочу" отключающее проверки.
Тут же главное чтобы всреднеми ситуация улучшилась - как с дорожным движением, понятно что найдутся удаки которые будут 150 по встречке ехать, но таких будет меньшинство.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #59 Ответы: #114

62. Сообщение от diakin (ok), 19-Фев-25, 01:54 +/–

А что не так с фиксом?

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #25

63. Сообщение от Аноним (63), 19-Фев-25, 01:59 –2 +/–

Эталонный. https://www.phoronix.com/news/Torvalds-Override-On-Rust-Code

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #35

64. Сообщение от Аноним (63), 19-Фев-25, 02:11 +/–

Можно подробнее, пожалуйста. Что-то не понял.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #21

65. Сообщение от Аноним (11), 19-Фев-25, 02:19 +/–

> Как-то так. Надеюсь суть возражения понятна.
То что вы описали, это область значений функций, и я не отменял их, допустимо и соответствие с пустым множеством значений, что равносильно процедуре, которая не возвращает значение. Ведь архитектурно, о возвращаемом значение ничего не говорится, только принимается по общему согласию (Calling convention). Архитектурно, все функции это процедуры, при call кладут на стек адрес следующей инструкции, делают прыжок по адресу процедуры, и по ret прыгают по адресу лежащему на вершине стека. Я предлагаю архитектурно добавить логический флаг (TF - truth flag) "успешности (истинности) процедуры (функции)" и опкоды типа STS - set TF flag 1, CLT - clear TF flag, JT - jump if TF=1 и т.д. И не вижу никаких проблем.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #60 Ответы: #87

66. Сообщение от Аноним (66), 19-Фев-25, 02:53 +/–

> либо успех (истина), либо не успех (ложь), третьего не дано по закону исключенного третьего
Есть ещё отсутствие результата, nil. Но для того, чтобы это понять надо думать не как кодер, а как программист.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #56 Ответы: #68

67. Сообщение от Аноним (67), 19-Фев-25, 04:22 +/–

>сделать вместо убогих интов, нормальную ошибку (енум, структура и тд).
Это в виндовс стиле будет получается. Так точно можно в опенсурс проэктах?

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #40 Ответы: #69

68. Сообщение от Аноним (11), 19-Фев-25, 04:38 +/–

> Есть ещё отсутствие результата, nil.
Ну в таком случае мы говорим об логической успешности или не успешности функции?

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #66

69. Сообщение от Аноним (11), 19-Фев-25, 04:41 +/–

> Это в виндовс стиле будет получается.
эт шо за стиль такой? где этому учат? :)

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #67

71. Сообщение от Буратино (?), 19-Фев-25, 06:10 +/–

"Ничего не будет и это жизнь".
0 является типовым кодом "нет ошибок" в коде на Си.
А все, что не ноль, то ошибка (кроме функций типа read()).

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #15

72. Сообщение от ИмяХ (ok), 19-Фев-25, 06:44 +1 +/–

>> проявляется начиная с выпуска OpenSSH 6.8p1 (декабрь 2014 г.)
Как же хорошо бэкдор замаскировали, что он успешно проработал 10 лет!

Ответить | Правка | Наверх | Cообщить модератору

73. Сообщение от bdrbt (ok), 19-Фев-25, 06:54 +/–

Хм, явный косяк с обработкой ошибок, но все почему-то заагрились на сишку. А что, в других языках уже нет способа забить болт на обработку ошибок?
У этой правки есть имя и фамилия, это он "ненужен", а не Сишка.

Ответить | Правка | Наверх | Cообщить модератору
Ответы: #80

74. Сообщение от Аноним (74), 19-Фев-25, 07:35 +1 +/–

Так Safe-C это же про выходы за границы буферов.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #7

75. Сообщение от Аноним (74), 19-Фев-25, 07:38 +/–

Давай уж не звезди, он не устраняет логические ошибки.
PS Да вообще сомнительно, что такой язык возможен. Разве что, привлечение к этому AI поможет.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #9

76. Сообщение от Аноним (74), 19-Фев-25, 07:43 +1 +/–

Минковский сопоставил СТО с псевдоевклидовой метрикой уже после создания самой СТО.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #55

77. Сообщение от Аноним (74), 19-Фев-25, 07:48 +/–

rlt_sdr наш друг

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #48

78. Сообщение от Аноним (78), 19-Фев-25, 09:23 +/–

Тпипизация в состоянии отследить и логические ошибки тоже. Особенно со всякими зависимыми типами и верифицированным кодом

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #57

79. Сообщение от Аноним (78), 19-Фев-25, 09:26 –1 +/–

>Чем бы тебе помог сишный енам?
Си нужно закопать. А в нормальных языках есть сопоставление с образцом, на что и намекает человек выше. Если вам не нравится раст, возьмите хаскель или окамл, там это тоже есть.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #41 Ответы: #118

80. Сообщение от Аноним (78), 19-Фев-25, 09:31 –2 +/–

>Хм, явный косяк с обработкой ошибок, но все почему-то заагрились на сишку.
Сишке уже полстолетия, а сишники до сих пор ничего не знают ни про алгебраические типы данных, ни про сопоставления с образцом, ни про что-то другое. Как и ожидалось от сишников.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #73 Ответы: #130

81. Сообщение от Аноним (78), 19-Фев-25, 09:33 –2 +/–

Таких языков уже куча. Из относительно популярных: rust, haskell, ocaml. Восходят эти языки к восьмидесятым (SML), если не раньше. Но сишники как всегда не в курсе, что там вообще существует

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #2

82. Сообщение от Аноним (78), 19-Фев-25, 09:34 +/–

Типизация в состоянии отследить и логические ошибки тоже. Особенно со всякими зависимыми типами и верифицированным кодом

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #3

83. Сообщение от Аноним (78), 19-Фев-25, 09:39 +/–

>А что можно доверить человеку запомнить, со слабой памятью? - Ничего, ну и тут так же.
Сразу видно, что Аноним не работал с большими проектами, где часть кода написана другими людьми, или самостоятельно, но длительное время назад.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #45 Ответы: #113

84. Сообщение от Ivan_83 (ok), 19-Фев-25, 09:58 +/–

У нормального админа и так все что тут упоминалось в конфигах покручено, ибо это мастхэв по сути.
А кто там на святых дефолтах живёт - ССЗБ.

Ответить | Правка | Наверх | Cообщить модератору
Ответы: #104

85. Сообщение от Ivan_83 (ok), 19-Фев-25, 10:05 +/–

Интересное чтиво с попыткой в анализ :)
Но совет переходить на libressl увы плохой.
Я сидел на libressl более трёх лет, и это вызывало постоянные проблемы: приходилось самому поддерживать ряд портов. Те конфигурацию когда порт собирается с не дофолтным опенссл вообще никто не тестирует, кроме пользователей этого самого.
У меня это отлимало довольно заметно времени и с января 2024 я ушёл на дефолтный опенссл ибо не нанимался, что называется, бесплатно это суппортить.

machdep.hyperthreading_allowed="0" - тоже скорее вредный совет.
Ну и далее там тоже много спорного.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #44

86. Сообщение от Ivan_83 (ok), 19-Фев-25, 10:07 +1 +/–

Зачем?
Какую проблему это решит?

Я иногда пишу так что у меня есть куски которые по идее никогда не отработают.
Но если что то случится то в теории их срабатывание возможно :)

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #2 Ответы: #99

87. Сообщение от Аноним (60), 19-Фев-25, 10:07 +/–

Архитектурно уже есть варианты. Например с использованием исключениям, когда функция специальным способом сообщает вызываемому коду, что она завершилась с ошибкой.
Ещё возврат «пары», где первый член это, условно, индикатор успешности выполнения функции, а второй — результат функции или что за ошибка.
Ну или просто возврат целого числа, где возврат 0 это норм, а всё остальное — код ошибки. Кто писал на bash'е, тот знает.
В общем, предлагать, что должен быть только какой-то один способ, так себе задумка.
Это соглашение, которое решается на уровне команды, пишущей код проекта или эти… как их… стандарты принятые на уровне организации, по типу сколько пробелов отбивать для вложенности и в каком регистре писать имена переменных.
Ну, а если кто-то нахватал кусков отовсюду и возмущается, что тут так, а там эдак, и, поэтому, у него получается перейти в состояние дзен-кодирования, то ладно, бывает, все когда-то начинали программировать. ;-)

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #65 Ответы: #90

88. Сообщение от Ivan_83 (ok), 19-Фев-25, 10:09 +/–

Да не нужен никому ваш енум, успокойтесь уже.
Меня вот например интересует ситуация когда там -3 только возвращается откуда то, на болту я вертел писать все 100500 енум значений в свитч.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #8 Ответы: #102

89. Сообщение от Ivan_83 (ok), 19-Фев-25, 10:11 +1 +/–

Опять кто то кому то обязан.
int часто берут и юзают как bool, просто потому что удобно и примерно понятно что оно станет регистром при вызове и потому что уж 2 то значения в себя уместит.
Никто не парится этими вашими типами и прочей чепухой, потому что это ничего не даёт.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #23 Ответы: #100

90. Сообщение от Аноним (60), 19-Фев-25, 10:12 +/–

Коррекция:
«…с использованием исключений, …»
«…не получается перейти в состояние…»

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #87

91. Сообщение от Совершенно другой аноним (?), 19-Фев-25, 10:26 +/–

> А теперь вопрос, если там будет >0, то что тогда?
Ошибкой будет считаться всё, что не 0.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #15

93. Сообщение от aname (?), 19-Фев-25, 10:55 +1 +/–

Ассемблер, шоле?

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #9

94. Сообщение от Аноним (94), 19-Фев-25, 11:17 +/–

Запомни раз и навсегда, может быть перестанешь быть убогим, switch - это прошлый век.
В switch'е иногда требуется сделать fallthrough. А когда ты это сделал, последователи могут этого не заметить и своими кривыми руками сломать весь switch. Такие онанимы-доброжелатели лесом.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #8

95. Сообщение от Аноним (3), 19-Фев-25, 11:17 –1 +/–

>каждому элементу одного множества соответствует элемент другого
Двоешник.
Функция y=mod|10|(x)
Значению y=5 соответствует какое значение х = 5, 25 или 55?

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #60 Ответы: #97, #116

96. Сообщение от COBA (?), 19-Фев-25, 11:18 +/–

В том то и дело что неуспех может быть разный. Может неверные параметры пришли или что-то случилось что требует дополнительной обработки. Вот и пользуются таким способом.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #56 Ответы: #117

97. Сообщение от Аноним (60), 19-Фев-25, 12:03 +/–

А чё не y=x^2 при y=4?
Цитата из одной из энциклопедий, ближе к концу статьи:
«Часто под термином «функция» понимается числовая функция, то есть функция, которая ставит одни числа в соответствие другим. Эти функции удобно представлять в виде графиков.»
Это, то что я имел ввиду про функцию в математике. Ну будет, у тебя «пила» на графике, что не так-то?
Ещё там есть такое, самое первое:
«Фу́нкция в математике — соответствие между элементами двух множеств — правило, по которому каждому элементу первого множества, называемого областью определения, соответствует один и только один элемент второго множества, называемого областью прибытия.»
Выделю «соответствует один и только один элемент». Но я в исходном сообщение это не подразумевал.
Я лишь возразил что, что такое функция, понимается по разному с разных точек зрения, следовательно могут быть и разные требования к их реализации.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #95 Ответы: #98

98. Сообщение от Аноним (60), 19-Фев-25, 12:14 +/–

Можно конечно ввести госты/стандарты на оформление функций и строго следить за их соблюдением. Но это будет сродни предложению осуществлять крепёж деталей только забиванием. Придёт некто и скажет: «А у меня шурупы/болты/саморезы. !?» «Ничего не знаем, по госту сказано забивать, значит забивайте».

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #97

99. Сообщение от Аноним (78), 19-Фев-25, 12:45 –1 +/–

>Я иногда пишу так что у меня есть куски которые по идее никогда не отработают.
Для таких вещей, как openssl не помешало бы и докзательство, но сишники не осилили даже алгебраические и афинные типы

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #86 Ответы: #107

100. Сообщение от Аноним (78), 19-Фев-25, 12:47 +/–

>int часто берут и юзают как bool, просто потому что удобно
В си уже появился bool? Когда успел?

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #89 Ответы: #103, #108

101. Сообщение от Аноним (78), 19-Фев-25, 12:50 +1 +/–

>Программисты всё равно найдут способ совершить ошибку
Ошибки, если это не бекдоры, никто не ищет как совершить. На проводах изоляция не потому, что резину некуда деть, а для того, чтобы можно было касаться провода в произвольном месте.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #59 Ответы: #115

102. Сообщение от Аноним (78), 19-Фев-25, 12:52 +/–

>Меня вот например интересует ситуация когда там -3 только возвращается откуда то, на болту я вертел писать все 100500 енум значений в свитч.
Явное лучше неявного.
match var_name with
| Some3 -> do_code ()
| _ -> ()

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #88 Ответы: #109

103. Сообщение от Совершенно другой аноним (?), 19-Фев-25, 12:53 +/–

>>int часто берут и юзают как bool, просто потому что удобно
> В си уже появился bool? Когда успел?
с С99.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #100

104. Сообщение от Аноним (78), 19-Фев-25, 12:54 +/–

>У нормального админа
Нанимать профессионального админа для локалхоста?

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #84 Ответы: #106

105. Сообщение от Beta Version (ok), 19-Фев-25, 13:17 +/–

У меня банальный вопрос. Вот у меня на домашнем ПК стоит Дебиан. Я обновляю этот openssh-client с 1:9.9p1-1 до 1:9.9p2-1. Я должен перезагрузить ПК (или сеанс), чтобы изменения вступили в силу?

Ответить | Правка | Наверх | Cообщить модератору
Ответы: #121, #126

106. Сообщение от Ivan_83 (ok), 19-Фев-25, 13:38 +/–

На локалхосте вы можете и не запускать ссш сервер или забить на возможные проблемы.
А как пользователь консольного ssh могли бы и почитать конфиг.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #104 Ответы: #111

107. Сообщение от Ivan_83 (ok), 19-Фев-25, 13:42 +/–

Доказательство чего?
А в ветки которые никогда не должны по идее выполнятся я могу напихать или abort() или логирование.
С язык не для алгебры.
Если вам нужны какие то там типы - берите и реализовывайте их самостоятельно или ищите готовую либу.
Нет смысла перегружать язык всевозможным мусором.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #99 Ответы: #110

108. Сообщение от Ivan_83 (ok), 19-Фев-25, 13:45 +/–

stdbool.h
Не знаю когда, это не та часть которая меня интересует :)

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #100

109. Сообщение от Ivan_83 (ok), 19-Фев-25, 13:46 +/–

Какие то каракули.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #102 Ответы: #112, #134

110. Сообщение от Аноним (78), 19-Фев-25, 14:51 +/–

>Доказательство чего?
Корректности кода
>я могу напихать или abort() или логирование.
Вы случаем не любитель динамической типизации? Ну и что, что упадёт в рантайме?
>Если вам нужны какие то там типы - берите и реализовывайте их самостоятельно или ищите готовую либу.
А софт с типами кто будет писать? Тот же ssh?

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #107 Ответы: #128

111. Сообщение от Аноним (78), 19-Фев-25, 14:55 –1 +/–

>На локалхосте вы можете и не запускать ссш сервер
Универсальный ответ растоненавистников. Перила делать не нужно, ведь можно же не ходить на второй этаж! Всем жить в одноэтажных домах. Гениальная мудрость дидов.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #106 Ответы: #127, #129

112. Сообщение от Аноним (78), 19-Фев-25, 14:58 Скрыто ботом-модератором +/–

Сразу видно сишного кодера - он только си читать умеет. Вот знай вы ещё один язык - сразу сишным кодером перестанете быть

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #109

113. Сообщение от Аноним (113), 19-Фев-25, 15:28 +/–

> где часть кода написана другими людьми, или самостоятельно, но длительное время назад.
так конкретный кусок кода ответственный за ошибку пишет ведь один человек, не так ли?
> Сразу видно, что Аноним не работал с большими проектами
сразу видно, что не читали басен Крылова. А "багу" в новости считаю бекдором.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #83 Ответы: #120

114. Сообщение от sena (ok), 19-Фев-25, 15:35 +/–

> А вот примеры с ПДД, ПУЭ, ТД, СНиП и прочими регулированиями -
> говорят обратное.
Как раз наоборот, примеры говорят о том, что аварии никуда не делись, люди гибнут тысячами не смотря на ПДД, ПУЭ, ТД, СНиП. Избавиться от аварий полностью слишком дорого и непрактично. В реальной жизни мы миримся с тем что какая-то часть людей погибнет или станут калеками. Это нормально, потому что мы не хотим слишком дорогой или неудобный транспорт. То что стоит недорого, не слишком снижает комфорт и снижает смертность внедряется. Но есть бюджет, за который ты не вылазим.
> Тут же главное чтобы всреднеми ситуация улучшилась - как с дорожным движением,
> понятно что найдутся удаки которые будут 150 по встречке ехать, но
> таких будет меньшинство.
Это хорошо, с этим никто не спорит. Но только если это будет удобно, комфортно, недорого и не будет тормозить.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #61

115. Сообщение от sena (ok), 19-Фев-25, 15:42 +/–

>>Программисты всё равно найдут способ совершить ошибку
> Ошибки, если это не бекдоры, никто не ищет как совершить. На проводах
> изоляция не потому, что резину некуда деть, а для того, чтобы
> можно было касаться провода в произвольном месте.
Тем не менее тыщи людей регулярно гибнут от поражения током.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #101 Ответы: #119, #139

116. Сообщение от Аноним (113), 19-Фев-25, 15:45 +/–

> Двоешник.
А в чем проблема то?
Утверждение "каждому элементу одного множества соответствует элемент другого" верно с небольшим дополнением.
"""
каждому элементу множества определений функции (Х большое) соответствует элемент другого множества значений функции (Y большое)
"""
X -> Y
и х = 5, 25 или 55 -> y=5
5, 25, 55 принадлежат X, 5 принадлежит Y.
пс: утверждение об одно-однозначном соответствии никто не утверждал!

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #95

117. Сообщение от Аноним (113), 19-Фев-25, 15:59 +/–

> В том то и дело что неуспех может быть разный.
Да и логика бывает разной, для классической допустим закон исключенного третьего, для конструктивной - нет. Но функции бывают не только "результативные по количеству", но и логические, где результат этой функции это логическая либо истина, либо ложь. К таким функция можно отнести все логические функции, функции выделения ресурсов, функции контроля, проверки доступа и т.д. Архитектурно этого нет, есть тупо процедура call/ret, и все "передаваемые-возвращаемые" параметры реализованы по соглашению.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #96

118. Сообщение от Аноним (113), 19-Фев-25, 16:11 +1 +/–

> Си нужно закопать.
нет!

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #79

119. Сообщение от Аноним (113), 19-Фев-25, 16:20 +/–

> Тем не менее тыщи людей регулярно гибнут от поражения током.
мы даже можем сказать, что они прочли правила техники безопасности, мы же не можем просто взять и положить кому-то в голову какие-то знания. Одни после прочтения сами кладут эти знания в голову, а другим необходим "удар током" - условный рефлекс.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #115

120. Сообщение от Аноним (78), 19-Фев-25, 18:16 +/–

>так конкретный кусок кода ответственный за ошибку пишет ведь один человек, не так ли?
И что, он весь проект знает? По вашему он убедт пять лет проект изучать, прежде чем патч на пять строк отправить?

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #113 Ответы: #122

121. Сообщение от Аноним (78), 19-Фев-25, 18:18 +/–

Проще всего перезагрузить

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #105

122. Сообщение от Аноним (113), 19-Фев-25, 18:30 +/–

> И что, он весь проект знает? По вашему он убедт пять лет проект изучать, прежде чем патч на пять строк отправить?
оставлю ответ за тем кто "Сразу видно, что РАБОТАЛ с большими проектами", будьте добры, поясните Анониму, как пять строк добавляются к большому проекту.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #120 Ответы: #138

123. Сообщение от Аноним (-), 19-Фев-25, 19:38 +/–

> Т.е. ты изобрёл клиентскую точку доступа? Поздравляю.
Я не изобретал режим монитора. И он таки - про то чтобы посмотреть "а что вокруг?". И, возможно, найти что-то интересное.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #52

125. Сообщение от Аноним (125), 19-Фев-25, 19:43 +2 +/–

Те кто хейтят Си, просто не понимают, что язык выполняет ровно то, что написано. Глупо хейтить язык по причине глупости программистов. И люди умнее не станут, от очередной серебряной пули. Дойдет до того, что нейросеть будет писать код, а как оно там все работает никто знать и не будет.

Ответить | Правка | Наверх | Cообщить модератору
Ответы: #145

126. Сообщение от Аноним (-), 19-Фев-25, 19:44 +/–

> У меня банальный вопрос. Вот у меня на домашнем ПК стоит Дебиан.
> Я обновляю этот openssh-client с 1:9.9p1-1 до 1:9.9p2-1. Я должен перезагрузить
> ПК (или сеанс), чтобы изменения вступили в силу?
Если вы чайник - то перезагрузите. Если не чайник - просто рестартаните сервис.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #105 Ответы: #135

127. Сообщение от Аноним (-), 19-Фев-25, 19:46 +/–

> Универсальный ответ растоненавистников. Перила делать не нужно, ведь можно же не ходить
> на второй этаж! Всем жить в одноэтажных домах. Гениальная мудрость дидов.
Вас ненавидят в основном за то что вы при отсутствии своих достижений - пыжитесь даунплеить других. Вам freehck все правильно сказал - вы сами виноваты в таком восприятии хруста и хрустиков. Выглядит как куча агрессивных ламеров. И конечно куча ламерюк с серебреной пулей сделает безопасно, аж два раза.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #111 Ответы: #133

128. Сообщение от Ivan_83 (ok), 20-Фев-25, 00:37 +/–

Для проверки корректности достаточно тестов.
Мне всё равно какая там типизация.
Вы хотели работать с арифметикой, вот и работайте, для этого есть либы на С.
В коде openssh хватит и базовых типов доступных в языке.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #110 Ответы: #131

129. Сообщение от Ivan_83 (ok), 20-Фев-25, 00:41 +1 +/–

Вы не хотите неприятностей, при этом не хотите сами разбиратся и не хотите платить админу вашего локалхоста, в таком случае вам остаётся либо не использовать софт либо не включать компьютер либо *роскомнадзор*, я преложил самый мягкий вариант.
На что вы рассчитываете?
Что в бесплатном софте (а хоть бы и в платном) за вам всё задарма сделают по высшему классу?

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #111

130. Сообщение от anonymous (??), 20-Фев-25, 00:59 –1 +/–

Потому что это все чушь собачья.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #80 Ответы: #132

131. Сообщение от Аноним (78), 20-Фев-25, 01:12 +/–

>Для проверки корректности достаточно тестов.
Тесты годятся для того, чтобы показать наличие ошибок, но не годятся для доказательства отсутствия этих самых ошибок (цитата)
>Вы хотели работать с арифметикой
Ещё один сишник, увидев выражение алгебраический тип данных, решил, что это что-то с арифметикой связанное, даже не потрудившись посмотреть определние. Вас под копирку штампуют?
Алгебраический тип например
type 'a option =
| None
| Some of 'a
Делаете так, и NPE у вас болеть не будет

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #128 Ответы: #136

132. Сообщение от Аноним (78), 20-Фев-25, 01:14 –1 +/–

Показывайте свой код, проведём рецензию. Надеюсь вы настоящий сишник и у вас есть кривой xml парсер?

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #130

133. Сообщение от Аноним (78), 20-Фев-25, 01:16 –1 +/–

>Вас ненавидят в основном за то что вы при отсутствии своих достижений
А откдуа вы знаете, кто я? Я между прочим против rust, поскольку в нём нет зависимых типов, а это важно для системного программирования. А так, я за Ocaml.
>вы сами виноваты в таком восприятии хруста и хрустиков
Растовики - приятная компания, чтобы троллить сишников, они такие забавные. Кстати, у вас есть кривая реализация xml парсера, или вы ненастоящий сишник?

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #127

134. Сообщение от Ivan_83 (ok), 20-Фев-25, 04:09 +1 +/–

Да вот только вы написали этими каракулями аналог:
if (-3 == some_var) {
  do_code();
}
чем вы там в своих каракулях гордитесь - мне решительно не понятно: много буков и чёрточек со стрелочками вместо простой и понятной записи.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #109 Ответы: #140

135. Сообщение от 1 (??), 20-Фев-25, 04:18 +/–

у него клиент, какой сервис то надо перезапустить? openssh-server не запущен же.
ну только если у него активная сессия (соединение) с каким то сервером по ssh, то надо завершить соединение и подключиться заново.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #126 Ответы: #141

136. Сообщение от Ivan_83 (ok), 20-Фев-25, 06:08 +/–

> Тесты годятся для того, чтобы показать наличие ошибок, но не годятся для доказательства отсутствия этих самых ошибок (цитата)
Зависит от кода и тестов.
В остальном я не понял какую проблему вы этим решаете.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #131 Ответы: #137

137. Сообщение от Аноним (78), 20-Фев-25, 10:52 +/–

>Зависит от кода и тестов.
Не зависит. Вы тестами никогда не покроете все возможные варианты. Если вам нужно сложить два байта, то вариантов будет 65536. Вы под каждый вариант будете тест писать?
>В остальном я не понял какую проблему вы этим решаете.
Откройте поисковик и введите туда Null Pointer Exception. Только учтите, что в вашем си NPE нет, там это сразу UB.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #136

138. Сообщение от Аноним (78), 20-Фев-25, 10:54 +/–

>будьте добры, поясните Анониму, как пять строк добавляются к большому проекту.
Добавьте пять строк к большому проекту так, чтобы нигде ничего в самом неожиданном месте не сломалось. Перечитайте весь код, от начала и до конца

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #122

139. Сообщение от Аноним (78), 20-Фев-25, 10:57 +/–

>Тем не менее тыщи людей регулярно гибнут от поражения током.
И? От изоляции проводов уже отказались?

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #115 Ответы: #143

140. Сообщение от Аноним (78), 20-Фев-25, 11:17 +/–

>Да вот только вы написали этими каракулями аналог:
Нет, не аналог. Есть условный код на ocaml
type some_result =
  | Success
  | Err1
  | Err2
Далее, когда программист пишет код, он думает, является ли эта ситуация исключительной или нет. Если он пишет обработку ошибок, то он пишет
let func1 () =
  match func0 () with
  | Success -> do_success ()
  | Err1 -> do_err1 ()
  | Err2 -> do_err2 ()
А если ему нужно обработать только Err2, то он пишет как в примере выше
let func2 () =
  match func0 () with
  | Err2 -> err2_only ()
  | _ -> ()
Далее, кто-то вводит новый тип Err3, и компилятор сразу проверяет, где этот тип обрабатывается, а где - нет. И скажет: вот в примере func1 вариант Err3 обработать забыли. Если же в си добавят новый тип ошибки, то нужно перелопатить весь код вручную
>чем вы там в своих каракулях гордитесь - мне решительно не понятно
Явное лучше неявного. Вот авторы openssh не обработали -2 - это баг или фича? В языках с алгебраическими типами данных есть правило хорошего тона, когда используется исчерпывающее перечисление.
>много буков и чёрточек со стрелочками вместо простой и понятной записи
Вместо того, чтобы говорить о семантике кода, вы говорите о синтаксисе. Не надо так.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #134 Ответы: #147

141. Сообщение от Аноним (78), 20-Фев-25, 11:18 +/–

>у него клиент, какой сервис то надо перезапустить?
Откуда вы знаете? Может у него autossh в виде демона висит.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #135

143. Сообщение от sena (ok), 20-Фев-25, 12:51 +/–

>>Тем не менее тыщи людей регулярно гибнут от поражения током.
> И? От изоляции проводов уже отказались?
Нет, применяют там где это уместно и удобно. Но даже там где применяют люди находят способ обойти защиту и погибнуть.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #139

145. Сообщение от Аноним (78), 20-Фев-25, 16:48 –2 +/–

>Те кто хейтят Си, просто не понимают
Си плох тем, что компилирует любой г-код. Хороший компилятор не будет компилировать г-код, он выдаст ошибку

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #125 Ответы: #146

146. Сообщение от Аноним (146), 20-Фев-25, 17:07 +/–

Хороший программист включает ворнинги, и главное читает их. Шланг, например, предупреждает про use_after_free

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #145 Ответы: #149

147. Сообщение от Ivan_83 (ok), 21-Фев-25, 06:07 +/–

Никто не упарывается писать как в func1.
> Вместо того, чтобы говорить о семантике кода, вы говорите о синтаксисе. Не надо так.
Уже говорил: мне важен результат, а не фричество с языком.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #140 Ответы: #148

148. Сообщение от Аноним (78), 21-Фев-25, 11:17 +/–

>Никто не упарывается писать как в func1.
Совершенно верно сишники/плюсовики/гошники так не пишут. А сторонники rust/haskell/ocaml - пишут. За это я и не люблю код на си.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #147

149. Сообщение от Аноним (78), 21-Фев-25, 11:19 +/–

>Шланг, например, предупреждает про use_after_free
В самых тривиальных случаях. В реальном коде он это не обнаружит

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #146

Архив | Удалить

Рекомендовать для помещения в FAQ | Индекс форумов | Темы | Пред. тема | След. тема

Партнёры:

Хостинг:

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

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

2. Сообщение от Fracta1L (ok), 18-Фев-25, 19:43	+1 +/–
Нужен язык, который не позволяет оставлять алгоритмические ветки необработанными.
Ответить \| Правка \| Наверх \| Cообщить модератору
Ответы: #7, #9, #57, #81, #86

3. Сообщение от Аноним (3), 18-Фев-25, 19:43	+2 +/–
>выделяется 256-байтовый буфер для формирования ответа, но данный буфер освобождается только после завершения согласования ключей Ни какой даже самый безопасный ЯП не спасет от человеческой глупости.
Ответить \| Правка \| Наверх \| Cообщить модератору
Ответы: #6, #82

6. Сообщение от Уууууъъъ (?), 18-Фев-25, 19:48	+/–
> Первая уязвимость (CVE-2025-26465) вызвана логической ошибкой Книги по логике способны помочь человеку, но многие не хотят тратить время на их чтение и изучение.
Ответить \| Правка \| Наверх \| Cообщить модератору
Родитель: #3 Ответы: #11, #27

7. Сообщение от Аноним (-), 18-Фев-25, 19:49	–1 +/–
Хм.. кажется zig такое умеет. Ну или V на крайняк. Можно было бы сделать Safe-C, но кто ж этим будет заниматься.
Ответить \| Правка \| Наверх \| Cообщить модератору
Родитель: #2 Ответы: #74

8. Сообщение от Аноним (-), 18-Фев-25, 19:53	+2 +/–
> проверяется только код ошибки "-1", а другие коды, такие как > "-2", игнорируются. В итоге функция verify_host_key_callback() > может вернуть успешный код "0", несмотря на возврат ошибки "-2" > функцией verify_host_key(). Это не логическая ошибка. Это убогость обработки ошибок в сишечке в принципе. Если бы вместо -1, -2 и других ну совершенно очевидных значений, был бы нормальный enum, а на месте обработки exhaustive switch - то эту ошибку просто НЕВОЗМОЗМОЖНО было бы проигнолить - код бы просто не собрался бы.
Ответить \| Правка \| Наверх \| Cообщить модератору
Ответы: #10, #13, #14, #58, #88, #94

9. Сообщение от Вася Пупкин (?), 18-Фев-25, 20:08	–4 +/–
есть такой, но его тут хейтят, особенно те кто не могут осилить
Ответить \| Правка \| Наверх \| Cообщить модератору
Родитель: #2 Ответы: #19, #35, #75, #93

10. Сообщение от Аноним (11), 18-Фев-25, 20:16	+1 +/–
> Это убогость обработки ошибок в сишечке в принципе. Это убогость программиста, в случае убогости сишечки, вы бы данный случай не переписали бы так, что проблема разрешилась бы.
Ответить \| Правка \| Наверх \| Cообщить модератору
Родитель: #8 Ответы: #15

11. Сообщение от Аноним (11), 18-Фев-25, 20:17	+5 +/–
> Книги по логике способны помочь человеку не способны
Ответить \| Правка \| Наверх \| Cообщить модератору
Родитель: #6

13. Сообщение от sena (ok), 18-Фев-25, 20:27	+/–
> Если бы вместо -1, -2 и других ну совершенно очевидных значений, был бы нормальный enum, а на месте обработки exhaustive switch - то эту ошибку просто НЕВОЗМОЗМОЖНО было бы проигнолить - код бы просто не собрался бы. Да лана, просто проверяешь <0 и всё. Switch же это не обязательная конструкция, так что ошибку можно тоже допустить.
Ответить \| Правка \| Наверх \| Cообщить модератору
Родитель: #8 Ответы: #20, #25

14. Сообщение от Аноним (14), 18-Фев-25, 20:30	+/–
> Если бы вместо -1, -2 и других ну совершенно очевидных значений, был бы нормальный enum, а на месте обработки exhaustive switch Ща, ещё 20 лет подождём, когда можно будет хотя бы посчитать нормально количество констант в енуме, или хотя-бы built-in тип в gcc для таких действий, и возможно к тому времени уже и jai релизнется.
Ответить \| Правка \| Наверх \| Cообщить модератору
Родитель: #8

15. Сообщение от Аноним (-), 18-Фев-25, 20:33	–2 +/–
> вы бы данный случай не переписали бы так, что проблема разрешилась бы. Вы фикс видели? - xxx_conn_info) == -1) + xxx_conn_info) != 0) А теперь вопрос, если там будет >0, то что тогда?
Ответить \| Правка \| Наверх \| Cообщить модератору
Родитель: #10 Ответы: #16, #23, #51, #71, #91

16. Сообщение от Аноним (11), 18-Фев-25, 20:36	+/–
> А теперь вопрос, если там будет >0, то что тогда? и сишечка вам не даст возможности что-либо сделать?
Ответить \| Правка \| Наверх \| Cообщить модератору
Родитель: #15 Ответы: #21, #26

19. Сообщение от Аноним (-), 18-Фев-25, 20:41	+4 +/–
> есть такой, но его тут хейтят, особенно те кто не могут осилить Brainfuck чтоли? По принципу - не смогли написать ssh сервер - и дыр нет, зашибись? :)
Ответить \| Правка \| Наверх \| Cообщить модератору
Родитель: #9

20. Сообщение от Аноним (-), 18-Фев-25, 20:42	+/–
> Да лана, просто проверяешь <0 и всё. Та если бы. Вот фикс github.com/openssh/openssh-portable/commit/0832aac79517611dd4de93ad0a83577994d9c907 Они просто позабывали выставить ошибки r = SSH_ERR_INVALID_FORMAT; перед вызовом goto out; Тут вообще все прекрасно)) И goto, и забытые ошибки, и неинициализированная "int r;", и фикс вида - xxx_conn_info) == -1) + xxx_conn_info) != 0)
Ответить \| Правка \| Наверх \| Cообщить модератору
Родитель: #13

21. Сообщение от Аноним (-), 18-Фев-25, 20:43	+2 +/–
> и сишечка вам не даст возможности что-либо сделать? Наоборот! Она даст тебе возможность сделать еще одну ошибку.
Ответить \| Правка \| Наверх \| Cообщить модератору
Родитель: #16 Ответы: #64

23. Сообщение от Аноним (11), 18-Фев-25, 20:45	+/–
если программист выбирает тип для данных, где количество допустимых значений равно 2^32, то он обязан описать условие на каждое из значений и не надеяться на, что там кроме 0 и 1 других значений не будет присвоено. Отсюда для облегчения и ввели оператор варианта с дефолтом.
Ответить \| Правка \| Наверх \| Cообщить модератору
Родитель: #15 Ответы: #31, #89

24. Сообщение от Аноним (24), 18-Фев-25, 20:45	+2 +/–
Эх, помню те времена dial-up'а, когда ставил на чердаке сниффер на соседские телефонные линии, слушал их и мониторил трафик 😊
Ответить \| Правка \| Наверх \| Cообщить модератору
Ответы: #34

25. Сообщение от Аноним (-), 18-Фев-25, 20:47	+/–
> Да лана, просто проверяешь <0 и всё. А потом какая-то "светла голова" например решит, что "0" это тоже нормально для ошибки. Ну если такое значение не валидно. > Switch же это не обязательная конструкция, так что ошибку можно тоже допустить. Да про всё что угодно можно сказать "не обязательная конструкция". Например про проверки входных данных или размеры массивов)
Ответить \| Правка \| Наверх \| Cообщить модератору
Родитель: #13 Ответы: #33, #62

26. Сообщение от Аноним (11), 18-Фев-25, 20:47	+3 +/–
> Она даст тебе возможность сделать еще одну ошибку. Ошибку совершает человек!!!! причем тут сишечка?
Ответить \| Правка \| Наверх \| Cообщить модератору
Родитель: #16 Ответы: #39

27. Сообщение от Аноним (3), 18-Фев-25, 20:48	+/–
> Книги по логике способны помочь человеку Альберту Эйнштейну приписывают следующее высказывание: "В мире есть всего две бесконечные вещи: Вселенная и человеческая глупость". А потом добавил: "Впрочем, на счет Вселенной я еще сомневаюсь"
Ответить \| Правка \| Наверх \| Cообщить модератору
Родитель: #6 Ответы: #55

31. Сообщение от Аноним (-), 18-Фев-25, 20:51	+/–
> если программист выбирает тип для данных, где количество допустимых значений равно 2^32 А других типов данных у него нет. Можно было бы взять signed char дабы сузить количество вариантов, но принципиально это бы ни на что не повлияло бы.
Ответить \| Правка \| Наверх \| Cообщить модератору
Родитель: #23 Ответы: #38

33. Сообщение от sena (ok), 18-Фев-25, 21:01	+1 +/–
> Да про всё что угодно можно сказать "не обязательная конструкция". > Например про проверки входных данных или размеры массивов) Если ошибка может быть допущена, то она будет допущена. Закон Мерфи же.
Ответить \| Правка \| Наверх \| Cообщить модератору
Родитель: #25 Ответы: #36

34. Сообщение от Мохнонос (?), 18-Фев-25, 21:02	+/–
А я в эфире при помощи тюнера AverMedia пейджинговые сообщения читал, когда в общаге жил в начале нулевых - весёлое времечко было!
Ответить \| Правка \| Наверх \| Cообщить модератору
Родитель: #24 Ответы: #48, #53

35. Сообщение от Fracta1L (ok), 18-Фев-25, 21:03	+/–
Это какой?
Ответить \| Правка \| Наверх \| Cообщить модератору
Родитель: #9 Ответы: #63

36. Сообщение от Аноним (-), 18-Фев-25, 21:05	+/–
> Если ошибка может быть допущена, то она будет допущена. Закон Мерфи же. Отказываемся от светофоров, изоленты и ТБ на производстве))? Ну типа если человек захочет себе выстрелить в ногу он это сделает? Или сделаем так, чтобы ошибка "не могла быть допущена" или хотя бы "чтобы допустить ошибку тебе придется попотеть" ?
Ответить \| Правка \| Наверх \| Cообщить модератору
Родитель: #33 Ответы: #37

37. Сообщение от sena (ok), 18-Фев-25, 21:16	+/–
>> Если ошибка может быть допущена, то она будет допущена. Закон Мерфи же. > Отказываемся от светофоров, изоленты и ТБ на производстве))? Нет, просто отказываемся от преувеличений и абсолютизации. Если придерживаться ТБ, то аварии не станут НЕВОЗМОЖНЫ[1], они просто будут реже происходить. 1. https://www.opennet.dev/openforum/vsluhforumID3/136057.html#8
Ответить \| Правка \| Наверх \| Cообщить модератору
Родитель: #36 Ответы: #40

38. Сообщение от Аноним (11), 18-Фев-25, 21:22	+/–
> А других типов данных у него нет. ну тогда нужно использовать enum. > Можно было бы взять signed char дабы сузить количество вариантов, но принципиально это бы ни на что не повлияло бы. Принципиальным тут должно быть количество ЗНАЧИМЫХ тогда значений, из 2^8 - 2 значения. Но в новости у "успеха" (успешный результат функции) значение 0, а у "ошибки" значения -1, -2 и т.д. И проверка ведется на истинность "ошибки" (== -1), так кто убог? И поэтому переписали на (!= 0), ИСТИНА - если результат функции НЕ "успешен". И что будет если >0, все тоже - ИСТИНА, так как это не результат "успеха", ибо такая задумка программиста.
Ответить \| Правка \| Наверх \| Cообщить модератору
Родитель: #31 Ответы: #41

39. Сообщение от Аноним (-), 18-Фев-25, 21:23	+/–
> Ошибку совершает человек!!!! причем тут сишечка? В отрезанном пальце виновата работник, циркулярка или недоинженер, которых не спроектировал защиту? Вот тут также. Виноваты все. Причем работник тоже - он согласился работать на этом убожестве.
Ответить \| Правка \| Наверх \| Cообщить модератору
Родитель: #26 Ответы: #42

40. Сообщение от Аноним (-), 18-Фев-25, 21:24	–1 +/–
> Нет, просто отказываемся от преувеличений и абсолютизации. Если придерживаться ТБ, то аварии не станут НЕВОЗМОЖНЫ[1], они просто будут реже происходить. > 1. https://www.opennet.dev/openforum/vsluhforumID3/136057.html#8 Думаю это уже лучше чем полагаться на авось) Т.е если вернуться к теме обсуждения - то: 1. сделать вместо убогих интов, нормальную ошибку (енум, структура и тд). 2. посадить компилятор бить пограммистов по корявкам за написание плохого кода (ну или просто кибербуллить в интернете)
Ответить \| Правка \| Наверх \| Cообщить модератору
Родитель: #37 Ответы: #47, #59, #67

41. Сообщение от Аноним (-), 18-Фев-25, 21:30	+/–
> ну тогда нужно использовать enum. Чем бы тебе помог сишный енам? Вот пример с незахендренным кейсом godbolt.org/z/1eo7Pjvcr Ворнинг есть только у шланга. Для гцц нужно выставлять всякие флаги, вроде -Wall А твоя софтина вообще не факт что соберется с -Wall )))
Ответить \| Правка \| Наверх \| Cообщить модератору
Родитель: #38 Ответы: #45, #79