Microsoft ويرونا پائلٽ منصوبي جي حصي طور هڪ نئين پروگرامنگ ٻولي مورچا ٻولي تي ٻڌل آهي ۽ محفوظ ايپليڪيشنن کي ترقي ڪرڻ تي مرکوز آهي جيڪي عام سيڪيورٽي مسئلن جي تابع نه آهن. منصوبي سان لاڳاپيل موجوده ترقيات جا ماخذ نصوص ويجهي مستقبل ۾ رٿيل آهن Apache 2.0 تحت لائسنس يافته.
ٻولي استعمال ڪرڻ جي صلاحيت جيڪا ترقي ڪئي پئي وڃي، بشمول گھٽ-سطح ونڊوز اجزاء جي پروسيسنگ لاءِ ته جيئن C ۽ C++ ٻولين کي استعمال ڪرڻ وقت پيدا ٿيندڙ امڪاني مسئلن کي بلاڪ ڪيو وڃي. ڪوڊ جي حفاظت خودڪار ميموري مئنيجمينٽ پاران وڌايو ويو آهي، جيڪو ڊولپرز جي ضرورت کي ختم ڪري ٿو پوائنٽرز کي ترتيب ڏيڻ ۽ گهٽ-سطح جي يادگيري جي ورهاڱي کان پيدا ٿيندڙ مسئلن کان بچائي ٿو، جهڙوڪ مفت رسائي، null pointer dereferences، ۽ buffer overruns.
ويرونا ۽ مورچا جي وچ ۾ بنيادي فرق ماڊل جو استعمال آهي شين جي گروپن جي بدران . ويرونا ۾ ڊيٽا کي ڍانچي جي طور تي علاج ڪيو ويندو آهي جيڪي شيون جا مجموعا آهن. قرضن جي چڪاس ۽ ملڪيت جا چيڪ شيون جي ھڪڙي گروپ جي سلسلي ۾ ڪيا ويندا آھن، جيڪي حفاظت کي يقيني بڻائڻ ۾ مدد ڪن ٿا جڏھن جامع ڍانچي کي ٺاھڻ ۾ ۽ بھترين طور تي ترقي ۾ استعمال ٿيل تجريد جي سطح کي بهتر نموني ڏيکاري ٿو.
جو ذريعو: opennet.ru