Cppcheck پروجیکٹ بہتریوں کو نافذ کرنے کے لیے فنڈز اکٹھا کر رہا ہے۔


Cppcheck پروجیکٹ بہتریوں کو نافذ کرنے کے لیے فنڈز اکٹھا کر رہا ہے۔

Cppcheck کے ڈویلپر ڈینیل مارجامکی اپنے جامد تجزیہ کار میں C اور C++ سافٹ ویئر کی تصدیق کرنے کی صلاحیت کو شامل کرنے کا ارادہ رکھتا ہے۔

Cppcheck میں سافٹ ویئر کی تصدیق

"تصدیق" موڈ میں، Cppcheck ایک انتباہ جاری کرے گا اگر یہ تصدیق نہیں کر سکتا کہ کوڈ محفوظ ہے، لیکن اس کے نتیجے میں شور (متعدد انتباہات) ہو سکتا ہے۔

نفاذ کے منصوبے

تصدیق کا طریقہ بتدریج نافذ کیا جائے گا۔ ابتدائی طور پر، کام "صفر سے تقسیم" کی جانچ پر توجہ مرکوز کرے گا۔ یہ نسبتاً آسان چیک ہے۔ ہر فنکشن کو الگ الگ چیک کیا جائے گا، یہ فرض کرتے ہوئے کہ تمام ان پٹ ڈیٹا میں صوابدیدی قدریں ہوسکتی ہیں۔ غیر متعینہ رویے کی دیگر اقسام کے لیے چیک بعد میں شامل کیے جائیں گے۔ C اور C++ نحوی تجزیہ میں بھی بہتری کی منصوبہ بندی کی گئی ہے۔

ترقی کو تیز کرنا

کِک اسٹارٹر کراؤڈ فنڈنگ ​​مہم کا مقصد توثیقی موڈ کی ترقی کو تیز کرنا ہے۔ اس خصوصیت سے قطع نظر اس کو شامل کرنے کی منصوبہ بندی کی گئی ہے، لیکن اگر فنڈز نہیں اکٹھے کیے گئے تو کام میں زیادہ وقت لگ سکتا ہے۔ اگر فنڈز اکٹھے کیے جاتے ہیں، تو ڈینیئل اپنی دن کی نوکری سے وقت نکال کر اپنا پورا وقت cppcheck پروجیکٹ کے لیے وقف کر سکے گا۔

منصوبے کے مقاصد۔

  • صفر ٹیسٹ کے ذریعے تقسیم میں جھوٹے منفی کو ختم کرنا جولیٹ и آئی ٹی سی.

  • غلط مثبت کے لئے درست کریں (دیکھیں۔ BUG#9402).

  • C++ تجزیہ کار کو بہتر بنانا۔

ماخذ: linux.org.ru

DDoS تحفظ، VPS VDS سرورز والی سائٹوں کے لیے قابل اعتماد ہوسٹنگ خریدیں۔ DDoS تحفظ، VPS VDS سرورز کے ساتھ قابل اعتماد ویب سائٹ ہوسٹنگ خریدیں۔ ProHoster