The OpenNET Project / Index page

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



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

Оглавление

Проект Tor представил реализацию на языке Rust, которая в будущем заменит вариант на Си, opennews (??), 08-Июл-21, (0) [смотреть все]

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


66. "Проект Tor представил реализацию на языке Rust, которая в бу..."  +4 +/
Сообщение от Аноним (126), 08-Июл-21, 23:40 
>если в коде не используются блоки "unsafe"
>если

Это "если" неосуществимо. Безопасная программа - та, которая ничего полезного не делает. Как только нужно сделать что-то полезное, приходится взаимодействовать с ОС и железом. А это невозможно без "unsafe". Не у себя - так в зависимостях.

А с ним все общие математические доказательства безопасности летят к чертям.

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

122. "Проект Tor представил реализацию на языке Rust, которая в бу..."  +1 +/
Сообщение от Я (??), 09-Июл-21, 07:37 
и поэтому нужно к ошибкам в зависимостях добавлять ошибки в основной программе..
Ответить | Правка | Наверх | Cообщить модератору

263. "Проект Tor представил реализацию на языке Rust, которая в бу..."  +1 +/
Сообщение от Урри (ok), 09-Июл-21, 21:38 
Зато это ошибки в программе, которые легко найти и исправить; а не в инструменте.

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

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

392. "Проект Tor представил реализацию на языке Rust, которая в бу..."  +/
Сообщение от Аноним (392), 11-Июл-21, 22:40 
Понимаешь ли, тут такое дело. Система не является суммой компонент. Программа сама по себе может быть без ошибок (используя зависимость как чёрный ящик), зависимость сама по себе может быть без ошибок (при допущении, что её правильно используют), но при этом вся система может содержать уязвимость, основанную на том, как взаимодействуют компоненты. За примерами далеко ходить не надо: Meltdown.
Ответить | Правка | К родителю #122 | Наверх | Cообщить модератору

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

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




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

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