مايكروسوفت كجزء من مشروع فيرونا التجريبي لغة برمجة جديدة تعتمد على لغة Rust وتركز على تطوير التطبيقات الآمنة التي لا تخضع لمشاكل أمنية نموذجية. ومن المقرر توفير النصوص المصدرية للتطورات الحالية المتعلقة بالمشروع في المستقبل القريب مرخص بموجب Apache 2.0.
القدرة على استخدام اللغة التي يتم تطويرها، بما في ذلك معالجة مكونات Windows ذات المستوى المنخفض من أجل منع المشاكل المحتملة التي تنشأ عند استخدام لغات C وC++. يتم تعزيز أمان التعليمات البرمجية من خلال إدارة الذاكرة التلقائية، مما يلغي حاجة المطورين إلى معالجة المؤشرات ويحمي من المشكلات الناشئة عن معالجة الذاكرة ذات المستوى المنخفض، مثل الوصول بعد الحرية، وإلغاء مرجعيات المؤشر الفارغة، وتجاوزات المخزن المؤقت.
الفرق الرئيسي بين فيرونا ورست هو استخدام النموذج على أساس مجموعات من الكائنات بدلا من . يتم التعامل مع البيانات في فيرونا على أنها هياكل عبارة عن مجموعات من الكائنات. يتم إجراء فحوصات الاقتراض وفحص الملكية فيما يتعلق بمجموعة من الكائنات، مما يساعد على ضمان السلامة عند التعامل مع الهياكل المركبة ويعكس بشكل أفضل مستوى التجريد المستخدم عادةً في التطوير.
المصدر: opennet.ru