سيقوم مطور Cppcheck (Daniel Marjamäki) بإضافة القدرة على التحقق من البرامج في C وC++ إلى محلله الثابت.
التحقق من البرامج في Cppcheck
في وضع "التحقق"، سيصدر Cppcheck تحذيرًا إذا لم يتمكن من التحقق من أن الرمز آمن، ولكن قد يؤدي ذلك إلى حدوث ضوضاء (تحذيرات متعددة).
خطط التنفيذ
سيتم تنفيذ وضع التحقق بالتسلسل. في المرحلة الأولى، سيتمحور العمل حول القسمة على الصفر. هذا فحص بسيط نسبيًا. سيتم اختبار كل وظيفة على حدة. من المفترض أن جميع بيانات الإدخال يمكن أن يكون لها قيمة عشوائية. ستتم إضافة عمليات التحقق من الأنواع الأخرى من السلوك غير المحدد لاحقًا. هناك أيضًا خطط لتحسين تحليل C وC++.
تسريع التنمية
الهدف من جمع التبرعات على Kickstarter هو تسريع تطوير وضع التحقق. نحن نخطط لإضافة هذه الميزة على أي حال، ولكن قد يستغرق العمل وقتًا أطول إذا لم يتم جمع الأموال. إذا تم جمع الأموال، فسيتمكن دانيال من أخذ إجازة من وظيفته الرئيسية من أجل تكريس وقت عمله بالكامل لمشروع cppcheck.
أهداف المشروع
-
تحسين المحلل اللغوي C++.
المصدر: linux.org.ru