Microsoft som en del av Verona Pilot Project et nytt programmeringsspråk basert på Rust-språket og fokusert på å utvikle sikre applikasjoner som ikke er utsatt for typiske sikkerhetsproblemer. Kildetekster til den nåværende utviklingen knyttet til prosjektet er planlagt i nær fremtid lisensiert under Apache 2.0.
muligheten til å bruke et utviklende språk, inkludert for å omarbeide Windows-komponenter på lavt nivå for å blokkere potensielle problemer som dukker opp ved bruk av C- og C++-språk. Kodesikkerheten er forbedret av automatisk minnebehandling, som sparer utviklere fra å måtte manipulere pekere og beskytter mot problemer som oppstår på grunn av minnemanipulering på lavt nivå, for eksempel tilgang til et minneområde etter at det har blitt frigjort, fjerning av null-pekere og bufferoverskridelser .
Hovedforskjellen mellom Verona og Rust er bruken av modellen basert på grupper av objekter, ikke . Data i Verona blir behandlet som strukturer, som er samlinger av objekter. Lånesjekkene og eierskapskontrollen utføres i forhold til en gruppe objekter, noe som gir mulighet for sikkerhet ved manipulering av sammensatte strukturer og bedre gjenspeiler abstraksjonsnivået som vanligvis brukes i utvikling.
Kilde: opennet.ru