कैसे PVS- स्टूडियो में इस्तेमाल की गई लाइब्रेरी में त्रुटि मिली ... PVS-Studio की कहानी

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

PVS-Studio_Cmd (और साथ ही कुछ अन्य उपयोगिताओं) में हम कमांड लाइन के तर्क को पार्स करने के लिए एक विशेष पुस्तकालय का उपयोग करते हैं - कमांडलाइन।

आज मैं PVS-Studio_Cmd में नए मोड का समर्थन करने में लगा हुआ था, और यह सिर्फ इतना हुआ कि मुझे पार्सिंग तर्कों के इस पुस्तकालय का उपयोग करना पड़ा। कोड लिखने की प्रक्रिया में, मैं इसे डीबग भी कर रहा हूं, क्योंकि मुझे अपरिचित एपीआई के साथ काम करना है।

तो, कोड लिखा है, संकलित, निष्पादन के लिए चला, ii ...

कोड निष्पादन पुस्तकालय में गुजरता है जहां NullReferenceException प्रकार का अपवाद होता है । इस तरफ से यह बहुत स्पष्ट नहीं है - मैं विधि के लिए कोई स्पष्ट अशक्त संदर्भ नहीं देता।

बस मामले में, मैं इस विधि पर टिप्पणी को देखता हूं। यह बहुत कम संभावना नहीं है कि वे NullReferenceException प्रकार के अपवाद के लिए शर्तों का वर्णन करते हैं (आमतौर पर, जैसा कि मुझे लगता है, इस प्रकार के अपवाद अप्रत्याशित हैं)।

विधि के लिए टिप्पणियों में, किसी भी NullReferenceException (जो, हालांकि, अपेक्षित है) के बारे में कोई जानकारी नहीं है।

यह देखने के लिए कि वास्तव में अपवाद का कारण क्या है (और कहां), मैंने प्रोजेक्ट स्रोत कोड को डाउनलोड करने, लाइब्रेरी के डीबग संस्करण को विश्लेषक से जोड़ने और संकलित करने का निर्णय लिया। प्रोजेक्ट के लिए सोर्स कोड GitHub पर उपलब्ध है । संस्करण 1.9.71 की आवश्यकता है, क्योंकि यह ठीक इसी प्रकार है जो अब विश्लेषक में उपयोग किया जाता है।

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

तो, अपवाद का स्थान स्पष्ट है - helpInfo शून्य है , जो वाम आवृत्ति संपत्ति तक पहुँचने पर NullReferenceException प्रकार का अपवाद का कारण बनता है।

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

मैंने स्रोत कोड की जाँच की, और अन्य चेतावनियों के बीच, मैंने वही देखा, जिसकी मैं उम्मीद कर रहा था।

PVS-Studio चेतावनी : V3080 'हेल्पइन्फो.लिफ्ट' में विधि के अंदर संभावित अशक्तता को दूर करता है। 2 तर्क का निरीक्षण करने पर विचार करें: helpInfo। Parser.cs 405

हाँ, वहाँ यह है! बिल्कुल वही जो आपको चाहिए। आइए स्रोत कोड को अधिक विस्तार से देखें।

private bool DoParseArgumentsVerbs( string[] args, object options, ref object verbInstance) { var verbs = ReflectionHelper.RetrievePropertyList<VerbOptionAttribute>(options); var helpInfo = ReflectionHelper.RetrieveMethod<HelpVerbOptionAttribute>(options); if (args.Length == 0) { if (helpInfo != null || _settings.HelpWriter != null) { DisplayHelpVerbText(options, helpInfo, null); // <= } return false; } .... } 

DisplayHelpVerbText विधि को कॉल करते समय विश्लेषक एक चेतावनी संदेश देता है और दूसरे तर्क के बारे में चेतावनी देता है - helpInfo । ध्यान दें कि यह विधि if स्टेटमेंट की तत्कालीन शाखा में है। सशर्त अभिव्यक्ति इस तरह से बनाई गई है कि तब- चर के निम्नलिखित मूल्यों के साथ शाखा को निष्पादित किया जा सकता है:

• helpInfo == अशक्त ;
• _settings.HelpWriter! = null ;

आइए DisplayHelpVerbText विधि का मुख्य भाग देखें:

 private void DisplayHelpVerbText( object options, Pair<MethodInfo, HelpVerbOptionAttribute> helpInfo, string verb) { string helpText; if (verb == null) { HelpVerbOptionAttribute.InvokeMethod(options, helpInfo, null, out helpText); } else { HelpVerbOptionAttribute.InvokeMethod(options, helpInfo, verb, out helpText); } if (_settings.HelpWriter != null) { _settings.HelpWriter.Write(helpText); } } 

चूँकि क्रिया == अशक्त (विधि कॉल देखें) हम तत्कालीन कथन की तत्कालीन शाखा में रुचि रखते हैं। यद्यपि अन्य शाखा के साथ स्थिति समान होगी, हम तत्कालीन शाखा पर विचार करेंगे, क्योंकि हमारे विशेष मामले में निष्पादन इसके माध्यम से था। याद रखें कि helpInfo शून्य हो सकती है।

अब आइए HelpVerbOptionAttribute.InvokeMethod पद्धति के मुख्य भाग को देखें । दरअसल, आपने पहले ही इसे ऊपर के स्क्रीनशॉट में देखा था:

 internal static void InvokeMethod( object target, Pair<MethodInfo, HelpVerbOptionAttribute> helpInfo, string verb, out string text) { text = null; var method = helpInfo.Left; if (!CheckMethodSignature(method)) { throw new MemberAccessException( SR.MemberAccessException_BadSignatureForHelpVerbOptionAttribute .FormatInvariant(method.Name)); } text = (string)method.Invoke(target, new object[] { verb }); } 

helpInfo.Left को बिना शर्त के कहा जाता है, भले ही helpInfo शून्य हो सकती है। विश्लेषक ने इसके बारे में चेतावनी दी, और यह हुआ।

निष्कर्ष

यह मज़ेदार निकला कि पीवीएस-स्टूडियो की मदद से पीवीएस-स्टूडियो में इस्तेमाल होने वाले पुस्तकालय के कोड में एक त्रुटि का पता लगाना संभव था। मुझे लगता है कि यह प्रश्न के उत्तर की निरंतरता है "क्या पीवीएस-स्टूडियो पीवीएस-स्टूडियो कोड में त्रुटियां ढूंढता है?"। :) यह न केवल पीवीएस-स्टूडियो कोड में, बल्कि उपयोग किए गए पुस्तकालयों के कोड में भी त्रुटियां पा सकता है।

अंत में, मैं विश्लेषक को डाउनलोड करने और अपनी परियोजना की जांच करने का प्रयास करता हूं - क्या होगा यदि आप वहां भी कुछ दिलचस्प पा सकते हैं?

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