Die Microsoft Corporation hat im Rahmen eines experimentellen Projekts Verona eine neue Programmiersprache entwickelt, die auf Rust basiert und sich auf die Entwicklung sicherer Anwendungen konzentriert, die nicht typischen Sicherheitsproblemen ausgesetzt sind. Die Quelltexte der aktuellen Fortschritte im Zusammenhang mit dem Projekt sollen in naher Zukunft unter der Apache 2.0-Lizenz.
um die Verwendung der entwickelten Sprache unter anderem zur Überarbeitung von niedrigstufigen Windows-Komponenten zu ermöglichen, um potenzielle Probleme zu blockieren, die bei der Anwendung von C und C++ auftreten können. Die Sicherheit des Codes wird durch automatisches Speichermanagement erhöht, das Entwickler von der Notwendigkeit befreit, mit Zeigern zu arbeiten, und sie vor Problemen schützt, die durch niedrigstufige Speicheroperationen entstehen, wie etwa den Zugriff auf freigegebenen Speicher, das Dereferenzieren von Nullzeigern und Buffer Overflows.
Der Hauptunterschied zwischen Verona und Rust ist die Anwendung des Modells auf Basis von Objektgruppen und nicht von . In Verona werden Daten als Strukturen betrachtet, die Sammlungen von Objekten repräsentieren. Die Überprüfungen der Ausleihe und die Kontrolle des Eigentums erfolgen im Kontext der Objektgruppe, was die Sicherheit bei der Manipulation von zusammengesetzten Strukturen gewährleistet und das Abstraktionsniveau besser widerspiegelt, das typischerweise bei der Entwicklung angewendet wird.
Quelle: opennet.ru
