Microsoft Veronas pilotprojekta ietvaros jauna programmēšanas valoda, kuras pamatā ir Rust valoda un kura ir vērsta uz drošu lietojumprogrammu izstrādi, kas nav pakļautas tipiskām drošības problēmām. Tuvākajā laikā plānoti ar projektu saistīto aktuālo norišu pirmteksti licencēts saskaņā ar Apache 2.0.
spēja izmantot izstrādājamo valodu, tostarp zema līmeņa Windows komponentu apstrādei, lai bloķētu iespējamās problēmas, kas rodas, izmantojot C un C++ valodas. Koda drošību uzlabo automātiskā atmiņas pārvaldība, kas novērš nepieciešamību izstrādātājiem manipulēt ar rādītājiem un aizsargā pret problēmām, kas rodas no zema līmeņa atmiņas manipulācijām, piemēram, pēc brīvpiekļuves, nulles rādītāju novirzīšanas un bufera pārtēriņa.
Galvenā atšķirība starp Veronu un Rustu ir modeļa izmantošana pamatojoties uz objektu grupām, nevis . Dati Veronā tiek uzskatīti par struktūrām, kas ir objektu kolekcijas. Aizņēmumu pārbaudes un īpašumtiesību pārbaudes tiek veiktas attiecībā uz objektu grupu, kas palīdz nodrošināt drošību, manipulējot ar saliktām konstrukcijām, un labāk atspoguļo izstrādē parasti izmantoto abstrakcijas līmeni.
Avots: opennet.ru