جبيرة هو أداة لفحص ثابت برامج C لالثغرات الأمنية وأخطاء البرمجة.
جبيرة يفعل العديد من الشيكات الوبر التقليدية بما في ذلك الإعلانات غير المستخدمة، نوع التناقضات، واستخدام قبل التعريف، رمز قابلة للوصول، والقيم عودة تجاهلها، ومسارات التنفيذ مع اللاعودة، حلقات لانهائية الأرجح، وتسقط من خلال الحالات.
يتم إجراء الاختبارات أكثر قوة بفضل المعلومات الإضافية الواردة في الشروح شفرة المصدر. الشروح والتعليقات منمنمة أن الافتراضات وثيقة عن وظائف، والمتغيرات، وأنواع المعلمات.
بالإضافة إلى الشيكات تمكين تحديدا والشروح، والعديد من الشيكات الوبر التقليدية المحسنة من خلال استغلال هذه المعلومات الإضافية.
كما يتم وضع المزيد من الجهد في برامج التأشير، ونتائج فحص أفضل. ويرد منحنى الجهد والفوائد التمثيلي لاستخدام جبيرة في الشكل 1.
تم تصميم جبيرة أن تكون مرنة وتسمح للمبرمجين لتحديد النقاط المناسبة على منحنى الجهد والفوائد لمشاريع معينة.
يتم تشغيل الشيكات كما مختلفة على ويرد في قانون مزيد من المعلومات والشروح عدد من الأخطاء التي يمكن أن يتم الكشف عن زيادات كبيرة.
مشاكل من اكتشاف الشظية ما يلي:
لم يتم العثور على التعليقات