💂 🙉 🍇 PVS- स्टूडियो विश्लेषक TortoiseGit की जाँच करता है ⏳ 👩🏾‍🍳 ♊️

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

TortoiseGit

विकिपीडिया से विवरण : TortoiseGit Microsoft Windows के लिए git स्रोत कोड प्रबंधन प्रणाली के लिए एक दृश्य ग्राहक है। विंडोज एक्सप्लोरर एक्सटेंशन (शेल एक्सटेंशन) के रूप में लागू किया गया। Git के लिए विशिष्ट सुविधाओं के अपवाद के साथ, उपयोगकर्ता इंटरफ़ेस लगभग TortoiseSVN के समान है।

TortoiseGit प्रोजेक्ट छोटा है। डाउनलोड किए गए स्रोत कोड का आकार 35 मेगाबाइट है। और यदि आप "एक्सट" फोल्डर को छोड़ देते हैं, तो केवल 9 मेगाबाइट रह जाएंगे।

डेवलपर्स गुणवत्ता के बारे में स्पष्ट रूप से ध्यान रखते हैं। यह अप्रत्यक्ष रूप से इस तथ्य से संकेत मिलता है कि जब विज़ुअल सी ++ के साथ संकलन किया जाता है, तो / डब्ल्यू 4 स्विच का उपयोग किया जाता है (चेतावनी का चौथा स्तर)। साथ ही, स्रोत कोड में मुझे Cppcheck विश्लेषक का उल्लेख मिला ।

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

मान्यता परिणाम

TortoiseGit डेवलपर्स के लिए ध्यान दें। तुरंत सत्यापित करें कि परियोजना काम नहीं करेगी। Stdafx.h फ़ाइलों के शामिल किए जाने से भ्रम होता है। मैं बहुत संक्षेप में समझाऊंगा।

कुछ जगहों पर गलत stdafx.h फाइलें जुड़ी होंगी। संकलन करते समय, समस्याएँ दिखाई नहीं देती हैं, क्योंकि कंपाइलर पहले से * .pch फ़ाइलों से डेटा लेता है। लेकिन ये त्रुटियां स्वयं प्रकट होती हैं जब * * .प्रोफ़ाइल बनाने की कोशिश की जाती है। TortoiseGit डेवलपर्स हमें लिख सकते हैं और हम आपको दिखाएंगे कि प्रोजेक्ट को कैसे ठीक किया जाए।

M_Rev2 के साथ नेलडा

class CGitStatusListCtrl : public CListCtrl { .... CString m_Rev1; CString m_Rev2; .... }; void CGitStatusListCtrl::OnContextMenuList(....) { .... if( (!this->m_Rev1.IsEmpty()) || (!this->m_Rev1.IsEmpty()) ) .... }

PVS-Studio चेतावनी: V501 समान उप-अभिव्यक्तियाँ हैं '(!-> m_Rev1.IsEmpty ()) बाईं ओर और' दाईं ओर '|| ऑपरेटर। gitstatuslistctrl.cpp 1560

वर्ग में दो सदस्य हैं: m_Rev1 और m_Rev2। सबसे अधिक संभावना है, उन्हें अभिव्यक्ति में उपस्थित होना चाहिए था। फिर, कोड इस तरह होना चाहिए:

 if( (!this->m_Rev1.IsEmpty()) || (!this->m_Rev2.IsEmpty()) )

