The OpenNET Project / Index page

[ новости /+++ | форум | теги | ]



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

Оглавление

На соревновании Pwn2Own 2023 продемонстрировано 5 взломов Ubuntu, opennews (??), 25-Мрт-23, (0) [смотреть все]

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


6. "На соревновании Pwn2Own 2023 продемонстрировано 5 взломов Ub..."  +2 +/
Сообщение от Аноним (6), 25-Мрт-23, 15:54 
Мда, практически одни проблемы с памятью...
Воистину "C in CVE stands for C language"
Ответить | Правка | Наверх | Cообщить модератору

8. "На соревновании Pwn2Own 2023 продемонстрировано 5 взломов Ub..."  –2 +/
Сообщение от Аноним (1), 25-Мрт-23, 15:59 
Ты до сих пор веришь что дело в языке, а не в желании определенного круга людей иметь больше возможностей чем у других. Ну продолжай жить в мире розовых пони.  
Ответить | Правка | Наверх | Cообщить модератору

16. "На соревновании Pwn2Own 2023 продемонстрировано 5 взломов Ub..."  +5 +/
Сообщение от Аноним (16), 25-Мрт-23, 16:17 
При всех прочих равных - да, дело в языке. Ну продолжай жить в мире коварных заговоров.
Ответить | Правка | Наверх | Cообщить модератору

49. "На соревновании Pwn2Own 2023 продемонстрировано 5 взломов Ub..."  +1 +/
Сообщение от Аноним (49), 25-Мрт-23, 20:03 
Уязвимости появляются из-за языка C, именно поэтому ФБР пришлось подкупать разработчиков OpenBSD, чтобы они оставили хоть какую-то уязвимость. Просто C значит CVE, там делов на пять минут всего.
Ответить | Правка | Наверх | Cообщить модератору

58. "На соревновании Pwn2Own 2023 продемонстрировано 5 взломов Ub..."  +1 +/
Сообщение от Аноним (58), 25-Мрт-23, 20:40 
Как там карго? Уже не ДОБАВЛЯЕТ уязвимостей?
Ответить | Правка | К родителю #16 | Наверх | Cообщить модератору

17. "На соревновании Pwn2Own 2023 продемонстрировано 5 взломов Ub..."  +1 +/
Сообщение от Аноним (6), 25-Мрт-23, 16:17 
Я до сих пор верю, что там полно @@@@@ #####, которые за 40+ лет не научились не выходить за пределы массива.
Что крайне помогает тем, кто хочет "иметь больше возможностей чем у других". И всегда можно отмазаться "это не бекдор, так просто получилось"
Ответить | Правка | К родителю #8 | Наверх | Cообщить модератору

18. "На соревновании Pwn2Own 2023 продемонстрировано 5 взломов Ub..."  +3 +/
Сообщение от Аноним (16), 25-Мрт-23, 16:17 
При всех прочих равных - да, дело в языке. Ну продолжай жить в мире коварных заговоров.
Ответить | Правка | К родителю #8 | Наверх | Cообщить модератору

33. "На соревновании Pwn2Own 2023 продемонстрировано 5 взломов Ub..."  +1 +/
Сообщение от Аноним (1), 25-Мрт-23, 17:48 
В том то все и дело что вас псевдобезопасный недоязычок не равный и никогда им не будет.
Ответить | Правка | Наверх | Cообщить модератору

61. "На соревновании Pwn2Own 2023 продемонстрировано 5 взломов Ub..."  –1 +/
Сообщение от Аноним (16), 25-Мрт-23, 21:07 
> не равный и никогда им не будет.

А ребята-то и не знают... Не иначе как очередной заговор! Или просто дураки, очевидно! Можешь выбрать любое из этих двух объяснений, в зависимости от уровня совей опеннетной экспертизы.

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

117. "На соревновании Pwn2Own 2023 продемонстрировано 5 взломов Ub..."  +/
Сообщение от Илья (??), 26-Мрт-23, 19:57 
Допустим, дело во мне.

Проверю на практике. Перепишу ради прекола проблемный кусок кода на раст намеренно не беспокоясь о памяти.

Что-то мне подсказывает...

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

27. "На соревновании Pwn2Own 2023 продемонстрировано 5 взломов Ub..."  +/
Сообщение от Аноним (26), 25-Мрт-23, 17:07 
Причём тут вера? Это строго формально доказывается, если ты не в курсе.
Ответить | Правка | К родителю #8 | Наверх | Cообщить модератору

32. "На соревновании Pwn2Own 2023 продемонстрировано 5 взломов Ub..."  +/
Сообщение от Аноним (1), 25-Мрт-23, 17:47 
Формально доказывается отсутствие злого умысла? У кого теории заговора так это у тебя.  
Ответить | Правка | Наверх | Cообщить модератору

