Mit dem Projekt Verona experimentiert Microsoft mit einer neuen Rust-basierten Programmiersprache als Alternative zu C und C++. Nun haben die Redmonder Verona als Open Source auf Github veröffentlicht.

Das Projekt befinde sich noch in einem sehr frühen Stadium und sei offen, um akademische Kooperationen zu erleichtern, schreibt Microsoft auf Github. Verona sei nicht bereit, ausserhalb der Forschung eingesetzt zu werden.

Microsoft begann im Sommer 2019 mit der Programmiersprache zu experimentieren, um Schwächen von C und C++ zu eliminieren. Rund 70 Prozent aller Sicherheitslücken, die CVE-Nummern erhalten, und die Microsoft schliessen musste, seien auf Speicherfehler zurückzuführen, so die Autoren. Die Speicherfehler bei der Systemprogrammierung würden üblicherweise wegen C und C++ auftreten.