एक और बहुत समान जगह:

 void CGitStatusListCtrl::OnNMDblclk(....) { .... if( (!m_Rev1.IsEmpty()) || (!m_Rev1.IsEmpty())) // m_Rev1 twice??? .... }

PVS-Studio चेतावनी: V501 समान उप-अभिव्यक्तियाँ हैं ('! M_Rev1.IsEmpty ())' बाईं ओर और 'दाईं ओर' ऑपरेटर। gitstatuslistctrl.cpp 2642

कोड में एक टिप्पणी है जो कहती है कि डेवलपर्स को भी संदेह है कि कुछ गलत था :)।

और इस तरह का एक और टाइपो यहां पाया जा सकता है: gitstatuslistctrl.cpp 3274।

शर्तों में कुछ गड़बड़ है।

 svn_error_t * svn_mergeinfo__adjust_mergeinfo_rangelists(....) { .... if (range->start + offset > 0 && range->end + offset > 0) { if (range->start + offset < 0) range->start = 0; else range->start = range->start + offset; if (range->end + offset < 0) range->end = 0; else range->end = range->end + offset; .... }

चेतावनी PVS-Studio: V637 दो विपरीत परिस्थितियों का सामना करना पड़ा। दूसरी शर्त हमेशा झूठी होती है। चेक लाइनें: 2464, 2466। टोर्टोइसगिटगर्गे मर्जिनफो सी। 2464

शर्तों में कुछ गड़बड़ है। इसे स्पष्ट करने के लिए, कोड को सरल बनाएं:

ए के साथ "रेंज-> स्टार्ट + ऑफसेट" बदलें;
बी के साथ "रेंज-> एंड + ऑफसेट" को बदलें।

निम्नलिखित छद्म कोड प्राप्त किया जाता है:

 if (A > 0 && B > 0) { if (A < 0) range->start = 0; else range->start = A; if (B < 0) range->end = 0; else range->end = B; .... }

अब यह स्पष्ट रूप से देखा जाता है कि चेक बनाने का कोई मतलब नहीं है (ए <0), (बी <0)। ये शर्तें कभी पूरी नहीं होतीं। कोड में किसी प्रकार की तार्किक त्रुटि है।

एक सूचक को रोकना भूल गया

 void svn_path_splitext(const char **path_root, const char **path_ext, const char *path, apr_pool_t *pool) { const char *last_dot; .... last_dot = strrchr(path, '.'); if (last_dot && (last_dot + 1 != '\0')) .... }

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

अधिक विस्तार से अभिव्यक्ति (last_dot + 1! = '\ 0') पर विचार करें। इसमें, एक को पॉइंटर में जोड़ा जाता है, जिसके बाद परिणाम की तुलना शून्य से की जाती है। इस अभिव्यक्ति का कोई व्यावहारिक अर्थ नहीं है। यह मुझे लगता है कि कोड इस तरह होना चाहिए था:

 if (last_dot && (*(last_dot + 1) != '\0'))

हालांकि यह लिखना बेहतर है:

 if (last_dot && last_dot[1] != '\0')

PVS-Studio विश्लेषक ने एक और समान त्रुटि पाई:

 static const char * fuzzy_escape(const char *src, apr_size_t len, apr_pool_t *pool) { const char *src_orig = src; .... while (src_orig < src_end) { if (! svn_ctype_isascii(*src_orig) || src_orig == '\0') .... }

PVS-Studio चेतावनी: V528 यह अजीब है कि 'char' प्रकार के सूचक की तुलना '\ 0' मान से की जाती है। संभवतः इसका मतलब है: * src_orig == '\ 0'। utf.c 501

यह लिखा जाना चाहिए:

 if (! svn_ctype_isascii(*src_orig) || *src_orig == '\0')

अष्टक संख्या

कोड है जो प्रोजेक्ट से प्रोजेक्ट में कॉपी-पेस्ट का उपयोग करते हुए घूमता है, और मैं अक्सर इसे देखता हूं। इसमें एक त्रुटि है जिसके कारण लगभग सभी कार्यक्रम आईबीएम EBCDIC यूएस-कनाडा एन्कोडिंग के साथ गलत व्यवहार करते हैं। मुझे लगता है कि यह डरावना नहीं है। मुझे नहीं लगता कि कोई भी अभी इस एन्कोडिंग का उपयोग कर रहा है। हालाँकि, यह त्रुटि के बारे में बात करने लायक है। यहाँ यह कोड है:

 static CodeMap map[]= { {037, _T("IBM037")}, // IBM EBCDIC US-Canada {437, _T("IBM437")}, // OEM United States {500, _T("IBM500")}, // IBM EBCDIC International .... };

PVS-Studio चेतावनी: V536 सलाह दी जाती है कि उपयोग किए गए स्थिर मान को एक अष्टक रूप द्वारा दर्शाया जाए। अक्टूबर: 037, दिसंबर: 31. यूनिकोड्यूटिल्स। सीपी 42

कार्यक्रम के पाठ को सुंदर बनाने के लिए, 0 को संख्या 37 में जोड़ा गया। यह गलत है। दशमलव संख्या 37 अष्टक संख्या 037 बन गई है। अष्टक संख्या 03 7 दशमलव संख्या 31 के बराबर है।

ऐसी स्थितियाँ जो हमेशा सही या गलत होती हैं

 void CCloneDlg::OnBnClickedCheckSvn() { .... CString str; m_URLCombo.GetWindowText(str); while(str.GetLength()>=1 && str[str.GetLength()-1] == _T('\\') && str[str.GetLength()-1] == _T('/')) { str=str.Left(str.GetLength()-1); } .... }

PVS-Studio चेतावनियाँ: V547 अभिव्यक्ति हमेशा झूठी है। शायद '||' ऑपरेटर को यहां इस्तेमाल किया जाना चाहिए। clonedlg.cpp 413

उपरोक्त कोड के टुकड़े को पंक्ति के अंत में सभी \ / और वर्णों को हटा देना चाहिए। वास्तव में, ये वर्ण हटाए नहीं जाएंगे। इस स्थान पर त्रुटि:

 str[str.GetLength()-1] == _T('\\') && str[str.GetLength()-1] == _T('/')

एक स्ट्रिंग में एक वर्ण एक ही समय में \ / और नहीं हो सकता। कार्यक्रम इस तरह दिखना चाहिए:

 while(str.GetLength()>=1 && (str[str.GetLength()-1] == _T('\\') || str[str.GetLength()-1] == _T('/'))) { str=str.Left(str.GetLength()-1); }

स्थिति जाँच से संबंधित एक समान त्रुटि:

 enum git_ack_status { GIT_ACK_NONE, GIT_ACK_CONTINUE, GIT_ACK_COMMON, GIT_ACK_READY }; static int wait_while_ack(gitno_buffer *buf) { .... if (pkt->type == GIT_PKT_ACK && (pkt->status != GIT_ACK_CONTINUE || pkt->status != GIT_ACK_COMMON)) { .... }

PVS-Studio चेतावनी: V547 अभिव्यक्ति हमेशा सच है। संभवतः '&&' ऑपरेटर का उपयोग यहां किया जाना चाहिए। smart_protocol.c 264

यहां, इसके विपरीत, स्थिति हमेशा संतुष्ट होती है। स्थिति हमेशा GIT_ACK_CONTINUE के लिए असमान है या GIT_ACK_COMMON के बराबर नहीं है।

वर्चुअल विध्वंसक गुम है

प्रोग्राम में एक कमांड क्लास होती है जिसमें वर्चुअल फ़ंक्शंस होते हैं:

 class Command { virtual bool Execute() = 0; .... };

वे विध्वंसक को आभासी घोषित करना भूल गए। कई अन्य वर्ग वर्ग से विरासत में मिले हैं:

 class SVNIgnoreCommand : public Command .... class AddCommand : public Command .... class AutoTextTestCommand : public Command ....

चूंकि प्रोग्राम बेस क्लास के लिए एक पॉइंटर के साथ काम करता है, इसलिए यह ऑब्जेक्ट्स को नष्ट करते समय समस्याओं की ओर जाता है।

 BOOL CTortoiseProcApp::InitInstance() { .... Command * cmd = server.GetCommand(....); .... delete cmd; .... }

PVS-Studio चेतावनी: V599 वर्चुअल विध्वंसक मौजूद नहीं है, हालांकि 'कमांड' क्लास में वर्चुअल फ़ंक्शंस हैं। TortoiseGitProc tortoiseproc.cpp 497

नोट। मैं एक छोटा सा विषयांतर करूंगा। अक्सर लोग साक्षात्कार में हैक किए गए प्रश्न पर चर्चा करते हुए मजाक करते हैं कि "हमें आभासी विध्वंसक की आवश्यकता क्यों है?" जैसे, आप उससे पहले ही कितना पूछ सकते हैं।

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

एक बार और। प्रश्न का सही उत्तर यह गारंटी नहीं देता है कि एक व्यक्ति एक अच्छा प्रोग्रामर है। यह बहुत महत्वपूर्ण है यदि कोई व्यक्ति इस प्रश्न का उत्तर नहीं दे सकता है। मैं C ++ पर किताबें कैसे पढ़ सकता हूं, साक्षात्कार के बारे में इंटरनेट पर लेख पढ़ सकता हूं, और इस विषय को छोड़ सकता हूं? बहुत अजीब है!

संभावित अशक्त सूचक

इस बार मैंने ध्यान से नल सूचक को आदान-प्रदान करने की क्षमता से संबंधित चेतावनियों को नहीं देखा। कई V595 डायग्नोस्टिक्स हैं, लेकिन उन्हें देखना या अध्ययन करना दिलचस्प नहीं है। मैं केवल एक उदाहरण दूंगा:

 void free_decoration(struct decoration *n) { unsigned int i; struct object_decoration *hash = n->hash; if (n == NULL || n->hash == NULL) return; .... }

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

सूचक 'n' को 'n-> हैश' अभिव्यक्ति में दर्शाया गया है। NULL के लिए पॉइंटर के नीचे 'n' चेक किया गया है। इसका मतलब है कि पॉइंटर अशक्त हो सकता है और इससे समस्याएं पैदा होंगी।

अमान्य स्ट्रिंग प्रारूप

 int CGit::GetCommitDiffList(....) { .... cmd.Format( _T("git.exe diff -r -R --raw -C -M --numstat -z %s --"), ignore, rev1); .... }

चेतावनी PVS-Studio: V576 गलत प्रारूप। 'प्रारूप' फ़ंक्शन को कॉल करते समय वास्तविक तर्क की एक अलग संख्या की उम्मीद की जाती है। अपेक्षित: 2. वर्तमान: 3. git.cpp 1231

एक तथ्यात्मक तर्क अतिशयोक्तिपूर्ण है।

संभावित रूप से खतरनाक ऐरे इंडेक्स

TortoiseGit में निम्नलिखित कोड होते हैं:

 static svn_error_t * token_compare(....) { .... int idx = datasource_to_index(file_token[i]->datasource); file[i] = &file_baton->files[idx]; .... }

यह खतरनाक है क्योंकि परिवर्तनशील 'idx' का सैद्धांतिक रूप से नकारात्मक मान हो सकता है। विश्लेषक ने देखा कि किसी त्रुटि के मामले में datasource_to_index फ़ंक्शन -1 वापस आ सकता है:

 static int datasource_to_index(svn_diff_datasource_e datasource) { switch (datasource) { .... } return -1; }

PVS-Studio चेतावनी: V557 ऐरे अंडररून संभव है। 'Idx' इंडेक्स का मान -1 तक पहुंच सकता है। diff_file.c 1052

इस प्रकार, हालांकि यह कोड काम कर सकता है, लेकिन यह संभावित रूप से खतरनाक है। सरणी का एक अतिप्रवाह हो सकता है।

संसाधन रिसाव

 CMyMemDC(CDC* pDC, ....) { .... CreateCompatibleDC(pDC); .... }

PVS-Studio चेतावनी: V530 'CreateCompatibleDC' फ़ंक्शन के रिटर्न मान का उपयोग करने की आवश्यकता है। mymemdc.h 36

एक डिवाइस संदर्भ (डीसी) बनाया जाता है, लेकिन इसका उपयोग और किसी भी तरह से नष्ट नहीं किया जाता है। इसी तरह की स्थिति यहां: mymemdc.h 70

विभिन्न एनम प्रकारों की तुलना की जाती है

गिने हुए प्रकारों की तुलना करने पर भ्रम होता है:

 static enum { ABORT, VERBATIM, WARN, WARN_STRIP, STRIP } signed_tag_mode = ABORT; static enum { ERROR, DROP, REWRITE } tag_of_filtered_mode = ERROR; static void handle_tag(const char *name, struct tag *tag) { .... switch(tag_of_filtered_mode) { case ABORT: .... }

पीवीएस-स्टूडियो चेतावनी: V556 विभिन्न एनम प्रकारों के मूल्यों की तुलना की जाती है: स्विच (ENUM_TYPE_A) {मामला ENUM_TYPE_B: ...}। तेजी से निर्यात

Tag_of_filtered_mode वैरिएबल में एक प्रकार होता है, और ABORT दूसरे प्रकार को संदर्भित करता है।

टाइपो

 static int blame_internal(git_blame *blame) { .... blame->ent = ent; blame->path = blame->path; .... }

पीवीएस-स्टूडियो चेतावनी: V570 'दोष-> पथ' चर खुद को सौंपा गया है। दोष ।9 319

अन्य कीड़े

अन्य त्रुटियां और चूक पाई गईं। लेकिन उन्हें लेख में उनका वर्णन करना मुझे रोचक नहीं लगा। TortoiseGit डेवलपर्स पीवीएस-स्टूडियो टूल का उपयोग करके आसानी से सभी कमियों को पा सकते हैं।

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

निष्कर्ष

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

PVS-Studio डाउनलोड करें: http://www.viva64.com/en/pvs-studio-download/

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

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

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

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

PVS- स्टूडियो विश्लेषक TortoiseGit की जाँच करता है