👲 🚮 ⚙️ गणितज्ञों पर भरोसा करें, लेकिन जांच करें 👋🏼 ▶️ 🖐️

पी। वी। एस।-स्टूडियो। तुम्हारे पास नहीं है!

मैं अगले सॉफ्टवेयर प्रोजेक्ट की त्रुटियों को देखते हुए कई बार हैरान रह गया। इन त्रुटियों में से कई वर्षों से परियोजनाओं में रह रही हैं। आप कोड में एक सौ गलतियों को देखते हैं और आश्चर्य करते हैं कि कार्यक्रम आम तौर पर कैसे काम करता है। और किसी तरह यह काम करता है। वे इसका उपयोग भी करते हैं। इसके अलावा, मैं उस कोड के बारे में बात नहीं कर रहा हूं जो गेम में पोकेमॉन को आकर्षित करता है। और, उदाहरण के लिए, गणितीय पुस्तकालयों के बारे में। हां, आपने सही अनुमान लगाया। यह लेख सिलाब गणित पुस्तकालय के कोड की जांच करने के बारे में बात करेगा।

साइलैब

आज हम Scilab गणित पैकेज में संदिग्ध कोड अंशों को देखेंगे। पीवीएस-स्टूडियो टूल का उपयोग करके विश्लेषण किया गया था।

सिलाब लागू गणितीय कार्यक्रमों का एक पैकेज है जो इंजीनियरिंग (तकनीकी) और वैज्ञानिक गणना [ विकिपीडिया ] के लिए एक शक्तिशाली खुला वातावरण प्रदान करता है।

आधिकारिक वेबसाइट: http://www.scilab.org/

सिस्टम में कई उपकरण उपलब्ध हैं:

2 डी और 3 डी ग्राफिक्स, एनीमेशन;
रैखिक बीजगणित, विरल मैट्रिस;
बहुपद और तर्कसंगत कार्य;
प्रक्षेप, सन्निकटन;
सिमुलेशन: ODE और रिमोट कंट्रोल को हल करना;
स्किकोस: गतिशील प्रणालियों और सिमुलेशन मॉडलिंग के लिए एक संकर प्रणाली;
अंतर और गैर-अंतर अनुकूलन;
संकेत प्रसंस्करण;
समानांतर काम;
आंकड़े;
कंप्यूटर बीजगणित के साथ काम करना;
फोरट्रान, Tcl / Tk, C, C ++, Java, LabVIEW के लिए इंटरफ़ेस।

तैयार हो जाओ। लेख लंबा होगा। यह मेरी गलती नहीं है कि बहुत सारे अलग-अलग गंदे चाल हैं। और मैं त्रुटियों के विभिन्न वर्गों को दिखाना चाहता हूं।

बेशक, जो कमियां पाई गई हैं, वे गणित से संबंधित नहीं हैं। शायद पुस्तकालय में सभी एल्गोरिदम सही और कुशल हैं। हालाँकि, चूंकि C ++ को लिखने के लिए चुना गया है, इसलिए हमें यह नहीं भूलना चाहिए कि एल्गोरिदम में त्रुटियों के अलावा, टाइपो, शून्य बिंदुओं की डीफ्रेंसिंग और अन्य गलतियाँ भी हैं। वास्तव में, उपयोगकर्ता को परवाह नहीं है यदि वह संख्यात्मक एल्गोरिथ्म में एक तार्किक त्रुटि का सामना करता है या वह एक अनैतिक यात्रा चर का शिकार बन जाता है।

हां, स्थैतिक विश्लेषण में केवल कुछ प्रकार की त्रुटियां पाई जाती हैं। लेकिन चूंकि वे ढूंढना आसान है, इसलिए खुद को इस तरह के सुख से वंचित करें। त्रुटियों का एक और 10% ठीक करने की तुलना में कुछ भी ठीक नहीं करना बेहतर है।

तो, आइए देखें कि पीवीएस-स्टूडियो विश्लेषक ने मुझे सिलाब परियोजना के बारे में क्या बताया।

बफर जो नहीं है

int sci_champ_G(....) { .... char * strf = NULL ; .... if ( isDefStrf( strf ) ) { char strfl[4]; strcpy(strfl,DEFSTRFN); strf = strfl; if ( !isDefRect( rect ) ) { strf[1]='5'; } } (*func)(stk(l1), stk(l2), stk(l3), stk(l4), &m3, &n3, strf, rect, arfact, 4L); .... }

PVS- स्टूडियो संदेश: V507 पॉइंटर टू लोकल ऐरे 'स्ट्रफ्ल' इस एरे के दायरे से बाहर संग्रहित है। ऐसा पॉइंटर अमान्य हो जाएगा। Sci_champ.c 103

