В borrow checker языка Rust обнаружены ошибки 11-летней давности

В механизме проверки заимствований (borrow checker) языка программирования Rust были обнаружены критические ошибки, существовавшие на протяжении 11 лет. Проблемы связаны со сложными пограничными случаями обработки безопасности памяти, которые при определенных условиях могут приводить к неопределенному поведению программы. Команда Rust в настоящее время оценивает масштаб уязвимостей, что подчеркивает сложность поддержания формальных гарантий в таком комплексном языке. Несмотря на то, что эти ошибки присутствовали в коде более десятилетия, их крайне сложно воспроизвести в реальных приложениях. Открытие вызвало широкую дискуссию в сообществе разработчиков относительно ограничений borrow checker и усилий по повышению безопасности языка. Разработчикам рекомендуется следить за официальным репозиторием Rust для получения исправлений и дальнейшего технического анализа по мере того, как команда работает над устранением неполадок.