Cppcheck

Cppcheck هو أداة تحليل ثابتة لرمز C / C ++.على عكس برامج التحويل البرمجي C / C ++ والعديد من أدوات التحليل الأخرى ، فإنه لا يكتشف أخطاء بناء الجملة في التعليمات البرمجية.

تطبيق مجاني
PortableApps.com
Windows
Eclipse
Linux

Cppcheck هو أداة تحليل ثابتة لرمز C / C ++.على عكس برامج التحويل البرمجي C / C ++ والعديد من أدوات التحليل الأخرى ، فإنه لا يكتشف أخطاء بناء الجملة في التعليمات البرمجية.يكتشف Cppcheck بشكل أساسي أنواع الأخطاء التي لا يكتشفها المترجمون عادةً.الهدف من ذلك هو اكتشاف الأخطاء الحقيقية فقط في الكود (بمعنى أنه ليس هناك أي إيجابيات خاطئة صفرية).الميزات: - خارج نطاق التدقيق ، - التحقق من رمز لكل فئة ، - التحقق من سلامة الاستثناء ، - التحقق من تسرب الذاكرة ، - تحذير إذا تم استخدام وظائف عفا عليها الزمن ، - التحقق من استخدام غير صالح لل STL ، - التحقق من وجود متغيرات غير مهيأة والوظائف غير المستخدمة

cppcheck

موقع الكتروني:

http://cppcheck.sourceforge.net/

المميزات

بدائل Cppcheck لجميع المنصات مع أي ترخيص

PVS-Studio

PVS-Studio هو محلل ثابت يكتشف الأخطاء في الكود المصدري للتطبيقات C و C ++ و C #.

Coverity Scan

يتيح لك Cover Cover Scan Static Analysis إيجاد وإصلاح العيوب في مشروع مفتوح المصدر Java أو C / C ++ أو C # مجانًا.

Freemium
Windows
Mac
Linux
Web
BSD

Flawfinder

يفحص Flawfinder الكود المصدري ويبلغ عن نقاط ضعف أمنية محتملة ("العيوب") مرتبة حسب مستوى المخاطرة.

تطبيق مجاني
Windows
Linux

Splint

Splint هي أداة للتحقق بشكل ثابت من برامج C بحثًا عن الثغرات الأمنية وأخطاء الترميز.بأقل جهد ممكن ، يمكن استخدام الشظية كأفضل الوبر.

تطبيق مجاني
Windows
Linux

lgtm.com

lgtm.com عبارة عن منصة لتحليل الشفرات.إنه مجاني للاستخدام في البرامج مفتوحة المصدر ؛النتائج لأكثر من 55 ألف مشروع متاحة بسهولة (أضف مشروعك الخاص!) ، يحتوي على تكامل تلقائي لسحب مراجعة الكود (GitHub ، Bitbucket ، GitLab) ، وأكثر من ذلك بكثير.

تطبيق مجاني
Web

SonarQube

EDoC++

EDoC ++ هو أداة تحليل مصدر C ++ مصممة لتحديد المشكلات المرتبطة باستخدام الاستثناءات في رمز C ++.

تطبيق مجاني
Windows

LDRA Testbed

تعد شركة Liverpool Data Research Associates (LDRA) مزودًا لتحليل البرامج واختبارها ومتطلبات أدوات التتبع للقطاعين العام والخاص ورائدة في تحليل البرامج الثابتة والديناميكية.