Initiative zur Verifizierung der Standardbibliothek von Rust
Das Unternehmen Amazon und die Rust Foundation haben eine Initiative vorgestellt, die darauf abzielt, die Sicherheit der Standardbibliothek der Programmiersprache Rust zu verbessern. Ziel ist es, die Zuverlässigkeit und Sicherheit der Funktionen zu überprüfen, die das Schlüsselwort „unsafe“ verwenden, das potenziell gefährliche Speicheroperationen wie das Dereferenzieren von Zeigern, das Ändern von statischen Variablen und den Zugriff auf externe Bibliotheken in C/C++ zulässt. Es wird darauf hingewiesen, dass derzeit die Standardbibliothek […]
