Microsoft ca parte a proiectului pilot Verona un nou limbaj de programare bazat pe limbajul Rust și axat pe dezvoltarea de aplicații securizate care nu sunt supuse unor probleme tipice de securitate. Textele sursă ale dezvoltărilor curente legate de proiect sunt planificate în viitorul apropiat licențiat sub Apache 2.0.
capacitatea de a utiliza limbajul dezvoltat, inclusiv pentru procesarea componentelor Windows de nivel scăzut pentru a bloca potențialele probleme care apar la utilizarea limbajelor C și C++. Siguranța codului este îmbunătățită de gestionarea automată a memoriei, care elimină necesitatea dezvoltatorilor de a manipula pointerii și protejează împotriva problemelor care decurg din manipularea memoriei de nivel scăzut, cum ar fi accesul după liber, dereferențele pointerului nul și depășirile de buffer.
Principala diferență dintre Verona și Rust este utilizarea modelului bazat pe grupuri de obiecte mai degrabă decât . Datele din Verona sunt tratate ca structuri care sunt colecții de obiecte. Verificările de împrumut și verificările de proprietate sunt efectuate în legătură cu un grup de obiecte, ceea ce ajută la asigurarea siguranței la manipularea structurilor compozite și reflectă mai bine nivelul de abstractizare utilizat în mod obișnuit în dezvoltare.
Sursa: opennet.ru