Microsoft minangka bagéan saka proyek pilot Verona basa pamrograman anyar adhedhasar basa Rust lan fokus ing ngembangaken aplikasi aman sing ora tundhuk masalah keamanan khas. Teks sumber pangembangan saiki sing ana gandhengane karo proyek kasebut direncanakake ing mangsa ngarep dilisensi ing Apache 2.0.
kemampuan kanggo nggunakake basa sing dikembangaké, kalebu kanggo ngolah komponen Windows tingkat rendah kanggo mblokir masalah potensial sing muncul nalika nggunakake basa C lan C ++. Keamanan kode ditingkatake kanthi manajemen memori otomatis, sing ngilangi kabutuhan pangembang kanggo manipulasi penunjuk lan nglindhungi masalah sing muncul saka manipulasi memori tingkat rendah, kayata akses gratis sawise, dereferensi pointer null, lan overruns buffer.
Bentenane utama antarane Verona lan Rust yaiku nggunakake model kasebut adhedhasar klompok obyek tinimbang . Data ing Verona dianggep minangka struktur sing minangka kumpulan obyek. Pemeriksaa nyilih lan pamriksan kepemilikan ditindakake ing hubungane karo klompok obyek, sing mbantu njamin keamanan nalika ngolah struktur komposit lan luwih nggambarake tingkat abstraksi sing biasane digunakake ing pembangunan.
Source: opennet.ru