136. "На соревновании Pwn2Own 2023 продемонстрировано 5 взломов Ub..."  +/
Сообщение от Аноним (-), 27-Мрт-23, 12:19 
Формально доказывается отсутствие UB и ошибок с памятью. Это теоретически можно доказать даже на C'шном коде, и даже _формально_ доказать, но это настолько сложно, что никто не занимается этим. И всё сводится к "верю/не верю": либо ты веришь программисту, что он достаточно долго разглядывал каждую строчку своего кода, чтобы выловить всех блох, либо ты не веришь ему.

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

И тщательный выбор языка может сделать формальное доказательство _существенно_ проще. Теоретически сам факт того, что программа написана на подобранном формальном языке и при этом компилируется и работает, может быть таким доказательством. Но это другая теоретическая крайность, потому что такие языки оказываются непрактичными.

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

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

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

148. "На соревновании Pwn2Own 2023 продемонстрировано 5 взломов Ub..."  +/
Сообщение от Да не важно (?), 28-Мрт-23, 12:53 
> тщательный выбор языка может сделать формальное доказательство _существенно_ проще.

Формальные доказательства ведутся, вообще-то, на машинах Тьюринга. Ну, или сводятся к уже доказанным на них утверждениям.

На C написан исходный код, Rust или каком-либо языке Ассемблера, роли не играет.

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

44. "На соревновании Pwn2Own 2023 продемонстрировано 5 взломов Ub..."  –1 +/
Сообщение от Аноним (44), 25-Мрт-23, 19:34 
Шутки шутками, а альтернатив все еще нет.
Ответить | Правка | К родителю #6 | Наверх | Cообщить модератору

67. "На соревновании Pwn2Own 2023 продемонстрировано 5 взломов Ub..."  +1 +/
Сообщение от Анонимусс (?), 25-Мрт-23, 22:11 
Да хотя бы современные плюсы - они на голову лучше сишки.
Конечно если писать не в стиле "си с классами" и не гонять void* туда-сюда.
Ответить | Правка | Наверх | Cообщить модератору

73. "На соревновании Pwn2Own 2023 продемонстрировано 5 взломов Ub..."  –1 +/
Сообщение от Илья (??), 25-Мрт-23, 22:17 
Раст есть для системщины.

Для всего остального - c#

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

84. "На соревновании Pwn2Own 2023 продемонстрировано 5 взломов Ub..."  +2 +/
Сообщение от GraiT (?), 25-Мрт-23, 23:40 
А в уязвимостях Microsoft Teams и SharePoint тоже Си/С++ виноваты? А во вторых, если работаешь с СИ после освобождения не сбрасываешь в null, то это не СИ разработчик. Проблема в том, что на СИ лезут программировать после языков высокого уровня, возможно из-за большего заработка...
Ответить | Правка | Наверх | Cообщить модератору

85. "На соревновании Pwn2Own 2023 продемонстрировано 5 взломов Ub..."  –1 +/
Сообщение от Анонимусс (?), 25-Мрт-23, 23:47 
О да, началась песня про ненастоящего шотландца)))
А как же тогда диды линукса, которые те же ошибки делали еще лет 20 назад?

Нет ребятушки, он как раз Си разработчик. Тот которого мы все заслужили.

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

93. "На соревновании Pwn2Own 2023 продемонстрировано 5 взломов Ub..."  +/
Сообщение от Аноним (-), 26-Мрт-23, 02:01 
> О да, началась песня про ненастоящего шотландца)))
> А как же тогда диды линукса, которые те же ошибки делали еще
> лет 20 назад?

Скорее 30. Тогда делали чтобы вообще заработало, желательно не очень погано и тормозно, потому что остальное не умело и так. А про вулны тогда не задумывались. Оттуда у олдов есть ряд дурных привычек. Те что поумней приучаются юзать статический анализ, асан и убсан. А наглые и глупые напускают на себя вид павлина и умничают умным видом. Только выглядят глуповато когда я какой-нибудь отрицательный индекс массиву дают. А чо, в входе написано int - caller и скормил туда -50, он что, знает как функция внутри сделана?! И уж тем более не ожидал что падлюка даже ошибку не вывалит и просто все вынесет.

> Нет ребятушки, он как раз Си разработчик. Тот которого мы все заслужили.

Да они остальные так то еще хуже в массе своей, так что вы недооценимаете масштаб задника. Можете посмотреть список CVE, там полно всего что угодно. А половина просто поломалось формально CVE получать.

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

