PVS Studio.VS التحليل الإحصائي لدول مجلس التعاون الخليجي 10. اختبار مصغر مستقل

أندري 2008نعم ، إنها ليست مثيرة للاهتمام بالنسبة لي. اشتعلت / لم يمسك خطأ اصطناعي ، هذا لا يقول أي شيء عن قدرات المحلل

اختبار رقم 1. أبسط مثال على الخطأ المزدوج الحر

اختبار رقم 2. longjmp () مجانا ()

اختبار رقم 3. تسربات Malloc () و fopen () الملفات غير المغلقة

اختبار رقم 4. مراقبة استخدام الذاكرة بعد تحريرها

اختبار رقم 5. عنصر تحكم تحرير مؤشر غير كومة (كومة)

اختبار رقم 6. معالج إشارة داخل غير صالح ()

اختبار رقم 7. مضاعفة إغلاق ملف وإطلاق ملف مغلق *

#include <stdlib.h>
void closefile(FILE* f) {
	fclose(f);
}

void test(const char *filename) {
  FILE *f = fopen(filename, "r");
  void *p = malloc(1024);
  /* do stuff */
  closefile(f);
  fclose(f);
  free (p);
  free(f);  // <-  UB
}

اختبار رقم 8. longjmp () على كومة قديمة

#include <setjmp.h>
#include <stdlib.h>
static jmp_buf env;
static int i;

static void inner(void) {
  longjmp(env, 1);
}

static void middle(void) {
  inner();
}

void outer(void) {
  i = setjmp(env);
}

void outer_x2(void) {
  outer();
  if (i == 0)
    middle();
}

اختبار رقم 9. إرجاع المؤشر إلى متغير المكدس

#include<stdlib.h>

struct str1 {
    char buf[10];
};

struct str1 * ret(int sel)
{
    struct str1  var1, *pval;

    if(sel == 1)
        pval = &var1;
    else if(sel != 1)
        pval = (struct str1 *)malloc(1000);

    return pval;
}

اختبار رقم 10. مصفوفة مصفوفة ملوثة وتشخيص قيمة استخدام غير مهيأة

استنتاج