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

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

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

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

तो, कोड लिखा, संकलित, निष्पादित और ...

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

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

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

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

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

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

मैं इसके बारे में सोचने लगा। हाल ही में, C # के लिए 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 । ध्यान दें कि यह विधि तत्कालीन विवरण की शाखा में स्थित है। सशर्त अभिव्यक्ति इस तरह से बनाई गई है कि तत्कालीन शाखा को चर के अगले मूल्यों पर क्रियान्वित किया जा सकता है:

• 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-Studio की मदद से PVS-Studio में प्रयुक्त पुस्तकालय के स्रोत कोड में एक त्रुटि खोजने में कामयाब रहे। मुझे लगता है कि यह प्रश्न का उत्तर है "क्या पीवीएस-स्टूडियो पीवीएस-स्टूडियो स्रोत कोड में त्रुटियां ढूंढता है?"। :) विश्लेषक न केवल पीवीएस-स्टूडियो कोड में, बल्कि उपयोग किए गए पुस्तकालयों के कोड में भी त्रुटियां पा सकता है।

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