تستعد مايكروسوفت لإطلاق لغة جديدة للبرمجة الآمنة سيصبح مشروع Verona قريبًا مفتوح المصدر ، حيث يتبع منهج مختلف لملكية الكائنات والتزامن لضمان إدارة آمنة للذاكرة.
حيث وجدت مايكروسوفت أن حوالي 70 بالمائة من الثغرات الأمنية التي تعالجها ترجع إلى مشكلات تتعلق بسلامة الذاكرة.
و لتسهيل كتابة رمز أكثر أمانا ، تقوم الشركة بتطوير لغة مصممة لبرمجة البنية الأساسية الآمنة.
مايكروسوفت ستطلق اسم فيرونا علي لغة البرمجة الجديدة الخاصة بها، مع فيرونا هناك مؤشرات ترابط يمكنها الوصول إلى المناطق. يمكن الوصول إلى أي منطقة بواسطة مؤشر ترابط واحد فقط.
هناك نقطة دخول خطية إلى المنطقة ، ويمكن أن تتداخل المناطق داخل مناطق أخرى. يمكن للمنطقة المشتركة غير القابلة للتغيير الحفاظ على العناصر التي لم يتم تحورها.
علاوة على ذلك ، يستخدم الصندوق الرملي المنتشر لتشغيل الشفرة القديمة غير الموثوق بها.
يمكن تضمين مكتبات Sandboxed في برنامج Verona. و يتضمن Project Verona وقت تشغيل بجودة الإنتاج ومترجم نموذجي ومدقق كتابة.
تدعو الخطط إلى إنشاء مترجم ومصدر مفتوح لـ GitHub للغة البرمجة الجديدة فيرونا .
كجزء من جهود أمان الذاكرة ، قامت مايكروسوفت باستخدام Rust لإنشاء مكونات جديدة وإعادة كتابة المكونات القديمة.