अस्थायी सरणी 'strfl' का संदर्भ चर 'strf' में संग्रहीत है। "यदि () {...}" ब्लॉक से बाहर निकलते समय, यह सरणी मौजूद नहीं है। हालाँकि, प्रोग्राम 'strf' पॉइंटर के साथ काम करता है।

इस तरह के कार्यक्रम का व्यवहार अप्रत्याशित है। आप उस सरणी के साथ काम नहीं कर सकते जो अब नहीं है। बेशक, कार्यक्रम काफी सही ढंग से काम कर सकता है। हालाँकि, यह भाग्य है। मेमोरी जहां सरणी किसी भी समय स्थित थी, उसे अन्य सरणियों या चर के भंडारण द्वारा कब्जा किया जा सकता है।

इसी तरह के मुद्दे:

अर्रे 'स्ट्रफ्ल ’। Sci_fec.c 111
अर्रे 'स्ट्रफ्ल ’। Sci_grayplot.c 94
अर्रे 'स्ट्रफ्ल ’। Sci_matplot.c 84

कुछ गड़बड़ थी

 int C2F(pmatj) (char *fname, int *lw, int *j, unsigned long fname_len) { .... ix1 = il2 + 4; m2 = Max(m, 1); ix1 = il + 9 + m * n; .... }

PVS-Studio चेतावनी: V519 'ix1' चर को क्रमिक रूप से दो बार मान दिया गया है। शायद यह एक गलती है। चेक लाइनें: 2387, 2389. stack1.c 2389

Ix1 चर के साथ कुछ गड़बड़ है। मुझे लगता है कि कुछ टाइपो है।

शुरुआत में, सत्यापन, फिर आरंभीकरण

कोड का एक दिलचस्प टुकड़ा। आपको कुछ मान प्राप्त करने की आवश्यकता है, और फिर उन्हें जांचें। लेकिन इसने दूसरे रास्ते को बंद कर दिया।

 int sci_Playsound (char *fname,unsigned long fname_len) { .... int m1 = 0, n1 = 0; .... if ( (m1 != n1) && (n1 != 1) ) { Scierror(999,_("%s: Wrong size for input argument #%d: ") _("A string expected.\n"),fname,1); return 0; } sciErr = getMatrixOfWideString(pvApiCtx, piAddressVarOne, &m1,&n1,&lenStVarOne, NULL); .... }

PVS-Studio चेतावनियाँ: V560 सशर्त अभिव्यक्ति का एक हिस्सा हमेशा गलत होता है: (m1! = N1)। Sci_playsound.c 66; V560 सशर्त अभिव्यक्ति का एक हिस्सा हमेशा सच होता है: (n1! = 1)। Sci_playsound.c 66

Variables m1 और n1 को getMatrixOfWideString () फ़ंक्शन को कॉल करते समय मान मिलना चाहिए। फिर इन चरों की जाँच की जानी चाहिए। यह सिर्फ इतना हुआ कि getMatrixOfWideString () फ़ंक्शन को कॉल करने से पहले चेक किया जाता है।

सत्यापन के समय, चर m1 और n1 0. हैं "शर्त (यदि (m1! = N1) && (n1! = 1))" संतुष्ट नहीं है। नतीजतन, सत्यापन कार्यक्रम के संचालन को प्रभावित नहीं करता है।

कुल। चर m1 और n1 की जाँच नहीं की जाती है।

मैजिक नंबर

 void CreCommon(f,var) FILE *f; VARPTR var; { .... if ( strncmp(var->fexternal, "cintf", 4)==0 ) .... }

PVS-Studio चेतावनी: V666 'strncmp' फ़ंक्शन के तीसरे तर्क का निरीक्षण करने पर विचार करें। यह संभव है कि मान एक स्ट्रिंग की लंबाई के साथ मेल नहीं खाता है जो दूसरे तर्क के साथ पारित किया गया था। crerhs.c 119

जादू नंबर 4 का उपयोग किया जाता है। और यह संख्या गलत है। Cintf लाइन में पाँच वर्ण हैं, चार नहीं। ऐसे मैजिक नंबरों का इस्तेमाल न करें।

मैं स्ट्रिंग मैगल्स की लंबाई की गणना करने के लिए एक विशेष मैक्रो बनाऊंगा और इसे इस तरह उपयोग करूंगा:

 if ( strncmp(var->fexternal, "cintf", litlen("cintf"))==0 )

मैक्रो 'लिटलीन' कैसे बनाया जाए, हम चर्चा नहीं करेंगे। हर स्वाद के अनुरूप कई तरीके हैं। मुख्य बात यह है कि संख्या से छुटकारा पाना है।

अन्य गलत पंक्ति आकार:

crerhs.c 121
crerhs.c 123
crerhs.c 125
crerhs.c 127

