Sicherheitseigenschaften von Rust.

Rust erzwingt Speicher- und Thread-Sicherheit zur Compile-Zeit ueber Ownership, Borrowing und Lifetimes und beseitigt UAF und Data Races ohne Garbage Collector. Es gehört zur Kategorie Anwendungssicherheit der Cybersicherheit.

Rust erzwingt Speicher- und Thread-Sicherheit zur Compile-Zeit ueber Ownership, Borrowing und Lifetimes und beseitigt UAF und Data Races ohne Garbage Collector.

Rusts Borrow-Checker prueft statisch, dass jeder Wert genau einen Besitzer hat und Referenzen entweder ein exklusiver mutabler Borrow oder mehrere immutable Borrows in einem begrenzten Lifetime sind. Use-after-free, Double-free, Iterator-Invalidationen und die meisten Data Races werden so konstruktiv ausgeschlossen. Bound-Checks auf Slices und die Typen Option/Result entfernen Null-Dereferenzen und unbehandelte Fehler. Hardware-Nahes oder Unsafe-Code lebt in expliziten unsafe-Bloecken, die auditierbar und zu minimieren sind; die Standardbibliothek und viele Crates kapseln unsafe hinter sicheren APIs. Rust beseitigt jedoch keine Logikfehler, Supply-Chain-Risiken, Seitenkanal-Luecken oder die Notwendigkeit, unsafe-Code zu reviewen.

Schutzmaßnahmen gegen Sicherheitseigenschaften von Rust kombinieren typischerweise technische Kontrollen und operative Praktiken, wie in der Definition oben beschrieben.

Übliche alternative Bezeichnungen: Rust-Sicherheit, Borrow-Checker.