Microsoft som en del af Verona Pilot Project et nyt programmeringssprog baseret på Rust-sproget og fokuseret på at udvikle sikre applikationer, der ikke er underlagt typiske sikkerhedsproblemer. Kildetekster til den aktuelle udvikling relateret til projektet er planlagt i den nærmeste fremtid licenseret under Apache 2.0.
evnen til at bruge et udviklende sprog, herunder til at omarbejde Windows-komponenter på lavt niveau for at blokere potentielle problemer, der dukker op, når du bruger C- og C++-sprogene. Kodesikkerheden forbedres af automatisk hukommelsesstyring, som sparer udviklere for at skulle manipulere pointere og beskytter mod problemer, der opstår på grund af hukommelsesmanipulation på lavt niveau, såsom adgang til et hukommelsesområde, efter at det er blevet frigivet, dereferencing af nul-pointere og bufferoverskridelser .
Den største forskel mellem Verona og Rust er brugen af modellen baseret på grupper af objekter, ikke . Data i Verona behandles som strukturer, som er samlinger af objekter. Lånekontrollen og ejerskabskontrollen udføres i forhold til en gruppe af objekter, hvilket giver mulighed for sikkerhed ved manipulation af sammensatte strukturer og bedre afspejler det abstraktionsniveau, der almindeligvis anvendes i udvikling.
Kilde: opennet.ru