Microsoft kao dio pilot projekta u Veroni novi programski jezik baziran na Rust jeziku i fokusiran na razvoj sigurnih aplikacija koje nisu podložne tipičnim sigurnosnim problemima. Izvorni tekstovi aktuelnih dešavanja u vezi sa projektom planiraju se u bliskoj budućnosti licenciran pod Apache 2.0.
mogućnost korištenja razvojnog jezika, uključujući i za obradu komponenti niskog nivoa Windows Da bi se blokirali potencijalni problemi koji se javljaju pri korištenju jezika C i C++. Sigurnost koda je poboljšana automatskim upravljanjem memorijom, što eliminira potrebu da programeri manipuliraju pokazivačima i štiti od problema koji proizlaze iz upravljanja memorijom niskog nivoa, kao što su pristup memoriji nakon što je oslobođena, dereferenciranje nultih pokazivača i prekoračenje bafera.
Glavna razlika između Verone i Rusta je upotreba modela zasnovano na grupama objekata, a ne . Podaci se u Veroni tretiraju kao strukture koje su zbirke objekata. Provjere pozajmljivanja i provjere vlasništva vrše se u odnosu na grupu objekata, što pomaže da se osigura sigurnost pri manipulaciji kompozitnim strukturama i bolje odražava nivo apstrakcije koji se tipično koristi u razvoju.
izvor: opennet.ru
