Инициатива по верификации стандартной библиотеки Rust @ lor.opennet HOME

Инициатива по верификации стандартной библиотеки Rust robot to All

Компания Amazon и организация Rust Foundation представили инициативу, нацеленную на повышение безопасности стандартной библиотеки языка Rust. Целью заявлена проверка надёжности и безопасности функций, в которых используется ключевое слово "unsafe", допускающее операции, небезопасно работающие с памятью, такие как разыменование указателей, изменение статических переменных и обращение к внешним библиотекам на С/C++. Отмечается, что в настоящее время стандартная библиотека Rust насчитывает около 35 тысяч функций, из которых в 7500 встречаются блоки кода, выполняемые в контексте "unsafe". За последние три года в библиотеке было выявлено 57 проблем с корректностью работы, из которых 20 были помечены как уязвимости.

https://www.opennet.ru/opennews/art.shtml?num=62286

24/11/24 09:44 UTCIJkWaAhS0dvjcXAhPUkY * REPLY