नोटपैड ++ प्रोजेक्ट को रीचेक करना

पीवीएस-स्टूडियो का उपयोग करते हुए हमने नोटपैड ++ का परीक्षण किए एक वर्ष से अधिक समय बीत चुका है। यह देखना दिलचस्प है कि पीवीएस-स्टूडियो विश्लेषक कैसे बेहतर हो गए हैं, और पिछली त्रुटियों से नोटपैड ++ में क्या तय किया गया है।

परिचय

इसलिए, हमने 31 जनवरी, 2012 को रिपॉजिटरी से ली गई नोटपैड ++ परियोजना की जाँच की। हमने सत्यापन के लिए पीवीएस-स्टूडियो विश्लेषक संस्करण 4.54 का उपयोग किया।

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

बग फिक्स स्पष्ट रूप से अन्य परीक्षण विधियों या उपयोगकर्ताओं द्वारा रिपोर्ट किए गए थे।

उदाहरण के लिए, पिछले आलेख में वर्णित त्रुटि, जो _iContMap सरणी को भरने से संबंधित है, को ठीक किया गया है। यह इस तरह था:

memset(_iContMap, -1, CONT_MAP_MAX); 

सही विकल्प:

 memset(_iContMap, -1, CONT_MAP_MAX * sizeof(int)); 

लेकिन यह गलती जीना और जीना जारी है:

 bool isPointValid() { return _isPointXValid && _isPointXValid; }; 

पीवीएस-स्टूडियो विश्लेषक नैदानिक ​​संदेश:

V501 बाईं और '&&' ऑपरेटर के दाईं ओर समान उप-अभिव्यक्तियाँ हैं: _isPointXValid && _isPointXValid Notepad ++ पैरामीटर.h 166

हम उन त्रुटियों को वापस नहीं करेंगे जो पिछले लेख में वर्णित थे। आइए कुछ नए पर विचार करें जिसे पीवीएस-स्टूडियो विश्लेषक ने पिछले समय में निदान करना सीखा है:

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

नई मिली त्रुटियां

