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

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

Компания Amazon и организация Rust Foundation представили инициативу, нацеленную на повышение безопасности стандартной библиотеки языка Rust. Целью заявлена проверка надёжности и безопасности функций, в которых используется ключевое слово "unsafe", допускающее операции, небезопасно работающие с памятью, такие как разыменование указателей, изменение статических переменных и обращение к внешним библиотекам на С/C++. Отмечается, что в настоящее время стандартная библиотека Rust насчитывает около 35 тысяч функций, из которых в 7500 встречаются блоки кода, выполняемые в контексте "unsafe". За последние три года в библиотеке было выявлено 57 проблем с корректностью работы, из которых 20 были помечены как уязвимости....
02.12.2024 - 06:19
Источник: www.opennet.ru  
Рубрика: «Игры и Интернет»   Поделиться: Поделиться новостью в Facebook Поделиться новостью в Twittere Поделиться новостью в VK Поделиться новостью в Pinterest Поделиться новостью в Reddit

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

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

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

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

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

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

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

Выпуск Rust 1.81. Препятствия при продвижении Rust в ядро LinuxВыпуск Rust 1.81. Препятствия при продвижении Rust в ядро Linux Опубликован релиз языка программирования общего назначения Rust 1.81, основанного проектом Mozilla, но ныне развиваемого под покровительством независ ...

Выпуск Rust 1.86. Подготовка официальной спецификации языка RustВыпуск Rust 1.86. Подготовка официальной спецификации языка Rust Опубликован релиз языка программирования общего назначения Rust 1.86, основанного проектом Mozilla, но ныне развиваемого под покровительством независ ...

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

Организация Rust Foundation запустила инициативу Rust Innovation LabОрганизация Rust Foundation запустила инициативу Rust Innovation Lab Некоммерческая организация Rust Foundation, занимающаяся развитием и поддержкой языка Rust и связанной с ним экосистемы, представила инициативу Rust ...

Предстоящие MacBook на M4 получат 16 ГБ оперативки в стандартной комплектацииПредстоящие MacBook на M4 получат 16 ГБ «оперативки» в стандартной комплектации Apple может значительно отступить от своих давних традиций и ввести 16 ГБ оперативной памяти в качестве нового стандарта для базовых устройств Mac с ...