The OpenNET Project / Index page

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



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

Оглавление

Выпуск Rust 1.53. Google профинансирует добавление поддержки Rust в ядро Linux, opennews (??), 18-Июн-21, (0) [смотреть все]

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


77. "Выпуск Rust 1.53. Google профинансирует добавление поддержки..."  +/
Сообщение от Совершенно другой аноним (?), 18-Июн-21, 15:00 
Не флейма ради, кто-нибудь поясните пожалуйста, как при декларируемой безопасной работе с памятью случается такое:

https://github.com/AbrarNitk/algorithmica/issues/1

Это в компиляторе какого-то контроля не хватало, и его потом починили, или код крейта был так написан, что как-то смог обойти все контроли? Автор крейта недавно закрыл этот issue, но исправил-ли он что-то по этому поводу я так и не понял.

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

102. "Выпуск Rust 1.53. Google профинансирует добавление поддержки..."  –1 +/
Сообщение от Онаним (?), 18-Июн-21, 15:27 
Баг внесли в хрустсекс адвизори датабейс, искать там.
Ответить | Правка | Наверх | Cообщить модератору

120. "Выпуск Rust 1.53. Google профинансирует добавление поддержки..."  –1 +/
Сообщение от Совершенно другой аноним (?), 18-Июн-21, 15:42 
Спасибо, посмотрел и там (https://github.com/RustSec/advisory-db/blob/main/crates/algo...) - честно говоря понятнее не стало.
Ответить | Правка | Наверх | Cообщить модератору

131. "Выпуск Rust 1.53. Google профинансирует добавление поддержки..."  –1 +/
Сообщение от Онаним (?), 18-Июн-21, 15:58 
Значит пока ещё не исследовано, но следить за ходом событий видимо там. Или по ID оттуда в прочих чейнджлогах - могут и "втихую" закрыть.
Ответить | Правка | Наверх | Cообщить модератору

145. "Выпуск Rust 1.53. Google профинансирует добавление поддержки..."  –1 +/
Сообщение от Совершенно другой аноним (?), 18-Июн-21, 16:07 
ясно, спасибо.
Ответить | Правка | Наверх | Cообщить модератору

121. "Выпуск Rust 1.53. Google профинансирует добавление поддержки..."  +/
Сообщение от Аноним (86), 18-Июн-21, 15:43 
>.It will be surfaced by tools such as cargo-audit or cargo-deny from now on.

Всё ок

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

123. "Выпуск Rust 1.53. Google профинансирует добавление поддержки..."  +/
Сообщение от Совершенно другой аноним (?), 18-Июн-21, 15:47 
Правильно я понимаю, что это ещё что-то, типа cppcheck/lint, которая скажет, ой - тут у вас какой-то кривой крейт, не надо его использовать?

Но вопрос больше в другом, как его компилятор пропустил?

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

257. "Выпуск Rust 1.53. Google профинансирует добавление поддержки..."  –2 +/
Сообщение от Урри (ok), 18-Июн-21, 21:25 
unsafe.
Вся магия хруста отключается одним простым словом.
Ответить | Правка | Наверх | Cообщить модератору

146. "Выпуск Rust 1.53. Google профинансирует добавление поддержки..."  –1 +/
Сообщение от deeaitch (ok), 18-Июн-21, 16:07 
> кто-нибудь поясните пожалуйста, как при декларируемой безопасной работе с памятью случается такое

Это классика. Это случается когда люди просто в слепую верят и перестают думать о работе с памятью.
А те кто пишет контролки видят их только в поле своего ограниченного опыта и детских ошибок.

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

158. "Выпуск Rust 1.53. Google профинансирует добавление поддержки..."  +/
Сообщение от Аноним (158), 18-Июн-21, 16:14 
Не знаток раста от слова "совсем", но я там заметил в коде блок " unsafe {...}", какой там контроль в компиляторе должен быть?
Ответить | Правка | К родителю #77 | Наверх | Cообщить модератору

166. "Выпуск Rust 1.53. Google профинансирует добавление поддержки..."  –1 +/
Сообщение от Совершенно другой аноним (?), 18-Июн-21, 16:18 
Ясно. Теперь понятно, почему компилятор ничего не нашел, спасибо.
Ответить | Правка | Наверх | Cообщить модератору

223. "Выпуск Rust 1.53. Google профинансирует добавление поддержки..."  +1 +/
Сообщение от Ordu (ok), 18-Июн-21, 18:46 
> Это в компиляторе какого-то контроля не хватало, и его потом починили, или код крейта был так написан, что как-то смог обойти все контроли?

Код использует unsafe функцию get_by_index собственного изобретения, которая возвращает raw-указатель на элемент массива. Затем он использует ptr.read, чтобы прочитать элемент массива. И таким образом он дублирует элемент массива, информация про ownership теряется. Это похрен, в ряде случаев, но в его примере со String это не работает и не может сработать.

String содержит в себе ptr: *u8 -- указатель на блок памяти, содержащий все символы. Этот String -- уникальный владелец указателя на этот кусок памяти, он может позволить позаимствовать указатель на него, но лишь на время, и borrow-checker следит за тем, чтобы позаимствованная ссылка не смогла бы пережить String, из которого она была позаимствована. Когда объект String удаляется, вызывается String::drop, которая делает free на этот указатель. Гарантии safe-кода и код String гарантируют, что всё пройдёт норм: что этот указатель будет валидным, и что после его освобождения нигде не останется dangling-pointer'ов.

Но чувак нашёл способ скопировать String, то есть он получил два объекта String, хранящие указатели на один и тот же кусок памяти. Он взял raw-указатель на String, и прочитал оттуда сам String, вместе с указателем на память. Естественно, что когда эти String'и удаляются, он получает double-free: первый удалённый уже освободил память, указатель во втором превратился в dangling-pointer, и удаление второго String'а приводит к free на висящем указателе, то есть а double-free.

В целом, косяк за программистом, который не понимал, что он делает: если ты расчехлил unsafe, то надо следить самостоятельно за происходящим. Borrow-checker, конечно, проверяет unsafe код, но если ты преобразуешь указатель на объект в raw-указатель, а потом обратно, то он пропустит, что произошёл borrow.

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

241. "Выпуск Rust 1.53. Google профинансирует добавление поддержки..."  –1 +/
Сообщение от Совершенно другой аноним (?), 18-Июн-21, 20:04 
>> Это в компиляторе какого-то контроля не хватало, и его потом починили, или код крейта был так написан, что как-то смог обойти все контроли?

...

> В целом, косяк за программистом, который не понимал, что он делает: если
> ты расчехлил unsafe, то надо следить самостоятельно за происходящим. Borrow-checker, конечно,
> проверяет unsafe код, но если ты преобразуешь указатель на объект в
> raw-указатель, а потом обратно, то он пропустит, что произошёл borrow.

Спасибо за пояснение. Единственно, что удивило - я так думал, что unsafe должен использоваться довольно редко, но судя по коду, который был в базе cve - наоборот, очень часто.

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

245. "Выпуск Rust 1.53. Google профинансирует добавление поддержки..."  +/
Сообщение от Ordu (ok), 18-Июн-21, 20:21 
> Единственно, что удивило - я так думал, что unsafe
> должен использоваться довольно редко, но судя по коду, который был в
> базе cve - наоборот, очень часто.

В базе CVE unsafe естественно будет появляться гораздо чаще, чем вне её. База CVE, в этом смысле, не показатель.

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

286. "Выпуск Rust 1.53. Google профинансирует добавление поддержки..."  +/
Сообщение от Аноним (286), 19-Июн-21, 08:44 
Как ты смог прочитать нечитаемый синтоксос?
Опеннетчики, зжечь ведьму!
Ответить | Правка | К родителю #223 | Наверх | Cообщить модератору

306. "Выпуск Rust 1.53. Google профинансирует добавление поддержки..."  +/
Сообщение от Ordu (ok), 19-Июн-21, 16:48 
Да хз. Оно как-то само.
Ответить | Правка | Наверх | Cообщить модератору

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

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




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

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