त्रुटि N १। किसी व्यूह की सीमा से परे जाना

 int encodings[] = { 1250, 1251, 1252, .... }; BOOL CALLBACK DefaultNewDocDlg::run_dlgProc( UINT Message, WPARAM wParam, LPARAM) { ... for (int i = 0 ; i <= sizeof(encodings)/sizeof(int) ; i++) { int cmdID = em->getIndexFromEncoding(encodings[i]); ... } 

पीवीएस-स्टूडियो विश्लेषक नैदानिक ​​संदेश:

V557 ऐरे ओवररन संभव है। 'I' इंडेक्स का मान 46 तक पहुंच सकता है। नोटपैड ++ प्रिडिक्टेलग्प। 984

लूप एन्कोडिंग सरणी के तत्वों की गणना करता है। चक्र को रोकने के लिए त्रुटि गलत स्थिति है। लूप के अंतिम पुनरावृत्ति पर, मेमोरी को ऐरे के बाहर एक्सेस किया जाता है। "<=" स्थिति को "<" के साथ बदलकर त्रुटि को ठीक किया जा सकता है। सही कोड है:

 for (int i = 0 ; i < sizeof(encodings)/sizeof(int) ; i++) 

त्रुटि N2। गलत बफर आकार की गणना

 typedef struct tagTVITEMA { ... LPSTR pszText; ... } TVITEMA, *LPTVITEMA; #define TVITEM TVITEMA HTREEITEM TreeView::addItem(...) { TVITEM tvi; ... tvi.cchTextMax = sizeof(tvi.pszText)/sizeof(tvi.pszText[0]); ... } 

पीवीएस-स्टूडियो विश्लेषक नैदानिक ​​संदेश:

V514 एक और मान द्वारा एक पॉइंटर 'sizeof (tvi.pszText) का आकार विभाजित करता है। तार्किक त्रुटि उपस्थिति की संभावना है। नोटपैड ++ ट्रीव्यू.कैप 88

बफर आकार की गणना "आकार (tvi.pszText) / sizeof (tvi.pszText [0])" का उपयोग करके की जाती है। इस अभिव्यक्ति का कोई मतलब नहीं है। इसमें, सूचक का आकार एक वर्ण के आकार से विभाजित होता है। कोड को कैसे ठीक किया जाए, यह कहना मुश्किल है, क्योंकि हम कार्यक्रम के तर्क से परिचित नहीं हैं।

त्रुटि N3। गलत जाँच करें कि स्ट्रिंग खाली है

 size_t Printer::doPrint(bool justDoIt) { ... TCHAR headerM[headerSize] = TEXT(""); ... if (headerM != '\0') ... } 

पीवीएस-स्टूडियो विश्लेषक नैदानिक ​​संदेश:

V528 यह अजीब है कि 'char' प्रकार के सूचक की तुलना '\ 0' मान से की जाती है। शायद इसका मतलब है: * शीर्ष लेख! = '\ 0'। नोटपैड ++ प्रिंटर। सीपीसी 380

सूचक की तुलना शून्य मान से की जाती है। शून्य को '\ 0' फॉर्म के शाब्दिक द्वारा दिया जाता है। यह हमें बताता है कि पॉइंटर डेरेफ़रिंग यहां भूल गई है। सही कोड है:

 if (*headerM != '\0') 

इसी तरह की गलती कहीं और की गई थी:

V528 यह अजीब है कि 'char' प्रकार के सूचक की तुलना '\ 0' मान से की जाती है। संभवतः इसका मतलब है: * शीर्ष लेख! = '\ 0'। नोटपैड ++ प्रिंटर। सीपीसी 392

त्रुटि N4। हालत में एक टाइपो

 DWORD WINAPI Notepad_plus::threadTextPlayer(void *params) { ... const char *text2display = ...; ... if (text2display[i] == ' ' && text2display[i] == '.') ... } 

पीवीएस-स्टूडियो विश्लेषक नैदानिक ​​संदेश:

V547 अभिव्यक्ति हमेशा झूठी है। शायद '||' ऑपरेटर को यहां इस्तेमाल किया जाना चाहिए। नोटपैड ++ नोटपैड_प्लस। 4967

हालत (text2display [i] == '' && text2display [i] == '।)) कभी संतुष्ट नहीं होती है। एक प्रतीक एक स्थान और एक अवधि दोनों नहीं हो सकता है। जाहिरा तौर पर यहाँ हम एक सरल टाइपो के साथ काम कर रहे हैं और कोड को इस तरह दिखना चाहिए:

 if (text2display[i] == ' ' || text2display[i] == '.') 

इसी तरह की गलती कहीं और की गई थी:

V547 अभिव्यक्ति हमेशा झूठी है। शायद '||' ऑपरेटर को यहां इस्तेमाल किया जाना चाहिए। नोटपैड ++ Notepad_plus.cpp 5032

त्रुटि N5। हालत में एक टाइपो

 int Notepad_plus::getHtmlXmlEncoding(....) const { ... if (langT != L_XML && langT != L_HTML && langT == L_PHP) return -1; ... } 

पीवीएस-स्टूडियो विश्लेषक नैदानिक ​​संदेश:

V590 इस अभिव्यक्ति का निरीक्षण करने पर विचार करें। अभिव्यक्ति अत्यधिक है या एक गलत चित्रण है। नोटपैड ++ नोटपैड_प्लस। 853

कोड में उपलब्ध सत्यापन को सरल बनाया जा सकता है। फिर कोड इस तरह दिखेगा:

 if (langT == L_PHP) 

यह स्पष्ट रूप से नहीं है जो प्रोग्रामर चाहता था। जाहिरा तौर पर यहाँ हम फिर से एक टाइपो के साथ काम कर रहे हैं। सही कोड है:

 if (langT != L_XML && langT != L_HTML && langT != L_PHP) 

त्रुटि N6। गलत सा संभाल

 TCHAR GetASCII(WPARAM wParam, LPARAM lParam) { ... result=ToAscii(wParam,(lParam >> 16) && 0xff, keys,&dwReturnedValue,0); ... } 

पीवीएस-स्टूडियो विश्लेषक नैदानिक ​​संदेश:

V560 सशर्त अभिव्यक्ति का एक हिस्सा हमेशा सच होता है: 0xff। नोटपैड ++ babygrid.cpp 694

कोड में वे चर 'lParam' से तीसरी बाइट निकालना चाहते हैं। एक टाइपो के कारण, कोड ऐसा बिल्कुल नहीं करता है। त्रुटि यह है कि ऑपरेटर 'और' का प्रयोग 'और' के बजाय किया जाता है। सही कोड है:

 result=ToAscii(wParam,(lParam >> 16) & 0xff, keys,&dwReturnedValue,0); 

त्रुटि N7। अधूरा कोड

 #define SCE_T3_BRACE 20 static inline bool IsAnOperator(const int style) { return style == SCE_T3_OPERATOR || SCE_T3_BRACE; } 

पीवीएस-स्टूडियो विश्लेषक नैदानिक ​​संदेश:

V560 सशर्त अभिव्यक्ति का एक हिस्सा हमेशा सच होता है: 20. lextads3.cxx 700

IsAnOperator () फ़ंक्शन हमेशा 'सही' देता है। सही कोड है:

 return style == SCE_T3_OPERATOR || style == SCE_T3_BRACE; 

त्रुटि N8। कोड जिसे कभी निष्पादित नहीं किया जाएगा

 static void ColouriseVHDLDoc(....) { ... } else if (sc.Match('-', '-')) { sc.SetState(SCE_VHDL_COMMENT); sc.Forward(); } else if (sc.Match('-', '-')) { if (sc.Match("--!")) sc.SetState(SCE_VHDL_COMMENTLINEBANG); else sc.SetState(SCE_VHDL_COMMENT); } ... } 

पीवीएस-स्टूडियो विश्लेषक नैदानिक ​​संदेश:

V517 'if (A) {...} का उपयोग if (A) {...}' पैटर्न का पता चला। तार्किक त्रुटि उपस्थिति की संभावना है। चेक लाइनें: 130, 133. lexvhdl.cxx 130

यदि पहली शर्त (sc.Match ('-', '-') सत्य है, तो दूसरी जाँच नहीं की जाएगी। यह मामला वर्णों के अनुक्रम का कारण बनेगा - "!" कभी भी सही तरीके से संसाधित नहीं किया जाएगा। जाहिरा तौर पर, यहाँ कोड का हिस्सा बहुत ही कम है और इसे इस तरह लिखा जाना चाहिए:

 static void ColouriseVHDLDoc(....) { ... } else if (sc.Match('-', '-')) { if (sc.Match("--!")) sc.SetState(SCE_VHDL_COMMENTLINEBANG); else sc.SetState(SCE_VHDL_COMMENT); } ... } 

त्रुटि N9। अतिरिक्त कोड

कोड स्निपेट्स हैं जो समस्याएं पैदा नहीं करते हैं, लेकिन निरर्थक हैं। हम इस प्रकार के दो उदाहरण देते हैं:

 void Gripper::doTabReordering(POINT pt) { ... else if (_hTab == hTabOld) { /* delete item on switch between tabs */ ::SendMessage(_hTab, TCM_DELETEITEM, iItemOld, 0); } else { if (_hTab == hTabOld) { /* delete item on switch between tabs */ ::SendMessage(_hTab, TCM_DELETEITEM, iItemOld, 0); } } ... } 

पीवीएस-स्टूडियो विश्लेषक नैदानिक ​​संदेश:

V571 आवर्ती जाँच। 'If (_hTab == hTabOld)' स्थिति पहले से ही 478 लाइन में सत्यापित थी। नोटपैड ++ gripper.cpp 485

कोड का दूसरा भाग कोई मतलब नहीं है और हटाया जा सकता है।

और यहां एक और उदाहरण है जहां अतिरिक्त जांचें हैं। बिंदु 'mainVerStr' और 'auxVerStr' हमेशा गैर-शून्य होते हैं, क्योंकि ये स्टैक पर बनाए गए सरणियाँ हैं:

 LRESULT Notepad_plus::process(....) { ... TCHAR mainVerStr[16]; TCHAR auxVerStr[16]; ... if (mainVerStr) mainVer = generic_atoi(mainVerStr); if (auxVerStr) auxVer = generic_atoi(auxVerStr); ... } 

यहाँ आप आसान लिख सकते हैं:

 mainVer = generic_atoi(mainVerStr); auxVer = generic_atoi(auxVerStr); 

ऊपर दिखाए गए चेक नोटपैड ++ प्रोजेक्ट में एक से अधिक बार पाए जाते हैं:

V600 स्थिति का निरीक्षण करने पर विचार करें। 'MainVerStr' पॉइंटर हमेशा NULL के बराबर नहीं होता है। नोटपैड ++ nppbigswitch.cpp 938

V600 स्थिति का निरीक्षण करने पर विचार करें। 'AuxVerStr' पॉइंटर हमेशा NULL के बराबर नहीं होता है। नोटपैड ++ nppbigswitch.cpp 940

V600 स्थिति का निरीक्षण करने पर विचार करें। 'IntStr' पॉइंटर हमेशा NULL के बराबर नहीं होता है। नोटपैड ++ तरजीह। १ 18 18१

V600 स्थिति का निरीक्षण करने पर विचार करें। 'IntStr' पॉइंटर हमेशा NULL के बराबर नहीं होता है। नोटपैड ++ userdefinedialog.cpp 222

V600 स्थिति का निरीक्षण करने पर विचार करें। 'IntStr' पॉइंटर हमेशा NULL के बराबर नहीं होता है। नोटपैड ++ wordstyledlg.cpp 539

निष्कर्ष

स्टेटिक कोड एनालाइजर ऐसे उपकरण नहीं हैं जिनका समय-समय पर उपयोग किया जा सकता है। नियमित रूप से उनका उपयोग करते हुए, आप जल्दी से त्रुटियों को पा सकते हैं, जिससे उन्हें दस गुना खत्म करने की लागत कम हो सकती है।

अशुद्ध सरणी के कारण अजीब कार्यक्रम व्यवहार की तलाश में लंबे समय तक क्यों? कोड "मेमसेट (_iContMap, -1, CONT_MAP_MAX)" एक स्थिर विश्लेषक द्वारा आसानी से और जल्दी पाया जाता है।

यदि यह त्रुटि अभी भी पीवीएस-स्टूडियो स्थैतिक विश्लेषक द्वारा पाई गई थी, तो उपकरण को वैसे भी गलत तरीके से उपयोग किया गया था। सबसे पहले, अन्य नैदानिक ​​संदेशों का सावधानीपूर्वक अध्ययन नहीं किया गया था। दूसरे, आपको नियमित रूप से स्थैतिक विश्लेषण का उपयोग करने की आवश्यकता है। यह आपको आपके द्वारा लिखे गए कोड में त्रुटियों को जल्दी से ठीक करने की अनुमति देता है। इसके अलावा, नए नैदानिक ​​नियम पीवीएस-स्टूडियो में लगातार दिखाई दे रहे हैं।

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

यह कैसे करना है? आप सर्वर पर रात में विश्लेषण चला सकते हैं । आप नई संशोधित फ़ाइलों की जांच के लिए वृद्धिशील विश्लेषण का उपयोग कर सकते हैं। यदि ऐसा लगता है कि विश्लेषण धीरे-धीरे किया जा रहा है और बहुत सारे संसाधनों का उपभोग करता है, तो हम सुझाव देते हैं कि आप अपने आप को काम की गति बढ़ाने के सुझावों से परिचित कराएं।