Microsoft som en del av pilotprojektet Verona ett nytt programmeringsspråk baserat på Rust-språket och fokuserat på att utveckla säkra applikationer som inte är föremål för typiska säkerhetsproblem. Källtexter för aktuell utveckling relaterad till projektet planeras inom en snar framtid licensierad under Apache 2.0.
förmågan att använda språket som utvecklas, inklusive för att bearbeta Windows-komponenter på låg nivå för att blockera potentiella problem som uppstår när man använder språken C och C++. Kodsäkerheten förbättras av automatisk minneshantering, vilket eliminerar behovet för utvecklare att manipulera pekare och skyddar mot problem som uppstår från minnesmanipulation på låg nivå, såsom efterfri åtkomst, nollpekarereferenser och buffertöverskridanden.
Den största skillnaden mellan Verona och Rust är användningen av modellen baserat på grupper av objekt snarare än . Data i Verona behandlas som strukturer som är samlingar av objekt. Lånekontroller och ägarkontroller utförs i relation till en grupp av objekt, vilket bidrar till att säkerställa säkerheten vid manipulering av sammansatta strukturer och bättre återspeglar den abstraktionsnivå som vanligtvis används vid utveckling.
Källa: opennet.ru