1, 2, 3, 4, 4, 6

 int C2F(run)(void) { .... static int *Lpt = C2F(iop).lpt - 1; .... Lpt[1] = Lin[1 + k]; Lpt[2] = Lin[2 + k]; Lpt[3] = Lin[3 + k]; Lpt[4] = Lin[4 + k]; Lct[4] = Lin[6 + k ]; Lpt[6] = k; .... }

चेतावनी PVS-Studio: V525 समान ब्लॉकों के संग्रह वाला कोड। आइटम '1', '2', '3', '4', '4' को 1005, 1006, 1007, 1008, 1009 में चेक करें। run.c 1005

संख्याओं के अनुक्रम में एक टाइपो। नतीजतन, सरणी का एक तत्व अनइंस्टाल्यूटेड रहेगा। आप बहुत सारे रोचक गणितीय परिणाम प्राप्त कर सकते हैं।

कोड विकास

 int write_xml_states( int nvar, const char * xmlfile, char **ids, double *x) { .... FILE *fd = NULL; .... wcfopen(fd, (char*)xmlfile, "wb"); if (fd < 0) { sciprint(_("Error: cannot write to '%s' \n"), xmlfile); .... }

PVS-Studio चेतावनी: V503 यह एक निरर्थक तुलना है: सूचक <0। Scicos.c 5826

मुझे पूरा यकीन है कि इस कोड में एक बार एक फ़ाइल खोलने के लिए खुले फ़ंक्शन का उपयोग किया गया था। फिर, हमने कोड को फिर से लिखा और _wfopen पर फ़ंक्शन का उपयोग करना शुरू किया। उसकी कॉल 'wcfopen' मैक्रो में छिपी हुई है।

लेकिन वे जांच को ठीक करना भूल गए कि फाइल सफलतापूर्वक खोली गई थी। एक त्रुटि के मामले में खुला () फ़ंक्शन -1 देता है। यह जांचने के लिए कि सूचक शून्य से कम है, कोई व्यावहारिक अर्थ नहीं रखता है।

एक और जगह जहां इतिहास का पता लगाया जाता है।

 void taucs_ccs_genmmd(taucs_ccs_matrix* m, int** perm, int** invperm) { int n, maxint, delta, nofsub; .... maxint = 32000; assert(sizeof(int) == 4); maxint = 2147483647; /* 2**31-1, for 32-bit only! */ .... }

PVS-Studio चेतावनी: V519 'मैक्सिमेंट' वेरिएबल को क्रमिक रूप से दो बार मान दिया गया है। शायद यह एक गलती है। चेक लाइनें: 154, 157. taucs_scilab.c 157

यहां कोई त्रुटि नहीं है, लेकिन कोड मजाकिया है।

यह देखा जा सकता है कि बहुत समय पहले, यह "मैक्सिंट = 32000" लिखा गया था। फिर नीचे दिखाई दिया:

 assert(sizeof(int) == 4); maxint = 2147483647; /* 2**31-1, for 32-bit only! */

एक आइटम सॉर्ट करें

 char *getCommonPart(char **dictionary, int sizeDictionary) { .... char *currentstr = dictionary[0]; qsort(dictionary, sizeof dictionary / sizeof dictionary[0], sizeof dictionary[0], cmp); .... }

पीवीएस-स्टूडियो चेतावनी: V514 एक और मान द्वारा एक पॉइंटर 'आकार का शब्दकोश' आकार को विभाजित करता है। तार्किक त्रुटि उपस्थिति की संभावना है। getcommonpart.c 76

क्षार () में दूसरा तर्क सरणी में तत्वों की संख्या है। एक त्रुटि के कारण, तत्वों की संख्या हमेशा एक के बराबर होती है।

"आकार शब्दकोश / आकार शब्दकोश" [0] अभिव्यक्ति पर विचार करें। यहाँ पॉइंटर के साइज़ को पॉइंटर के आकार से विभाजित किया जाता है। परिणाम एक है।

संभवतः सही कोड इस तरह होना चाहिए था:

 qsort(dictionary, sizeDictionary, sizeof dictionary[0], cmp);

यहाँ भी ऐसी ही त्रुटि है: getfilesdEDIA.c 105

जिद्दी तार

 void GetenvB(char *name, char *env, int len) { int ierr = 0, one = 1; C2F(getenvc)(&ierr,name,env,&len,&one); if (ierr == 0) { char *last = &env[len-1]; while ( *last == ' ' ) { last = '\0' ; } last--; } .... }

V527 यह अजीब है कि '' 0 '' मान को 'char' प्रकार पॉइंटर को सौंपा गया है। संभवतः इसका मतलब है: * अंतिम = '\ 0'। getenvb.c 24

यह लाइन बहुत ही भयानक है। या सुंदर अगर हम दिलचस्प गलतियों के बारे में बात करते हैं।

 while ( *last == ' ' ) { last = '\0' ; }

यदि स्ट्रिंग में पहला वर्ण एक स्थान है, तो सूचक शून्य हो जाता है। अगला, अशक्त सूचक का संदर्भ होगा।

मुझे ऐसा लगता है कि इस कोड को सभी स्थानों को '\ 0' से बदलना चाहिए था। फिर कोड इस तरह होना चाहिए:

 while ( *last == ' ' ) { *last++ = '\0' ; }

यह हास्यास्पद है कि कोड में एक और जगह है जहां वे रिक्त स्थान को शून्य में बदलना चाहते हैं। और वह भी सही ढंग से नहीं लिखा जा सका।

 static int msg_101(int *n, int *ierr) { .... for (i=0;i<(int)strlen(line);i++) { if (line[i]==' ') line[i]='\0'; break; } .... }

पीवीएस-स्टूडियो चेतावनी: वी 612 एक लूप के भीतर बिना शर्त 'ब्रेक'। संदेशवाहक 1293

सब कुछ ठीक होगा अगर यह ब्रेक स्टेटमेंट के लिए नहीं थे। केवल एक स्थान बदला जाएगा। हालांकि, 'ब्रेक' को हटाने से मदद नहीं मिलेगी। स्ट्रलेन () फ़ंक्शन शून्य वापस आ जाएगा, और लूप वैसे भी बंद हो जाएगा।

समान "वन-टाइम" चक्र:

V612 लूप के भीतर बिना शर्त 'ब्रेक'। संदेशवाहक 1313
V612 लूप के भीतर बिना शर्त 'ब्रेक'। api_common.cpp 1407

एक अशक्त सूचक को संदर्भित करना

 char **splitLineCSV(....) { .... if (retstr[curr_str] == NULL) { *toks = 0; FREE(substitutedstring); substitutedstring = NULL; freeArrayOfString(retstr, strlen(substitutedstring)); return NULL; } .... }

PVS-Studio चेतावनी: V575 शून्य सूचक 'strlen' फ़ंक्शन में दिया गया है। पहले तर्क का निरीक्षण करें। विभाजन। १०.c

अजीब कोड। शुरुआत में, 'सब्स्टीट्यूटेडस्ट्रिंग' पॉइंटर स्पष्ट रूप से अशक्त था। फिर, इसे स्ट्रलेन () फ़ंक्शन में टुकड़े टुकड़े कर दिया गया।

सबसे अधिक संभावना है, freeArrayOfString () फ़ंक्शन पर कॉल मुफ़्त () कॉल से अधिक होनी चाहिए।

यह एक गर्मजोशी थी। अब अधिक जटिल मामले पर विचार करें।

 inline static void create(void * pvApiCtx, const int position, const int rows, const int cols, long long * ptr) { int * dataPtr = 0; alloc(pvApiCtx, position, rows, cols, dataPtr); for (int i = 0; i < rows * cols; i++) { dataPtr[i] = static_cast<int>(ptr[i]); } }

V522 शून्य पॉइंटर की 'डेटापार्ट' को हटाने के लिए जगह ले सकता है। scilababbridmemoryallocator.hxx 222

इस फ़ंक्शन में वे आवंटित () फ़ंक्शन का उपयोग करके मेमोरी आवंटित करना चाहते हैं। ऐसा लग सकता है कि फ़ंक्शन संदर्भ द्वारा मान लौटाता है। अंतिम तर्क 'dataPtr' का एक संकेतक है। ऐसा लगता है कि आवंटित मेमोरी बफर को एक सूचक इसमें लिखा जाएगा।

लेकिन ऐसा है नहीं। पॉइंटर शून्य रहेगा। आइए देखें कि कैसे आवंटन () फ़ंक्शन घोषित किया गया है:

 inline static int *alloc( void * pvApiCtx, const int position, const int rows, const int cols, int * ptr)

देखिए, आखिरी तर्क कोई कड़ी नहीं है। वैसे, यह आमतौर पर स्पष्ट नहीं है कि इसकी आवश्यकता क्यों है। आवंटन के अंदर एक नज़र डालें () फ़ंक्शन:

 inline static int *alloc( void * pvApiCtx, const int position, const int rows, const int cols, int * ptr) { int * _ptr = 0; SciErr err = allocMatrixOfInteger32( pvApiCtx, position, rows, cols, &_ptr); checkError(err); return _ptr; }

'Ptr' के अंतिम तर्क का उपयोग नहीं किया गया है।

किसी भी स्थिति में, मेमोरी आवंटन कोड गलत है। कोड इस तरह होना चाहिए:

 inline static void create(void * pvApiCtx, const int position, const int rows, const int cols, long long * ptr) { int *dataPtr = alloc(pvApiCtx, position, rows, cols, 0); for (int i = 0; i < rows * cols; i++) { dataPtr[i] = static_cast<int>(ptr[i]); } }

इसी तरह की स्थिति:

scilababbridmemoryallocator.hxx 237
scilababbridmemoryallocator.hxx 401

गलत त्रुटि संदेश

PVS- स्टूडियो विश्लेषक अक्सर त्रुटि संचालकों में टाइपोस पाता है। इस कोड को शायद ही कभी निष्पादित किया जाता है, और त्रुटियों को लंबे समय तक किसी का ध्यान नहीं जाता है। मुझे लगता है कि ऐसी त्रुटियों के कारण, हम अक्सर समझ नहीं पाते हैं कि कार्यक्रम में क्या गलत है। कार्यक्रम द्वारा जारी किया गया नैदानिक संदेश सत्य नहीं है।

एक गलत त्रुटि संदेश पीढ़ी का एक उदाहरण:

 static SciErr fillCommonSparseMatrixInList(....) { .... addErrorMessage(&sciErr, API_ERROR_FILL_SPARSE_IN_LIST, _("%s: Unable to create list item #%d in Scilab memory"), _iComplex ? "createComplexSparseMatrixInList" : "createComplexSparseMatrixInList", _iItemPos + 1); .... }

PVS- स्टूडियो संदेश: V583 '?:' संचालक, चाहे उसकी सशर्त अभिव्यक्ति की परवाह किए बिना, हमेशा एक और एक ही मूल्य देता है: "createComplexSparseMatrixInList"। api_list.cpp 2398

चर '_iComplex' के मान के बावजूद, "createComplexSparseMatrixInList" हमेशा मुद्रित रहेगा।

इसी तरह:

api_list.cpp 2411
api_list.cpp 2418
api_list.cpp 2464
api_list.cpp 2471

अब एक त्रुटि हैंडलर पर विचार करें जिसे कभी नियंत्रण नहीं मिलता है:

 #define __GO_FIGURE__ 9 #define __GO_UIMENU__ 21 int sci_uimenu(char *fname, unsigned long fname_len) { .... if (iParentType == __GO_FIGURE__ && iParentType == __GO_UIMENU__) { Scierror(999, _("%s: Wrong type for input argument #%d: ") _("A '%s' or '%s' handle expected.\n"), fname, 1, "Figure", "Uimenu"); return FALSE; } .... }

पीवीएस-स्टूडियो चेतावनी: V547 एक्सप्रेशन 'iParentType == 9 && iParentType == 21' हमेशा गलत होता है। शायद '||' ऑपरेटर को यहां इस्तेमाल किया जाना चाहिए। Sci_uimenu.c 99

स्थिति (iParentType == __GO_FIGURE__ && iParentType == __GO_UIMENU__) कभी संतुष्ट नहीं होती है। एक चर एक साथ संख्या 9 और संख्या 21 के बराबर नहीं हो सकता है। मुझे लगता है कि वे यहां लिखना चाहते थे:

 if (iParentType != __GO_FIGURE__ && iParentType != __GO_UIMENU__)

एक और विशेष रूप से मीठा उदाहरण।

 int set_view_property(....) { BOOL status = FALSE; .... status = setGraphicObjectProperty( pobjUID, __GO_VIEW__, &viewType, jni_int, 1); if (status = TRUE) { return SET_PROPERTY_SUCCEED; } else { Scierror(999, _("'%s' property does not exist ") _("for this handle.\n"), "view"); return SET_PROPERTY_ERROR ; } .... }

PVS- स्टूडियो चेतावनी: V559 'if' ऑपरेटर की स्थिति अभिव्यक्ति के अंदर संदिग्ध असाइनमेंट: status = 1. set_view_property.c 61

यहाँ त्रुटि है: "अगर (स्थिति = सही)"। तुलना के बजाय, असाइनमेंट होता है।

पसंद का अभाव

एक फ़ंक्शन जिसे स्पष्ट रूप से कम किया जा सकता है। जाहिर है, यह कॉपी-पेस्ट का उपयोग करके लिखा गया था, और वे कॉपी किए गए कोड में कुछ तय करना भूल गए थे।

 static int uf_union (int* uf, int s, int t) { if (uf_find(uf,s) < uf_find(uf,t)) { uf[uf_find(uf,s)] = uf_find(uf,t); return (uf_find(uf,t)); } else { uf[uf_find(uf,s)] = uf_find(uf,t); return (uf_find(uf,t)); } }

PVS-Studio चेतावनी: V523 'तत्कालीन' कथन 'और' कथन के बराबर है। taucs_scilab.c 700

शर्त के बावजूद, समान कार्य किए जाते हैं।

अब स्थिति अलग है। यहां स्थितियां समान हैं:

 int sci_xset( char *fname, unsigned long fname_len ) { .... else if ( strcmp(cstk(l1), "mark size") == 0) .... else if ( strcmp(cstk(l1), "mark") == 0) .... else if ( strcmp(cstk(l1), "mark") == 0) .... else if ( strcmp(cstk(l1), "colormap") == 0) .... }

PVS-Studio चेतावनी: V517 'if (A) {...} का उपयोग if (A) {...}' पैटर्न का पता चला। तार्किक त्रुटि उपस्थिति की संभावना है। चेक लाइन: 175, 398। Sci_xset.c 175

कई और गलत स्थितियाँ हैं:

Sci_xset.c 159
h5_readdatafromfile_v1.c 1148
h5_readdatafromfile.c 1010

क्लासिक

शायद मैंने सी / सी ++ कार्यक्रमों में सबसे आम गड़बड़ी को उजागर किया है। शुरुआत में, पॉइंटर को संदर्भित किया जाता है, और उसके बाद ही शून्य की समानता के लिए जाँच की जाती है। यह हमेशा एक त्रुटि के परिणामस्वरूप नहीं होता है। लेकिन कुरूपता, यह कुरूपता है।

 static void appendData(....) { .... sco_data *sco = (sco_data *) * (block->work); int maxNumberOfPoints = sco->internal.maxNumberOfPoints; int numberOfPoints = sco->internal.numberOfPoints; if (sco != NULL && numberOfPoints >= maxNumberOfPoints) .... }

PVS-Studio चेतावनी: V595 nullptr के खिलाफ सत्यापित होने से पहले 'sco' पॉइंटर का उपयोग किया गया था। चेक लाइनें: 305, 311. canimxy3d.c 305

शुरुआत में, पॉइंटर 'स्कू' का उपयोग करते हुए एक्सेस किए गए सदस्य:

 int maxNumberOfPoints = sco->internal.maxNumberOfPoints; int numberOfPoints = sco->internal.numberOfPoints;

और फिर उन्हें अचानक याद आया कि इस सूचक को जाँचने की आवश्यकता है:

 if (sco != NULL .....

विश्लेषक ने एक और 61 वी 595 चेतावनी जारी की। लेख में उन्हें सूचीबद्ध करने के लिए मुझे बात नहीं दिखती। मैं उन्हें एक अलग सूची देता हूं: scilab-v595.txt ।

स्प्रिंटफ () फ़ंक्शन और समान लोगों के साथ काम करते समय एक अन्य सामान्य स्थिति गलत प्रारूप निर्दिष्टकर्ताओं का उपयोग है। लगभग सब कुछ जो पाया गया वह दिलचस्प नहीं है। हम अहस्ताक्षरित मूल्यों को प्रतिष्ठित के रूप में प्रिंट करते हैं। इसलिए, मैं इन सभी चेतावनियों को एक सूची के रूप में देता हूं: scilab-v576.txt ।

दिलचस्प है, केवल इस पर ध्यान दिया जा सकता है:

 #define FORMAT_SESSION "%s%s%s" char *getCommentDateSession(BOOL longFormat) { .... sprintf(line, FORMAT_SESSION, SESSION_PRAGMA_BEGIN, STRING_BEGIN_SESSION, time_str, SESSION_PRAGMA_END); .... }

चेतावनी PVS-Studio: V576 गलत प्रारूप। 'स्प्रिंटफ' फ़ंक्शन को कॉल करने के दौरान वास्तविक तर्कों की एक अलग संख्या की उम्मीद की जाती है। अपेक्षित: 5. वर्तमान: 6. getcommentdatesession.c 68

स्ट्रिंग SESSION_PRAGMA_END मुद्रित नहीं किया जाएगा।

सावधानी, अनिश्चित व्यवहार

 short ezxml_internal_dtd(ezxml_root_t root, char *s, size_t len) { .... while (*(n = ++s + strspn(s, EZXML_WS)) && *n != '>') { .... }

चेतावनी PVS-Studio: V567 अपरिभाषित व्यवहार। अनुक्रम बिंदुओं के बीच दो बार उपयोग किए जाने के दौरान 's' वेरिएबल को संशोधित किया जाता है। ezxml.c 385

यह ज्ञात नहीं है कि अभिव्यक्ति "++ s 'या अभिव्यक्ति" strspn (s, EZXML_WS) "की शुरुआत में गणना की जाएगी। तदनुसार, परिणाम अलग-अलग संकलक, प्लेटफार्मों, और इसी तरह हो सकता है।

एक और दिलचस्प मामला। यहां, टाइपो के कारण अस्पष्ट व्यवहार होता है।

 static char **replaceStrings(....) { .... int i = 0; .... for (i = 0; i < nr; i = i++) .... }

V567 अपरिभाषित व्यवहार। अनुक्रम बिंदुओं के बीच दो बार उपयोग किए जाने के दौरान 'i' चर को संशोधित किया जाता है। csvread.c 620

परेशानी यह है: i = i ++।

जाहिर है, मैं इस तरह लिखना चाहता था:

 for (i = 0; i < nr; i++)

लाइनों के बारे में अधिक

 char *PLD_strtok(....) { .... if ((st->start)&&(st->start != '\0')) .... }

PVS-Studio चेतावनी: V528 यह अजीब है कि 'char' प्रकार के सूचक की तुलना '\ 0' मान से की जाती है। शायद इसका मतलब है: * st-> start! = '\ 0'। pldstr.c 303

वे जांचना चाहते थे कि लाइन खाली तो नहीं है। लेकिन वास्तव में, सूचक की तुलना NULL से दो बार की जाती है। सही कोड है:

 if ((st->start)&&(st->start[0] != '\0'))

समान ब्लोपर:

V528 यह अजीब है कि 'char' प्रकार के सूचक की तुलना '\ 0' मान से की जाती है। संभवतः इसका मतलब है: ** श्रेणी == '\ 0'। Sci_xcospalload.cpp 57

निम्नलिखित कोड अपूर्ण प्रतीत होता है:

 int sci_displaytree(char *fname, unsigned long fname_len) { .... string szCurLevel = ""; .... //Add node level if (szCurLevel != "") { szCurLevel + "."; } .... }

PVS-Studio चेतावनी: V655 तार को समाप्‍त कर दिया गया था लेकिन इसका उपयोग नहीं किया गया है। "SzCurLevel +" का निरीक्षण करने पर विचार करें। "" अभिव्यक्ति। Sci_displaytree.cpp 80

कोड जो भाग्य के लिए धन्यवाद का काम करता है

 static int sci_toprint_two_rhs(void* _pvCtx, const char *fname) { .... sprintf(lines, "%s%s\n", lines, pStVarOne[i]); .... }

PVS-Studio चेतावनी: V541 स्ट्रिंग 'लाइनों' को स्वयं में प्रिंट करना खतरनाक है। Sci_toprint.cpp 314

स्प्रिंटफ () फ़ंक्शन अपने काम के परिणाम को 'लाइनों' बफर से बचाता है। उसी समय, एक ही बफर इनपुट लाइनों में से एक है। यह करना अच्छा नहीं है। कोड अच्छी तरह से काम कर सकता है। लेकिन यह खतरनाक है। जब आप संकलक को बदलते हैं, तो आप एक अप्रत्याशित और अप्रिय परिणाम प्राप्त कर सकते हैं।

ऐसी ही स्थिति: Sci_coserror.c 94

उदाहरण कोड जो काम करता है, हालांकि सच नहीं है:

 typedef struct JavaVMOption { char *optionString; void *extraInfo; } JavaVMOption; JavaVMOption *options; BOOL startJVM(char *SCI_PATH) { .... fprintf(stderr, "%d: %s\n", j, vm_args.options[j]); .... }

PVS-Studio चेतावनी: V510 'fprintf' फ़ंक्शन को चौथे वास्तविक तर्क के रूप में वर्ग-प्रकार चर प्राप्त करने की उम्मीद नहीं है। jvm.c 247

यहाँ वे 'ऑप्शनस्ट्रीमिंग' पॉइंटर द्वारा संदर्भित स्ट्रिंग को प्रिंट करना चाहते थे। सही कोड इस तरह होना चाहिए था:

 fprintf(stderr, "%d: %s\n", j, vm_args.options[j].optionString);

लेकिन वास्तव में, fprintf () एक तर्क के रूप में JavaVMOption प्रकार की एक वस्तु को स्वीकार करेगा। कोड परिस्थितियों के अद्भुत संयोजन के लिए धन्यवाद काम करता है।

सबसे पहले, सदस्य 'विकल्पस्ट्रिंग' संरचना की शुरुआत में स्थित है। इसलिए, fprintf () फ़ंक्शन इसे ले जाएगा और इसे स्ट्रिंग के लिए सूचक के रूप में संसाधित करेगा।

दूसरे, उसके बाद फ़ंक्शन कुछ भी प्रिंट नहीं करता है। इसलिए, कचरा मुद्रित नहीं किया जाएगा ('extraInfo' चर की सामग्री, जो स्टैक पर भी मिलती है)।

हलिलुय!

निष्क्रिय चक्र

 static void reinitdoit(double *told) { int keve = 0, kiwa = 0; .... kiwa = 0; .... for (i = 0; i < kiwa; i++) .... }

V621 'ऑपरेटर' के लिए निरीक्षण करने पर विचार करें। यह संभव है कि लूप को गलत तरीके से निष्पादित किया जाएगा या बिल्कुल भी निष्पादित नहीं किया जाएगा। scicos.c 4432

यहाँ कुछ गड़बड़ है। चर 'कीवा' हमेशा शून्य होता है। लूप नहीं चल रहा है। कोड अधूरा हो सकता है।

क्या लेख में शामिल नहीं है

सच कहूं तो, मैं इस रिपोर्ट को देखकर और इस लेख को लिखने से पहले ही थक गया हूं। इसलिए मैंने रुकने का फैसला किया। शायद कोई एक युगल अधिक संदिग्ध स्थानों का उल्लेख कर सकता है। लेकिन मैंने उन्हें तुच्छ समझा, और आलस्य को जीत लिया। इसके अलावा, मैं शायद कुछ याद किया, क्योंकि मैं इस परियोजना से परिचित नहीं हूँ। इसलिए, मैं सुझाव देता हूं कि लेखक स्वतंत्र रूप से पीवीएस-स्टूडियो विश्लेषक का उपयोग करके परियोजना को सत्यापित करते हैं।

नोट। उन लोगों के लिए जिन्होंने एक बार परियोजना की जांच करने का फैसला किया और एक विश्लेषक नहीं खरीदा, मैं आपको याद दिलाना चाहता हूं कि यह पूरी तरह से व्यर्थ है। स्थैतिक विश्लेषण का पूरा बिंदु नियमित जांच में है, और एक बार में नहीं चलता है। आप एक टाइपो बनाते हैं और विश्लेषक तुरंत इसका पता लगाता है। बग ट्रैकर में दिखाई देने वाली त्रुटियों के परीक्षण, डिबगिंग और काम करने का समय कम हो जाता है। लेख भी देखें: " लियो टॉल्स्टॉय और स्टेटिक कोड विश्लेषण "।

टिप्पणी

कोई निश्चित रूप से पूछेगा कि सिलाब के किस संस्करण का परीक्षण किया गया था। दुर्भाग्य से, नवीनतम नहीं। लगभग डेढ़ महीने मैंने इस परियोजना की जाँच की, संदिग्ध कोड अंश लिखे। और ... और मैं इस फाइल के बारे में भूल गया। विश्लेषणकर्ताओं की तुलना करने में बहुत सारे काम शामिल थे। अब मैं इस फाइल पर आया, और लंबे समय तक याद किया कि यह क्या था। मैं इतनी सारी परियोजनाओं की जांच करता हूं कि मेरे सिर में सब कुछ पहले से ही गड़बड़ है, और मुझे यह भी याद नहीं है कि मैंने एक परियोजना देखी या नहीं।

हालाँकि, यह ठीक है। मैं अब इस लेख को लिखूंगा। सिलाब लेखक इसे देखेंगे और स्वयं परियोजना की जांच करेंगे। मेरे लेखों का उद्देश्य स्थैतिक विश्लेषण पद्धति की क्षमताओं को दिखाना है, न कि परियोजना के नवीनतम संस्करण में त्रुटियों को खोजना है।

निष्कर्ष

नियमित आधार पर स्थैतिक विश्लेषण का उपयोग करें। आप बेवकूफ गलतियों को खत्म करने के लिए समय कम कर देंगे और कुछ उपयोगी पर अधिक समय बिताने में सक्षम होंगे।

मध्यम और बड़ी परियोजनाओं के लिए जहां रात की जांच की आवश्यकता होती है, विश्लेषक शोधन, MSBuild के साथ एकीकरण, विज़ुअल स्टूडियो 2005/2008 के लिए समर्थन और इसी तरह, हम पीवीएस-स्टूडियो उपकरण प्रदान करते हैं।

यह लेख अंग्रेजी में है।

यदि आप इस लेख को अंग्रेजी बोलने वाले दर्शकों के साथ साझा करना चाहते हैं, तो कृपया अनुवाद के लिंक का उपयोग करें: एंड्री कारपोव। गणितज्ञ: विश्वास, लेकिन सत्यापित करें ।

क्या आपने लेख पढ़ा है और एक प्रश्न है?

अक्सर हमारे लेखों से वही प्रश्न पूछे जाते हैं। हमने यहां उनके उत्तर एकत्र किए हैं: पीवीएस-स्टूडियो और कैप्पकैट, संस्करण 2014 के बारे में लेखों के पाठकों के सवालों के जवाब । कृपया सूची देखें।

गणितज्ञों पर भरोसा करें, लेकिन जांच करें