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