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