98. "На соревновании Pwn2Own 2023 продемонстрировано 5 взломов Ub..."  +/
Сообщение от Аноним (97), 26-Мрт-23, 05:49 
Asan спасает не во всех случаях. С остальными средствами тоже самое. Да средства помогают, но не всегда. Если нв проекте не используют статический анвлизатор или asan у тебя дополнительный гиморой это внерять, а будешь делать на уровре проекта на тебя ещк и обслуживание этой балалайки повесят.
Ответить | Правка | Наверх | Cообщить модератору

89. "На соревновании Pwn2Own 2023 продемонстрировано 5 взломов Ub..."  +1 +/
Сообщение от Аноним (16), 26-Мрт-23, 01:00 
> на СИ лезут программировать после языков высокого уровня, возможно из-за большего заработка...

Ахаха, о...я история! В реальности, однако, ровно наоборот: после нескольких лет выгребания enbedded конюшен за копейки, люди переходят на более адекватные, денежные и интересные области разработки ПО (естественно, с более высокоуровневыми языками для 80% задач).

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

94. "На соревновании Pwn2Own 2023 продемонстрировано 5 взломов Ub..."  –1 +/
Сообщение от Аноним (-), 26-Мрт-23, 02:07 
Да вон на одеске эти высокоуровневые раджи за $5 в час наворачивают, а то и за $3. Они б и в эмбедед наворачивали, но мозгов чаще всего не хватает. Хотя ардуина иногда позвволяет и им позажигать. К счастью этот клубок проводов непонятного назначения выглядит подозрительно не только для полисменов но и для самих кастомеров, все же кастомеры любят красиво оформленые решения, и снаружи и внутри.

А еще - воооооон там несколько десятков тысяч вот этих отправили на мороз в почти всех крупных корпах. Эмбедеров так - себе дороже получается, потом все факапаеся и манагемент в курсе. А вот этих можно и вышибить и новых при нужде нанять в любой момент. Еще и скостив зарплату. А не нравится - ну и не програмьте. Как показал Элон Маск 80% этих господ вообще можно вынести без чрезмерных проблем. Лучше всего эти господа в слащавых графиках и надувании щек, но это на самом деле не так уж и нужно, а эти господа сильно переоценены. Но сейчас этот пузырь сдувается а длинная очередь бангалорцев намекает что им и за три бакса в час - сойдет.

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

114. "На соревновании Pwn2Own 2023 продемонстрировано 5 взломов Ub..."  +/
Сообщение от Илья (??), 26-Мрт-23, 19:16 
> лезут программировать после языков высокого уровня, возможно из-за большего заработка...

Надо в особой касте родиться, на си писать?

Сишники такие снобы.

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

153. "На соревновании Pwn2Own 2023 продемонстрировано 5 взломов Ub..."  +/
Сообщение от GraiT (?), 29-Мрт-23, 22:15 
А кто про это говорил/писал? Сам себе придумал?! Если нет потребности использовать СИ/СИ++ так зачем лезть? Потом себе чего-то придумывать про касты и пытаться поумничать?! Если нужно быстро чего-то наваять, то используй что по проще, если на низкий уровень нужно, то нужно знать и понимать подводные камни, и не нужно мельницы искать там, где их нет...
Ответить | Правка | Наверх | Cообщить модератору

155. "На соревновании Pwn2Own 2023 продемонстрировано 5 взломов Ub..."  +/
Сообщение от Илья (??), 01-Апр-23, 07:23 
Звучит, как будто если взять раст - то это решит все проблемы.
Ответить | Правка | Наверх | Cообщить модератору

122. "На соревновании Pwn2Own 2023 продемонстрировано 5 взломов Ub..."  +/
Сообщение от Аноним (121), 26-Мрт-23, 21:17 
Соха и мотыга )
Ответить | Правка | К родителю #44 | Наверх | Cообщить модератору

138. "На соревновании Pwn2Own 2023 продемонстрировано 5 взломов Ub..."  +/
Сообщение от ptr (??), 27-Мрт-23, 13:32 
С точки зрения безопасности, совершенно без разницы, unsafe блок в Rust или C, который весь unsafe. Просто не надо писать на C то, что не требует разыменования указателей и прямого доступа к регистрам в CPU или памяти. Ну или хотя бы локализовывать такой код, как это делается в Rust.
Ответить | Правка | К родителю #6 | Наверх | Cообщить модератору

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

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




Партнёры:
PostgresPro
Inferno Solutions
Hosting by Hoster.ru
Хостинг:

Закладки на сайте
Проследить за страницей
Created 1996-2024 by Maxim Chirkov
Добавить, Поддержать, Вебмастеру