Добавить новость
ru24.net
Все новости
Ноябрь
2024

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

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



Moscow.media
Частные объявления сегодня





Rss.plus




Спорт в России и мире

Новости спорта


Новости тенниса
WTA

Калинская снялась с матча по ходу полуфинала турнира WTA в Сингапуре






Добавьте музыку к вашему плаванию

В Москве арестовали мужчину, повредившего более 20 машин

Хоккей. «Локомотив» — «Металлург». Прямая трансляция: смотреть онлайн матч КХЛ

Стала известна причина ареста экс-замглавы правления «Роснано» Подольского