Свойства безопасности Rust.

Rust обеспечивает безопасность памяти и потоков на этапе компиляции через владение, заимствования и времена жизни, устраняя UAF и гонки данных без сборщика мусора. Относится к категории Безопасность приложений в кибербезопасности.

Rust обеспечивает безопасность памяти и потоков на этапе компиляции через владение, заимствования и времена жизни, устраняя UAF и гонки данных без сборщика мусора.

Проверка заимствований Rust статически гарантирует, что у каждого значения один владелец, а ссылки — это либо одно эксклюзивное изменяемое заимствование, либо несколько неизменяемых — все в пределах ограниченного времени жизни. Это конструктивно устраняет use-after-free, double-free, инвалидацию итераторов и большинство гонок данных. Проверки границ слайсов и типы Option/Result убирают разыменования null и необработанные ошибки. Низкоуровневые операции вынесены в явные блоки unsafe, которые подлежат аудиту и минимизации; стандартная библиотека и многие крейты оборачивают unsafe в безопасные API. Rust не отменяет логические ошибки, риски цепочки поставок, побочные каналы и обязанность ревью unsafe-кода.

Защита от Свойства безопасности Rust обычно сочетает технические меры и операционные практики, как описано в определении выше.

Распространённые альтернативные названия: Безопасность Rust, Borrow checker.