The OpenNET Project / Index page

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



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

Оглавление

Четвёртая редакция патчей для ядра Linux с поддержкой языка Rust , opennews (?), 17-Янв-22, (0) [смотреть все]

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


169. "Четвёртая редакция патчей для ядра Linux с поддержкой языка ..."  +/
Сообщение от keydon (ok), 17-Янв-22, 20:05 
>  Статические анализаторы пропускают ошибки, и ты это знаешь.

Также как и статический анализатор в расте. От того что его засунули в компилятор ничего не изменилось.

> У Гугл и МС 70% уязвимостей это ошибки работы с памятью. Им эти анализаторы не помогли.

Микрософт это просто сборище !@!#$%^.
У гугла смотреть надо, например в коде хрома и раст не поможет, разве что только сверхИИ или господь Бог.

> Код под unsafe локализует место возможной ошибки.

Ну это сказки для впечатлительных. Это тот же самый статический анализ, где спасал он раньше, спасет и сейчас. Во многих анализаторах и раньше точно также можно было указать где подавлять определенные проверки (то же что и unsafe). Где не спасал, не спасает и в расте.

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

То же самое можно и про плюсы сказать, но почему-то в "плюсах шаблоны кривые" и все кончено, а раст "еще будет исправлен". Мне пора писать rust++?

>Существует этому и формальное доказательство (пусть пока и не включает все возможности языка) https://plv.mpi-sws.org/rustbelt/popl18/paper.pdf

Очень занятно. Особенно мне понравилось:
> In other words, compared to mainstream “safe”languages, Rust offers both lower-level control and stronger safety guarantees. At least, that is the hope.

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

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

217. "Четвёртая редакция патчей для ядра Linux с поддержкой языка ..."  +2 +/
Сообщение от Минона (ok), 18-Янв-22, 11:40 
Дурак всегда оспаривает свою дурость.
Ответить | Правка | Наверх | Cообщить модератору

263. "Четвёртая редакция патчей для ядра Linux с поддержкой языка ..."  +/
Сообщение от burjui (ok), 19-Янв-22, 10:41 
>> Статические анализаторы пропускают ошибки, и ты это знаешь.
> Также как и статический анализатор в расте. От того что его засунули в компилятор ничего не изменилось.

Приведи примеры.

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

269. "Четвёртая редакция патчей для ядра Linux с поддержкой языка ..."  +/
Сообщение от keydon (ok), 19-Янв-22, 12:14 
> Приведи примеры.

Вы не тому ответили.

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

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

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




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

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