Microsoft Verona pilot loyihasining bir qismi sifatida Rust tiliga asoslangan va odatiy xavfsizlik muammolariga duch kelmaydigan xavfsiz ilovalarni ishlab chiqishga qaratilgan yangi dasturlash tili. Loyiha bilan bog'liq joriy ishlanmalarning manba matnlari yaqin kelajakda rejalashtirilgan Apache 2.0 ostida litsenziyalangan.
C va C ++ tillaridan foydalanishda yuzaga kelishi mumkin bo'lgan muammolarni blokirovka qilish uchun ishlab chiqilayotgan tildan foydalanish qobiliyati, shu jumladan past darajadagi Windows komponentlarini qayta ishlash uchun. Kod xavfsizligi avtomatik xotirani boshqarish orqali kuchaytiriladi, bu esa ishlab chiquvchilarning ko'rsatkichlarni boshqarish zaruriyatini yo'q qiladi va past darajadagi xotira manipulyatsiyasi natijasida kelib chiqadigan muammolardan himoya qiladi, masalan, bepul kirish, null ko'rsatkichni yo'qotish va buferdan oshib ketish.
Verona va Rust o'rtasidagi asosiy farq - bu modeldan foydalanish emas, balki ob'ektlar guruhlariga asoslangan . Veronadagi ma'lumotlar ob'ektlar to'plami bo'lgan tuzilmalar sifatida qaraladi. Qarzni tekshirish va egalik huquqini tekshirish ob'ektlar guruhiga nisbatan amalga oshiriladi, bu kompozit tuzilmalarni manipulyatsiya qilishda xavfsizlikni ta'minlashga yordam beradi va odatda ishlab chiqishda ishlatiladigan abstraktsiya darajasini yaxshiroq aks ettiradi.
Manba: opennet.ru