Инициатива за верификация на стандартната библиотека Rust
Компанията Amazon и организацията Rust Foundation представиха инициатива, насочена към увеличаване на сигурността на стандартната библиотека на езика Rust. Целта е проверка на надеждността и безопасността на функциите, в които се използва ключовата дума „unsafe“, позволяваща операции, които не са безопасни за работа с паметта, като разименуване на указатели, промяна на статични променливи и достъп до външни библиотеки на C/C++. Отбелязва се, че в момента стандартната […]
