🦆 👲🏼 🙏🏻 PVS Studio.VS। GCC का सांख्यिकीय विश्लेषण 10. स्वतंत्र मिनी-परीक्षण 🔢 👨‍🏫 🕺🏽

जीसीसी 10 में स्थैतिक विश्लेषण के बारे में अनुवादित लेख की उपस्थिति , और वाणिज्यिक स्थैतिक विश्लेषक पीवीएस-स्टूडियो के विकासकर्ता के प्रतिनिधियों की अपेक्षित प्रतिक्रिया के बाद, मैंने पूछा: "क्यों प्रतिनिधि अपने उत्पाद को स्थैतिक विश्लेषण के लिए इस तरह के उदाहरणों के साथ परीक्षण करने से इनकार करते हैं , और वे नहीं छिपाते हैं वे क्या हैं? "

Andrey2008हां, यह मेरे लिए दिलचस्प नहीं है। एक सिंथेटिक त्रुटि को पकड़ा / पकड़ा नहीं गया, यह विश्लेषक की क्षमताओं के बारे में कुछ नहीं कहता है

क्या उन्हें किसी तरह अपने उत्पाद के यूनिट टेस्ट चलाने चाहिए और ऐसे सिंथेटिक सरल उदाहरणों से नहीं तो कैसे!

असल में, मुझे इसे खुद करना था।

टेस्ट नंबर 1। एक डबल-फ्री त्रुटि का सबसे सरल उदाहरण

के साथ का निदान किया गया:
V586 'मुक्त' फ़ंक्शन को एक ही मेमोरी स्पेस के डीक्लोकेशन के लिए दो बार कहा जाता है। पहले तर्क का निरीक्षण करें। चेक लाइनें: 5, 6. 1_dbl_free.c 6

पास

टेस्ट नंबर 2 longjmp () मुफ्त में ()

मॉलोक में एक स्थिर पर शपथ ग्रहण, लेकिन एक त्रुटि का पता चला - दुर्गम कोड और अप्रयुक्त मेमोरी:
V118 मॉलोक () फ़ंक्शन एक तर्क की क्षमता में एक खतरनाक अभिव्यक्ति को स्वीकार करता है। 2_longjump.c 13
V779 अगम्य कोड का पता चला। यह संभव है कि कोई त्रुटि मौजूद हो। 2_longjump.c 15
V799 मेमोरी के बाद 'ptr' वेरिएबल का उपयोग नहीं किया गया है। इस चर के उपयोग की जाँच करने पर विचार करें। 2_longjump.c 13

पारित

टेस्ट नंबर 3। मल्लोक () लीक्स और फोपेन () अशुद्ध फाइलें

मिला:
V118 मॉलॉक () फ़ंक्शन एक तर्क की क्षमता में एक खतरनाक अभिव्यक्ति को स्वीकार करता है। 3_fopen.c 7
V773 'f' फ़ाइल हैंडल की दृश्यता की गुंजाइश फ़ाइल को बंद किए बिना बाहर निकल गई थी। एक संसाधन रिसाव संभव है। 3_fopen.c 9
V773 'p' पॉइंटर की विजिबिलिटी स्कोप मेमोरी को रिलीज़ किए बिना बाहर निकल गया था। एक स्मृति रिसाव संभव है। 3_fopen.c 9
V799 मेमोरी के बाद 'p' वेरिएबल का उपयोग नहीं किया गया है। इस चर के उपयोग की जाँच करने पर विचार करें। 3_fopen.c 7

उत्तीर्ण

टेस्ट नंबर 4। इसे खाली करने के बाद मेमोरी के उपयोग की निगरानी करना

बग का पता लगाया:
V774 'n' पॉइंटर का उपयोग मेमोरी जारी होने के बाद किया गया था। 4_use_after_free.c 9
V591 गैर-शून्य फ़ंक्शन मान वापस करना चाहिए। 4_use_after_free.c 11

उत्तीर्ण

