Microsoft im Rahmen des Verona-Pilotprojekts eine neue Programmiersprache, die auf der Rust-Sprache basiert und sich auf die Entwicklung sicherer Anwendungen konzentriert, die keinen typischen Sicherheitsproblemen unterliegen. Quelltexte zu den aktuellen Entwicklungen im Zusammenhang mit dem Projekt sind in naher Zukunft geplant lizenziert unter Apache 2.0.
die Fähigkeit, eine sich weiterentwickelnde Sprache zu verwenden, einschließlich der Überarbeitung von Windows-Komponenten auf niedriger Ebene, um potenzielle Probleme zu blockieren, die bei der Verwendung der Sprachen C und C++ auftreten. Die Codesicherheit wird durch die automatische Speicherverwaltung erhöht, die Entwicklern die Manipulation von Zeigern erspart und vor Problemen schützt, die durch Speichermanipulation auf niedriger Ebene entstehen, wie z. B. den Zugriff auf einen Speicherbereich, nachdem dieser freigegeben wurde, die Dereferenzierung von Nullzeigern und Pufferüberläufe .
Der Hauptunterschied zwischen Verona und Rust besteht in der Verwendung des Modells basierend auf Gruppen von Objekten, nicht . Daten in Verona werden als Strukturen behandelt, bei denen es sich um Sammlungen von Objekten handelt. Die Entleihungsprüfungen und die Eigentumskontrolle werden in Bezug auf eine Gruppe von Objekten durchgeführt, was Sicherheit bei der Manipulation zusammengesetzter Strukturen bietet und den in der Entwicklung üblicherweise verwendeten Abstraktionsgrad besser widerspiegelt.
Source: opennet.ru