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

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

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



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





Rss.plus




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

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


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

Касаткина вновь приблизилась вплотную к топ-10 рейтинга WTA






Депутат Михкельсон: Москва добилась важной победы на Мюнхенской конференции

На границе в Койдула пограничники задержали грузовик с контрабандными сигаретами

Лавров: Россия и США как можно скорее назначат послов

«Хорошо, что не чиновник»: в КНИТУ-КАИ встретили и.о. ректора