RealFeedApp Лаборатория FORGE обнаружила уязвимости в std и core
Лаборатория FORGE Microsoft нашла уязвимости в Rust, где безопасный код вызывает неопределенное поведение из-за доверия к unsafe-коду. Исследование выявило три повторяющихся паттерна ошибок: доверие к коду, который не должен вызывать панику, и доверие к пользовательским реализациям.
- Область
- компьютерная безопасность
- Что сделали
- Исследователи из лаборатории FORGE Microsoft обнаружили несколько уязвимостей безопасности памяти в стандартной библиотеке языка Rust, которые могут быть вызваны даже полностью безопасным кодом. Для поиска этих проблем они использовали систему искусственного интеллекта Hyenas, которая выявила три повторяющихся ошибки: недоверие к коду, который не должен вызывать аварийное завершение, к пользовательским реализациям и к базовой системе.
- Зачем это
- Эти находки важны для разработчиков, которые хотят использовать Rust в критически важных системах, так как они показывают, что стандартная библиотека может нарушить свои гарантии безопасности, если в ней есть скрытые ошибки в неопасном коде.
#rust#memory safety#std library#microsoft forge#hyenas
