جبش كيفية أداء تحليل الوذو

Question

كيفية أداء تحليل التشغيل باستخدام جبيرة؟

لقد قمت بتثبيت جبيرة على Ubuntu 12.04. إنشاء حالة اختبار صغيرة على النحو التالي: giveacodicetagpre.

أيضا إنشاء ملف splint.xh مع المحتويات التالية: giveacodicetagpre.

أيضا إنشاء ملف splint.mts مع المحتويات أدناه: giveacodicetagpre.

ثم أخيرا ركض أداة الشظية مع الأمر: giveacodicetagpre.

حيث prg001.c هو إدخال عينة، يشير "splint" إلى ملف splint.mts و splint.xh. جميع الملفات موجودة في الدليل الحالي.

الإخراج الذي تلقيته هو:

splint 3.1.2 --- 21 أغسطس 2012

prg001.c: (في الوظيفة الرئيسية) PRG001.C: 6: 1: تنسيق سلسلة المعلمة إلى printf ليست ثابتة تجميع ثابت: أ المعلمة تنسيق غير معروفة في وقت الترجمة. هذا يمكن أن يؤدي إلى الأمن نقاط الضعف لأن الحجج لا يمكن التحقق منها. (يستخدم --Formatconst لمنع التحذير) PRG001.C: 3: 14: المعلمة Argc غير المستخدمة لا يتم استخدام معلمة الوظيفة في جسم الوظيفة. إذا كانت الحجة هناك حاجة للتوافق من النوع أو الخطط المستقبلية، استخدم / @ funuster @ / في إعلان حجة. (استخدم -Paramuse لتحذير التحذير)

الانتهاء من التدقيق --- 2 تحذيرات رمز

لا يوجد تلميح لأي تحليل أشبع في الإخراج. يمكن لشخص ما الرجاء مساعدتي في كيفية القيام بتحليل التشعيم باستخدام جبيرة.

شكرا

Answer 1

المشكلة كانت مع ملف splint.xh.

يمكنني تغيير printf إلى printfxxx وعملت بشكل جيد.

هذا ضمني أن التعريف القياسي هو الكتابة فوق ملف .xh الخاص بي.هذا حل مشكلتي والآن مخرجات الشظية المتغيرات الملوثة وتدفق الملوث.