مائیکروسافٹ ویرونا پائلٹ پروجیکٹ کے حصے کے طور پر ایک نئی پروگرامنگ لینگویج جو رسٹ لینگویج پر مبنی ہے اور محفوظ ایپلی کیشنز تیار کرنے پر مرکوز ہے جو عام سیکورٹی کے مسائل کا شکار نہیں ہیں۔ اس منصوبے سے متعلق موجودہ پیش رفت کے ماخذ متن مستقبل قریب میں منصوبہ بندی کی جاتی ہے اپاچی 2.0 کے تحت لائسنس یافتہ۔
C اور C++ زبانوں کے استعمال کے دوران پیدا ہونے والے ممکنہ مسائل کو روکنے کے لیے تیار کی جانے والی زبان کو استعمال کرنے کی صلاحیت، بشمول کم درجے کے ونڈوز کے اجزاء پر کارروائی کرنا۔ کوڈ کی حفاظت کو خودکار میموری کے انتظام کے ذریعے بڑھایا جاتا ہے، جو ڈویلپرز کو پوائنٹرز میں ہیرا پھیری کرنے کی ضرورت کو ختم کرتا ہے اور کم سطحی میموری کی ہیرا پھیری سے پیدا ہونے والے مسائل سے بچاتا ہے، جیسے کہ آفٹر فری رسائی، null pointer dereferences، اور buffer overruns۔
ویرونا اور زنگ کے درمیان بنیادی فرق ماڈل کا استعمال ہے۔ کے بجائے اشیاء کے گروپوں پر مبنی . ویرونا میں ڈیٹا کو ڈھانچے کے طور پر سمجھا جاتا ہے جو اشیاء کے مجموعے ہیں۔ ادھار کی جانچ پڑتال اور ملکیت کی جانچ پڑتال اشیاء کے ایک گروپ کے سلسلے میں کی جاتی ہے، جو جامع ڈھانچے میں ہیرا پھیری کرتے وقت حفاظت کو یقینی بنانے میں مدد کرتی ہے اور عام طور پر ترقی میں استعمال ہونے والے تجرید کی سطح کی بہتر عکاسی کرتی ہے۔
ماخذ: opennet.ru