Cppcheck کا ڈویلپر (Daniel Marjamäki) C اور C++ میں سافٹ ویئر کی تصدیق کرنے کی صلاحیت کو اپنے جامد تجزیہ کار میں شامل کرنے جا رہا ہے۔
Cppcheck میں سافٹ ویئر کی تصدیق
"تصدیق" موڈ میں، Cppcheck ایک انتباہ جاری کرے گا اگر یہ تصدیق نہیں کر سکتا کہ کوڈ محفوظ ہے، لیکن اس کے نتیجے میں شور (متعدد انتباہات) ہو سکتا ہے۔
نفاذ کے منصوبے
تصدیق کا طریقہ ترتیب وار نافذ کیا جائے گا۔ پہلے مرحلے پر، کام صفر کی جانچ پڑتال کے ذریعے تقسیم پر توجہ مرکوز کرے گا۔ یہ نسبتاً آسان چیک ہے۔ ہر فنکشن کا الگ الگ ٹیسٹ کیا جائے گا۔ یہ فرض کیا جاتا ہے کہ تمام ان پٹ ڈیٹا کی صوابدیدی قدر ہو سکتی ہے۔ غیر متعینہ رویے کی دیگر اقسام کے لیے چیک بعد میں شامل کیے جائیں گے۔ C اور C++ پارسنگ کو بہتر بنانے کے بھی منصوبے ہیں۔
ترقی کو تیز کریں۔
کِک اسٹارٹر پر فنڈ ریزنگ کا مقصد تصدیقی موڈ کی ترقی کو تیز کرنا ہے۔ ہم بہرحال اس خصوصیت کو شامل کرنے کا ارادہ رکھتے ہیں، لیکن اگر فنڈز جمع نہیں کیے گئے تو کام میں زیادہ وقت لگ سکتا ہے۔ اگر فنڈز اکٹھے کیے جاتے ہیں، تو ڈینیئل اپنے کام کے وقت کو مکمل طور پر cppcheck پروجیکٹ کے لیے وقف کرنے کے لیے اپنے مرکزی کام سے غیر حاضری کی چھٹی لے سکے گا۔
منصوبے کے مقاصد۔
-
C++ پارسر کی بہتری۔
ماخذ: linux.org.ru