Bahnbrechende Entwicklung: Sichere Kompilierung von C nach Rust
2024-12-21
Forscher haben eine neue Methode entwickelt, um C-Code sicher in Rust zu kompilieren. Diese Technik nutzt statische Analyse und typengesteuerte Übersetzung, um die Abhängigkeit von Rusts `unsafe`-Blöcken zu vermeiden und so die Speichersicherheit zu gewährleisten. Die Methode wurde erfolgreich auf Code der kryptografischen Bibliothek HACL* und der EverParse-Bibliotheken angewendet und hat zu einer 80.000-zeiligen, verifizierten, modernen kryptografischen Bibliothek in reinem Rust geführt – eine Premiere.
Entwicklung
C-Kompilierung