परीक्षण संख्या ५। नॉन-हीप पॉइंटर रिलीज़ कंट्रोल (हीप)

गैर-त्रुटि चेतावनी जारी की गई थी:
एक अंकगणितीय अभिव्यक्ति में प्रकार को याद करने के लिए 'n' का V104 निहितार्थ रूपांतरण: sizeof (int) * n 5_free_nonheap.c 11
V799 'ptr' चर का उपयोग मेमोरी के लिए आवंटित होने के बाद नहीं किया गया है। इस चर के उपयोग की जाँच करने पर विचार करें। 5_free_nonheap.c 11

विफल

टेस्ट नंबर 6। सिग्नल के अंदर अमान्य कॉल () हैंडलर

असफल

हालांकि यह ऐसा विशिष्ट निदान है कि मैं इसे नहीं दोहराऊंगा।

अगला, मैं जीसीसी 10 में निदान की सूची के माध्यम से गया और उदाहरणों को जोड़ा, इसलिए स्रोत कोड के साथ आगे के परीक्षण।

टेस्ट नंबर 7। किसी फ़ाइल को डबल बंद करना और बंद फ़ाइल को जारी करना *

पीवीएस ने इन त्रुटियों का पता नहीं
लगाया जीसीसी 10 ने डबल-फॉल्कोज का पता लगाया लेकिन एक बंद हैंडल के लिए मुफ्त का पता नहीं लगाया।

#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 () एक अप्रचलित स्टैक पर

पीवीएस ने कुछ भी नोटिस नहीं किया, जीसीसी 10 ने सही तरीके से काम किया

#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। चर को ढेर करने के लिए सूचक लौटें

दोनों प्रतिभागियों द्वारा असफल, हालांकि सरल मामलों में, जीसीसी इस का पता लगाता है, लेकिन यह -fanalyzer फ़ंक्शन नहीं है (या इसे अभी तक लागू नहीं किया जा सकता है)।

#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। दागी-सरणी-अनुक्रमणिका और उपयोग-के-अनइंस्टॉलिज्ड-वैल्यू डायग्नोस्टिक्स

ऐसा लग रहा है कि वे GCC10 में काम नहीं कर रहे हैं- फैनलाइज़र अभी तक ।

पीवीएस इसे पकड़ता है, जैसा कि कई बार प्रदर्शित किया गया है।

बीतने के

निष्कर्ष

पीवीएस-स्टूडियो में निश्चित रूप से एक स्थिर विश्लेषण है।

हालांकि कुछ कमियों के बिना, यह इसका उपयोग करने के लायक है, खासकर जब से कई मानव त्रुटियों का पता लगाया जाएगा, न केवल स्थैतिक विश्लेषण के क्षेत्र से।

PVS Studio.VS। GCC का सांख्यिकीय विश्लेषण 10. स्वतंत्र मिनी-परीक्षण

टेस्ट नंबर 1। एक डबल-फ्री त्रुटि का सबसे सरल उदाहरण

टेस्ट नंबर 2 longjmp () मुफ्त में ()

टेस्ट नंबर 3। मल्लोक () लीक्स और फोपेन () अशुद्ध फाइलें

टेस्ट नंबर 4। इसे खाली करने के बाद मेमोरी के उपयोग की निगरानी करना

परीक्षण संख्या ५। नॉन-हीप पॉइंटर रिलीज़ कंट्रोल (हीप)

टेस्ट नंबर 6। सिग्नल के अंदर अमान्य कॉल () हैंडलर

टेस्ट नंबर 7। किसी फ़ाइल को डबल बंद करना और बंद फ़ाइल को जारी करना *

टेस्ट नंबर 8। longjmp () एक अप्रचलित स्टैक पर

टेस्ट नंबर 9। चर को ढेर करने के लिए सूचक लौटें

टेस्ट नंबर 10। दागी-सरणी-अनुक्रमणिका और उपयोग-के-अनइंस्टॉलिज्ड-वैल्यू डायग्नोस्टिक्स

निष्कर्ष

More articles: