جبيرة

التحميل الان

جبيرة الترتيب والملخص

الإعلانات

  • Rating:
  • رخصة:
  • GPL
  • السعر:
  • FREE
  • اسم الناشر:
  • David Evans
  • موقع ويب الناشر:

جبيرة العلامات


جبيرة وصف

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


جبيرة برامج ذات صلة