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

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

Источник: www.opennet.ru

Поделиться новостью в Facebook Поделиться новостью в Twittere Поделиться новостью в VK Поделиться новостью в Pinterest Поделиться новостью в Reddit

Игры и Интернет

Выпуск стандартной Си-библиотеки PicoLibc 1.8.9 Опубликован релиз стандартной Си-библиотеки PicoLibc 1.8.9, развиваемой Китом Паккардом (Keith Packard, лидер проекта X.Org) для применения на встраи …

Игры и Интернет 00:20, февраля 9, 2025 | opennet.ru

Выпуск Rust 1.82. Новый браузер на Rust. Использование Rust в Volvo Опубликован релиз языка программирования общего назначения Rust 1.82, основанного проектом Mozilla, но ныне развиваемого под покровительством независ …

Наука и Технологии 00:20, октября 20, 2024 | opennet.ru

Выпуск Rust 1.84. Ядра Tock и Vekos, написанные на Rust. Диалект Mini-C Опубликован релиз языка программирования общего назначения Rust 1.84, основанного проектом Mozilla, но ныне развиваемого под покровительством независ …

Игры и Интернет 16:20, января 15, 2025 | opennet.ru

Выпуск Rust 1.92. Rust-проекты для GUI, sandbox-изоляции и создания прошивок Опубликован релиз языка программирования Rust 1.92, основанного проектом Mozilla, но ныне развиваемого под покровительством независимой некоммерческо …

Игры и Интернет 08:20, декабря 15, 2025 | opennet.ru

Выпуск Rust 1.88. Операционная система Munal и утилита rsched на Rust Опубликован релиз языка программирования общего назначения Rust 1.88, основанного проектом Mozilla, но ныне развиваемого под покровительством независ …

Игры и Интернет 08:20, июня 30, 2025 | opennet.ru

Выпуск Rust 1.79. Создан консорциум для разработки высоконадёжных систем на Rust Опубликован релиз языка программирования общего назначения Rust 1.79, основанного проектом Mozilla, но ныне развиваемого под покровительством независ …

Наука и Технологии 07:14, июня 14, 2024 | opennet.ru

Выпуск Rust 1.90. Инструментарий для создания Windows-драйверов на Rust Опубликован релиз языка программирования Rust 1.90, основанного проектом Mozilla, но ныне развиваемого под покровительством независимой некоммерческо …

Наука и Технологии 16:20, сентября 22, 2025 | opennet.ru

Выпуск Rust 1.89. Около 8% src-пакетов в Debian Sid завязаны на Rust Опубликован релиз языка программирования Rust 1.89, основанного проектом Mozilla, но ныне развиваемого под покровительством независимой некоммерческо …

Игры и Интернет 16:20, августа 14, 2025 | opennet.ru