Microsoft osana Veronan pilottiprojektia uusi Rust-kieleen perustuva ohjelmointikieli, joka keskittyi turvallisten sovellusten kehittämiseen, joihin ei kohdistu tyypillisiä tietoturvaongelmia. Hankkeen tämänhetkisen kehityksen lähdetekstejä suunnitellaan lähitulevaisuudessa lisensoitu Apache 2.0:lla.
kyky käyttää kehittyvää kieltä, mukaan lukien matalan tason Windows-komponenttien uudelleenkäsittely, jotta voidaan estää mahdolliset ongelmat, joita ilmenee C- ja C++-kieliä käytettäessä. Koodin turvallisuutta parantaa automaattinen muistinhallinta, joka säästää kehittäjiä joutumasta manipuloimaan osoittimia ja suojaa matalan tason muistinkäsittelyn aiheuttamilta ongelmilta, kuten muistialueen käyttämiseltä sen vapauttamisen jälkeen, nollaosoittimien viittausten poistamiselta ja puskurin ylityksiltä. .
Suurin ero Veronan ja Rustin välillä on mallin käyttö objektiryhmien perusteella, ei . Veronan dataa käsitellään rakenteina, jotka ovat esinekokoelmia. Lainaustarkistukset ja omistajuusvalvonta suoritetaan kohderyhmän suhteen, mikä mahdollistaa turvallisuuden yhdistelmärakenteita käsiteltäessä ja heijastaa paremmin kehityksessä yleisesti käytettyä abstraktiotasoa.
Lähde: opennet.ru