Cppcheck

Cppcheck هي أداة لتحليل الكود الثابت للغتي البرمجة C و C++ . وهي أداة متعددة الاستخدامات قادرة على فحص الكود غير القياسي. ^{[ 2 ]} مبتكرها ومطورها الرئيسي هو دانيال مارجامكي.

Cppcheck هو برنامج مفتوح المصدر ، حيث أن الكود الأساسي الخاص به مفتوح المصدر بموجب رخصة جنو العمومية العامة .

يدعم Cppcheck مجموعة واسعة من الفحوصات الثابتة التي قد لا يغطيها المُصرّف نفسه. هذه الفحوصات هي فحوصات تحليلية ثابتة يمكن إجراؤها على مستوى الكود المصدري. يركز البرنامج على فحوصات التحليل الثابت الدقيقة، بدلاً من الفحوصات الاستدلالية .

تتضمن بعض عمليات التحقق المدعومة ما يلي:

• التحقق التلقائي من المتغيرات
• التحقق من حدود المصفوفة لتجنب تجاوزات المصفوفة
• فحص الفئات (مثل الدوال غير المستخدمة، وتهيئة المتغيرات، وتكرار الذاكرة)
• استخدام الوظائف المهملة أو المستبدلة وفقًا لمجموعة Open Group ^{[ 3 ]}
• التحقق من سلامة الاستثناءات، على سبيل المثال استخدام تخصيص الذاكرة وفحوصات المدمرات
• تسرب الذاكرة ، على سبيل المثال بسبب فقدان النطاق دون إلغاء التخصيص
• تسريبات الموارد ، على سبيل المثال بسبب نسيان إغلاق مؤشر ملف
• استخدام غير صحيح لوظائف ومصطلحات مكتبة القوالب القياسية
• إزالة التعليمات البرمجية غير المستخدمة باستخدام خيار unusedFunction
• أخطاء أسلوبية وأدائية متنوعة

كما هو الحال مع العديد من برامج التحليل، توجد حالات غير مألوفة لأساليب البرمجة التي قد تكون مقبولة في حالات مستهدفة معينة أو خارج نطاق صلاحيات المبرمج لتصحيح شفرة المصدر. حددت دراسة أُجريت في مارس 2009 عدة مجالات رصد فيها برنامج Cppcheck نتائج إيجابية خاطئة، لكنها لم تُحدد إصدار البرنامج الذي تم فحصه. ^{[ 4 ]} وقد تم تحديد استخدام Cppcheck في أنظمة مثل حزمة التحليل الفوقي 4DSOFT التابعة لسيرن ، ^{[ 5 ]} وللتحقق من الشفرة في أجهزة قراءة كاشفات الجسيمات عالية الطاقة، ^{[ 6 ]} وبرامج مراقبة الأنظمة للتلسكوبات الراديوية، ^{[ 7 ]} بالإضافة إلى تحليل الأخطاء في المشاريع الكبيرة، مثل OpenOffice.org ^{[ 8 ]} وأرشيف دبيان . ^{[ 9 ]}

المشروع قيد التطوير النشط ^{[ 10 ]} ويتم صيانته بانتظام في مختلف توزيعات لينكس. ^{[ 11 ] [ 12 ]} وقد اكتشف المشروع أخطاءً برمجيةً في عدد من المشاريع الشائعة ^{[ 13 ]} مثل نواة لينكس و MPlayer . ^{[ 14 ]}

توجد إضافات لبيئات التطوير المتكاملة أو محررات النصوص التالية ^{[ 15 ]}

• CLion ^{[ 16 ]}
• Code::Blocks - مدمج.
• كودلايت - مُدمج.
• الكسوف ^{[ 17 ]}
• إيماكس ^{[ 18 ]}
• gedit ^{[ 19 ]}
• هادسون ^{[ 20 ]}
• جينكينز ^{[ 21 ]}
• كيت ^{[ 22 ]}
• KDevelop ^{[ 23 ]}
• Qt Creator ^{[ 24 ]}
• Sublime Text ^{[ 25 ]}
• Visual Studio ^{[ 26 ] [ 27 ] [ 28 ]}
• ياسكا ^{[ 29 ]}

• قائمة أدوات تحليل الكود الثابت

• Cppcheck على موقع SourceForge