पीवीएस-स्टूडियो स्टेटिक विश्लेषक द्वारा .NET कोर लाइब्रेरी सोर्स कोड की जाँच करना

.NET कोर लाइब्रेरी GitHub पर सबसे लोकप्रिय C # प्रोजेक्ट्स में से एक है। यह शायद ही आश्चर्य की बात है, क्योंकि यह व्यापक रूप से जाना जाता है और उपयोग किया जाता है। इसके कारण, स्रोत कोड के अंधेरे कोनों को प्रकट करने का प्रयास अधिक मनोरम हो रहा है। तो यह वही है जो हम पीवीएस-स्टूडियो स्टैटिक विश्लेषक की मदद से करने की कोशिश करेंगे। आपको क्या लगता है - क्या हम अंततः कुछ दिलचस्प पाएंगे?

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

परियोजना और जाँच के बारे में विवरण

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

जाँच के तहत परियोजना

शायद, मैं यह बताकर छोड़ सकता था कि CoreFX (.NET Core लाइब्रेरी) क्या है, लेकिन अगर आपने इसके बारे में नहीं सुना है, तो विवरण नीचे दिया गया है। यह GitHub पर प्रोजेक्ट पृष्ठ के समान है , जहां आप स्रोत कोड भी डाउनलोड कर सकते हैं।

विवरण: इस रेपो में .NET कोर के लिए पुस्तकालय कार्यान्वयन (जिसे "CoreFX" कहा जाता है) शामिल हैं। इसमें System.Collections, System.IO, System.Xml, और कई अन्य घटक शामिल हैं। संबंधित .NET कोर रनटाइम रेपो (जिसे "CoreCLR" कहा जाता है) में .NET कोर के लिए रनटाइम कार्यान्वयन है। इसमें RyuJIT, .NET GC और कई अन्य घटक शामिल हैं। रनटाइम-विशिष्ट लाइब्रेरी कोड (System.PStreet.CoreLib) CoreCLR रेपो में रहता है। इसे रनटाइम के साथ मिलकर बनाया और तैयार किया जाना चाहिए। CoreFX के बाकी रनटाइम-इम्प्लीमेंटेशन के अज्ञेय हैं और इन्हें किसी भी संगत .NET रनटाइम (जैसे CoreRT) पर चलाया जा सकता है ।

इस्तेमाल किया विश्लेषक और विश्लेषण विधि

मैंने PVS-Studio स्थैतिक विश्लेषक का उपयोग करके कोड की जाँच की। सामान्यतया, पीवीएस-स्टूडियो न केवल सी # कोड, बल्कि सी, सी ++, जावा का भी विश्लेषण कर सकता है। C # कोड विश्लेषण अभी तक केवल विंडोज के तहत काम कर रहा है, जबकि C, C ++, Java कोड का विश्लेषण विंडोज, लिनक्स, मैकओएस के तहत किया जा सकता है।

आमतौर पर C # प्रोजेक्ट्स की जाँच के लिए मैं विज़ुअल स्टूडियो (2010-2019 संस्करणों का समर्थन करता है) के लिए पीवीएस-स्टूडियो प्लगइन का उपयोग करता हूं, क्योंकि शायद यह इस मामले में सबसे सरल और सुविधाजनक विश्लेषण परिदृश्य है: खुला समाधान, विश्लेषण चलाना, चेतावनी सूची को संभालना। हालाँकि, यह CoreFX के साथ थोड़ा अधिक जटिल था।

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

हालांकि, विश्लेषण में कोई समस्या नहीं थी, क्योंकि पीवीएस-स्टूडियो वितरण में एमएसबीयूआई परियोजनाओं (और .sln) के लिए विश्लेषक कमांड लाइन संस्करण शामिल हैं। मुझे बस इतना करना था कि एक छोटी सी स्क्रिप्ट लिखनी थी, जो प्रत्येक के लिए "PVS-Studio_Cmd.exe" चलाएगी। CoreFX निर्देशिका में परिणाम निकालेगी और एक अलग निर्देशिका में परिणाम बचाएगा (यह विश्लेषक की कमांड लाइन ध्वज द्वारा निर्दिष्ट किया गया है। ।

Presto! नतीजतन, मैं कुछ दिलचस्प सामानों को संग्रहीत करने वाली रिपोर्ट के एक सेट के साथ एक पेंडोरा बॉक्स रख रहा हूं। यदि वांछित है, तो इन लॉग को PlogConverter उपयोगिता के साथ जोड़ा जा सकता है, वितरण के हिस्से के रूप में आ रहा है। मेरे लिए, अलग लॉग के साथ काम करना अधिक सुविधाजनक था, इसलिए मैंने उन्हें मर्ज नहीं किया।

कुछ त्रुटियों का वर्णन करते समय मैं docs.microsoft.com और NuGet संकुल से दस्तावेज़ीकरण का उल्लेख करता हूँ, जो nuget.org से डाउनलोड करने के लिए उपलब्ध है। मुझे लगता है कि प्रलेखन / संकुल में वर्णित कोड विश्लेषण किए गए कोड से थोड़ा अलग हो सकता है। हालाँकि, यह बहुत ही अजीब होगा, उदाहरण के लिए, एक निश्चित इनपुट डेटासेट होने पर प्रलेखन ने उत्पन्न अपवादों का वर्णन नहीं किया है, लेकिन नए पैकेज संस्करण में उन्हें शामिल किया जाएगा। आपको मानना ​​होगा कि यह एक आश्चर्यजनक आश्चर्य होगा। पुस्तकालयों को डीबग करने के लिए उपयोग किए गए समान इनपुट डेटा का उपयोग करके NuGet से संकुल में त्रुटियों का पुन: प्रस्तुत करना दर्शाता है कि यह समस्या नई नहीं है। सबसे महत्वपूर्ण बात, आप प्रोजेक्ट को बिना स्रोतों से बनाए इसे 'स्पर्श' कर सकते हैं।

इस प्रकार, कोड के कुछ सैद्धांतिक वंशानुक्रम की संभावना की अनुमति देते हुए, मुझे docs.microsoft.com पर प्रासंगिक विधियों का वर्णन करने और nuget.org से संकुल का उपयोग करके समस्याओं को पुन: उत्पन्न करने के लिए स्वीकार्य है।

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

अन्य जाँच परियोजनाएँ

वैसे, यह लेख अपनी तरह का अनूठा नहीं है। हम प्रोजेक्ट चेक पर अन्य लेख लिखते हैं। इस लिंक से आप जाँच की गई परियोजनाओं की सूची पा सकते हैं। इसके अलावा, हमारी साइट पर आपको न केवल प्रोजेक्ट चेक के लेख, बल्कि C, C ++, C #, Java, साथ ही कुछ दिलचस्प नोट्स पर विभिन्न तकनीकी लेख मिलेंगे। आप ब्लॉग में यह सब पा सकते हैं।

मेरे सहयोगी ने पहले ही वर्ष 2015 में .NET कोर पुस्तकालयों की पहले ही जाँच कर ली है। पिछले विश्लेषण के परिणाम प्रासंगिक लेख में पाए जा सकते हैं: " .NET कोर लाइब्रेरीज़ (CoreFX) का क्रिसमस विश्लेषण ।"

पता चला त्रुटियाँ, संदिग्ध और दिलचस्प टुकड़े

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

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

अंक 1

abstract public class Principal : IDisposable { .... public void Save(PrincipalContext context) { .... if ( context.ContextType == ContextType.Machine || _ctx.ContextType == ContextType.Machine) { throw new InvalidOperationException( SR.SaveToNotSupportedAgainstMachineStore); } if (context == null) { Debug.Assert(this.unpersisted == true); throw new InvalidOperationException(SR.NullArguments); } .... } .... } 

पीवीएस-स्टूडियो चेतावनी: V3095 'संदर्भ' ऑब्जेक्ट का उपयोग इससे पहले कि यह अशक्त के खिलाफ सत्यापित किया गया था। जाँच रेखाएँ: 340, 346. प्रिंसिपल .cs 340

डेवलपर्स स्पष्ट रूप से बताते हैं कि संदर्भ पैरामीटर के लिए शून्य मान अमान्य है, वे InvalidOperationException प्रकार के अपवाद का उपयोग करके इसे ज़ोर देना चाहते हैं। हालाँकि, पिछली स्थिति में ऊपर हम संदर्भ संदर्भ के एक बिना शर्त को देख सकते हैं - संदर्भ । परिणामस्वरूप, यदि संदर्भ मान शून्य है, तो NullReferenceException प्रकार का अपवाद अपेक्षित InvalidOperationExcetion के बजाय जनरेट किया जाएगा ।

आइए समस्या को पुन: उत्पन्न करने का प्रयास करें। हम लायब्रेरी System.DirectoryServices.AccountManagement को प्रोजेक्ट में जोड़ेंगे और निम्नलिखित कोड निष्पादित करेंगे:

 GroupPrincipal groupPrincipal = new GroupPrincipal(new PrincipalContext(ContextType.Machine)); groupPrincipal.Save(null); 

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

हित के लिए, आप NuGet से उपयुक्त पैकेज डाउनलोड करने और उसी तरह से समस्या को दोहराने का प्रयास कर सकते हैं। मैंने पैकेज 4.5.0 स्थापित किया और अपेक्षित परिणाम प्राप्त किया।

अंक 2

 private SearchResultCollection FindAll(bool findMoreThanOne) { searchResult = null; DirectoryEntry clonedRoot = null; if (_assertDefaultNamingContext == null) { clonedRoot = SearchRoot.CloneBrowsable(); } else { clonedRoot = SearchRoot.CloneBrowsable(); } .... } 

PVS-Studio चेतावनी: V3004 'तत्कालीन' कथन 'और' कथन के बराबर है। DirectorySearcher.cs 629

भले ही _assertDefaultNamingContext == अशक्त स्थिति सही है या गलत, वही कार्रवाई की जाएगी, और तब और यदि कथन की अन्य शाखाओं में समान निकाय हैं। या तो एक शाखा में एक और कार्रवाई होनी चाहिए, या आप डेवलपर्स और विश्लेषक को भ्रमित नहीं करने के लिए बयान को छोड़ सकते हैं।

अंक 3

 public class DirectoryEntry : Component { .... public void RefreshCache(string[] propertyNames) { .... object[] names = new object[propertyNames.Length]; for (int i = 0; i < propertyNames.Length; i++) names[i] = propertyNames[i]; .... if (_propertyCollection != null && propertyNames != null) .... .... } .... } 

पीवीएस-स्टूडियो चेतावनी: V3095 'प्रॉपर्टीनेम' ऑब्जेक्ट का उपयोग इससे पहले किया गया था जब इसे शून्य के खिलाफ सत्यापित किया गया था। चेक लाइन: 990, 1004। DirectoryEntry.cs 990

फिर, हम कार्यों का एक अजीब क्रम देखते हैं। विधि में, एक चेक प्रॉपर्टीनेम है! = Null , अर्थात डेवलपर्स अपने ठिकानों को शून्य में आते हैं, जो विधि में आते हैं। लेकिन ऊपर आप इस संभावित अशक्त संदर्भ द्वारा कुछ एक्सेस ऑपरेशन देख सकते हैं - propertyNames.Length और propertyNames [i] । परिणाम काफी अनुमानित है - यदि अशक्त संदर्भ विधि को पारित किया जाता है, तो NullReferenceExcepption प्रकार के अपवाद की घटना।

क्या संयोग है! RefreshCache सार्वजनिक वर्ग में एक सार्वजनिक विधि है। समस्या को पुन: उत्पन्न करने की कोशिश के बारे में क्या? ऐसा करने के लिए, हम आवश्यक लाइब्रेरी सिस्टम को शामिल करेंगे। परियोजना के लिए निर्देशिका सेवाएँ और हम इस तरह कोड लिखेंगे:

 DirectoryEntry de = new DirectoryEntry(); de.RefreshCache(null); 

कोड निष्पादित करने के बाद, हम देख सकते हैं कि हमें क्या उम्मीद थी।

बस किक के लिए, आप NuGet पैकेज के रिलीज़ संस्करण पर समस्या को पुन: प्रस्तुत करने का प्रयास कर सकते हैं। अगला, हम प्रोजेक्ट में System.DirectoryServices पैकेज (मैंने संस्करण 4.5.0 का उपयोग किया) के संदर्भ को जोड़ते हैं और पहले से परिचित कोड को निष्पादित करते हैं। परिणाम नीचे है।

अंक 4

अब हम विपरीत से जाएंगे - पहले हम कोड लिखने की कोशिश करेंगे, जो एक वर्ग उदाहरण का उपयोग करता है, और फिर हम अंदर देखेंगे। आइए देखें System.Drawing.CharacterRange संरचना से System.Drawing.Common लाइब्रेरी और एक ही नाम NuGet पैकेज।

हम इस कोड का उपयोग करेंगे:

 CharacterRange range = new CharacterRange(); bool eq = range.Equals(null); Console.WriteLine(eq); 

बस मामले में, हमारी मेमोरी को जॉग करने के लिए, हम docs.microsoft.com को यह याद करने के लिए संबोधित करेंगे कि एक्सप्रेशन obj.Equals (null) से क्या लौटाया गया मान अपेक्षित है:

समान (ऑब्जेक्ट) विधि के सभी कार्यान्वयन के लिए निम्न कथन सही होना चाहिए। सूची में, x, y, और z ऑब्जेक्ट संदर्भों का प्रतिनिधित्व करते हैं जो शून्य नहीं हैं।

....

x.Equals (शून्य) गलत देता है।

क्या आपको लगता है कि पाठ "गलत" कंसोल में प्रदर्शित किया जाएगा? बेशक, नहीं। यह बहुत आसान होगा। :) इसलिए, हम कोड को निष्पादित करते हैं और परिणाम को देखते हैं।

यह 4.5.1 संस्करण के NuGet System.Drawing.Common पैकेज का उपयोग करके उपरोक्त कोड से आउटपुट था। अगला कदम डिबगिंग लाइब्रेरी संस्करण के साथ समान कोड चलाना है। यह वही है जो हम देखते हैं:

अब हम स्रोत कोड को देखते हैं, विशेष रूप से, अक्षर संरचना और विश्लेषक चेतावनी में समान पद्धति का कार्यान्वयन:

 public override bool Equals(object obj) { if (obj.GetType() != typeof(CharacterRange)) return false; CharacterRange cr = (CharacterRange)obj; return ((_first == cr.First) && (_length == cr.Length)); } 

PVS-Studio चेतावनी: V3115 'null' को 'बराबर' पद्धति से 'NullReferenceException' में परिणामित नहीं किया जाना चाहिए। चरित्ररंग। ५६

हम देख सकते हैं, जो साबित करना था - ओब्ज पैरामीटर अनुचित तरीके से नियंत्रित किया गया है। इस वजह से, NullReferenceException अपवाद को सशर्त अभिव्यक्ति में हो जाता है जब आवृत्ति विधि GetType को कॉल किया जाता है ।

अंक 5

जब हम इस लाइब्रेरी की खोज कर रहे हैं, तो आइए एक और दिलचस्प अंश पर विचार करें - आइकन । विधि सहेजें । अनुसंधान से पहले, आइए विधि विवरण देखें।

विधि का कोई विवरण नहीं है:

चलो docs.microsoft.com - " Icon.Save (स्ट्रीम) विधि " को संबोधित करते हैं । हालांकि, इनपुट्स या जनरेट किए गए अपवादों के बारे में जानकारी पर कोई प्रतिबंध नहीं है।

अब कोड निरीक्षण पर चलते हैं।

 public sealed partial class Icon : MarshalByRefObject, ICloneable, IDisposable, ISerializable { .... public void Save(Stream outputStream) { if (_iconData != null) { outputStream.Write(_iconData, 0, _iconData.Length); } else { .... if (outputStream == null) throw new ArgumentNullException("dataStream"); .... } } .... } 

PVS- स्टूडियो चेतावनी: V3095 नल के खिलाफ सत्यापित होने से पहले ' आउटपुटस्ट्रीम ' ऑब्जेक्ट का उपयोग किया गया था। चेक लाइनें: 654, 672. Icon.Windows.cs 654

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

हमारा कार्य सरल है - कोड को अभिव्यक्ति के आउटपुट में लाने के लिए। Stream.Write (_iconData, 0, _iconData.ength); और एक ही समय में चर outputStream - null के मूल्य को बचाएं। शर्त को पूरा करना _iconData! = अशक्त इसके लिए पर्याप्त है।

आइए सबसे सरल सार्वजनिक निर्माणकर्ता को देखें:

 public Icon(string fileName) : this(fileName, 0, 0) { } 

यह सिर्फ दूसरे कंस्ट्रक्टर को काम सौंपता है।

 public Icon(string fileName, int width, int height) : this() { using (FileStream f = new FileStream(fileName, FileMode.Open, FileAccess.Read, FileShare.Read)) { Debug.Assert(f != null, "File.OpenRead returned null instead of throwing an exception"); _iconData = new byte[(int)f.Length]; f.Read(_iconData, 0, _iconData.Length); } Initialize(width, height); } 

बस, यही हमें चाहिए। इस कंस्ट्रक्टर को कॉल करने के बाद, यदि हम फ़ाइल से डेटा को सफलतापूर्वक पढ़ते हैं और इनिशियलाइज़ विधि में कोई क्रैश नहीं है, तो फ़ील्ड _iconData में ऑब्जेक्ट का संदर्भ होगा, यह वही है जो हमें चाहिए।

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

 Icon icon = new Icon(@"D:\document.ico"); icon.Save(null); 

निष्पादन का परिणाम अपेक्षित है।

अंक 6

हम समीक्षा जारी रखते हैं और आगे बढ़ते हैं। CimType.UInt32 और अन्य मामले में निष्पादित कार्यों के बीच 3 अंतर खोजने का प्रयास करें।

 private static string ConvertToNumericValueAndAddToArray(....) { string retFunctionName = string.Empty; enumType = string.Empty; switch(cimType) { case CimType.UInt8: case CimType.SInt8: case CimType.SInt16: case CimType.UInt16: case CimType.SInt32: arrayToAdd.Add(System.Convert.ToInt32( numericValue, (IFormatProvider)CultureInfo.InvariantCulture .GetFormat(typeof(int)))); retFunctionName = "ToInt32"; enumType = "System.Int32"; break; case CimType.UInt32: arrayToAdd.Add(System.Convert.ToInt32( numericValue, (IFormatProvider)CultureInfo.InvariantCulture .GetFormat(typeof(int)))); retFunctionName = "ToInt32"; enumType = "System.Int32"; break; } return retFunctionName; } 

बेशक, कोई मतभेद नहीं हैं, क्योंकि विश्लेषक हमें इसके बारे में चेतावनी देता है।

PVS-Studio चेतावनी: V3139 दो या दो से अधिक केस-शाखाएँ एक ही क्रिया करते हैं। WMIGenerator.cs 5220

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

अंक 7

Microsoft.CSharp लाइब्रेरी।

 private static IList<KeyValuePair<string, object>> QueryDynamicObject(object obj) { .... List<string> names = new List<string>(mo.GetDynamicMemberNames()); names.Sort(); if (names != null) { .... } .... } 

पीवीएस-स्टूडियो चेतावनी: V3022 अभिव्यक्ति 'नाम! = नल' हमेशा सच है। डायनेमिकडेबगरप्रॉक्सी .cs 426

मैं संभवतः इस चेतावनी को कई समानों के साथ अनदेखा कर सकता हूं जो निदान V3022 और V3063 द्वारा जारी किए गए थे। कई (बहुत) अजीब जाँचें हुईं, लेकिन यह किसी तरह मेरी आत्मा में समा गई। शायद, कारण यह है कि स्थानीय नाम चर की तुलना नल से करने से पहले क्या होता है । न केवल संदर्भ को नए बनाए गए ऑब्जेक्ट के लिए नाम चर में संग्रहीत किया जाता है, बल्कि उदाहरण के लिए सॉर्ट विधि भी कहा जाता है। यकीन है, यह एक त्रुटि नहीं है, लेकिन मेरे लिए, ध्यान देने योग्य है।

अंक 8

कोड का एक और दिलचस्प टुकड़ा:

 private static void InsertChildNoGrow(Symbol child) { .... while (sym?.nextSameName != null) { sym = sym.nextSameName; } Debug.Assert(sym != null && sym.nextSameName == null); sym.nextSameName = child; .... } 

पीवीएस-स्टूडियो चेतावनी: V3042 संभावित NullReferenceException। '?' और '' ऑपरेटरों का उपयोग 'सिम्बल' ऑब्जेक्ट SymbolStore.cs 56 के सदस्यों तक पहुँचने के लिए किया जाता है

देखो क्या चीज है। लूप कम से कम दो स्थितियों में से एक के अनुपालन पर समाप्त होता है:

• sym == अशक्त ;
• sym.nextSameName == अशक्त ।

दूसरी स्थिति में कोई समस्या नहीं है, जिसे पहले के बारे में नहीं कहा जा सकता है। चूँकि नाम आवृत्ति क्षेत्र बिना शर्त के नीचे पहुँच गया है और यदि सिम्बल - नल है , तो NullReferenceException type का अपवाद उत्पन्न होगा।

क्या आप अंधे हैं? वहाँ डीबग.एजर्स कॉल है, जहाँ यह जाँच की जाती है कि सिम्बल! = नल ”- कोई बहस कर सकता है। इसके विपरीत, यह बात है! जब रिलीज संस्करण में काम कर रहा है, डीबग.आसर किसी भी मदद का नहीं होगा और ऊपर की शर्त के साथ, हम जो भी प्राप्त करेंगे वह है NullReferenceException । इसके अलावा, मैंने पहले से ही माइक्रोसॉफ्ट - रोसलिन की एक अन्य परियोजना में इसी तरह की त्रुटि देखी है, जहां डीबग के साथ इसी तरह की स्थिति थी। एसेटर हुई। रोजलिन के लिए मुझे एक पल के लिए अलग कर दें।

Microsoft.CodeAnalysis लाइब्रेरीज़ का उपयोग करते समय समस्या को पुन: प्रस्तुत किया जा सकता है, या सिंटैक्स विज़ुअलाइज़र का उपयोग करते समय दृश्य स्टूडियो में सही हो सकता है। विजुअल स्टूडियो 16.1.6 + सिंटेक्स विज़ुअलाइज़र 1.0 में यह समस्या अभी भी पुन: उत्पन्न की जा सकती है।

यह कोड इसके लिए पर्याप्त है:

 class C1<T1, T2> { void foo() { T1 val = default; if (val is null) { } } } 

इसके अलावा, सिंटैक्स विज़ुअलाइज़र में हमें कॉन्स्टेंटपेंटर्नसिन्टेक्स प्रकार के सिंटैक्स ट्री के नोड को खोजने की आवश्यकता है, कोड में शून्य के लिए इसी के लिए और इसके लिए TypeSymbol का अनुरोध करें।

उसके बाद, Visual Studio पुनः आरंभ करेगा। यदि हम ईवेंट व्यूअर पर जाते हैं, तो हमें पुस्तकालयों में समस्याओं के बारे में कुछ जानकारी मिलेगी:

 Application: devenv.exe Framework Version: v4.0.30319 Description: The process was terminated due to an unhandled exception. Exception Info: System.Resources.MissingManifestResourceException at System.Resources.ManifestBasedResourceGroveler .HandleResourceStreamMissing(System.String) at System.Resources.ManifestBasedResourceGroveler.GrovelForResourceSet( System.Globalization.CultureInfo, System.Collections.Generic.Dictionary'2 <System.String,System.Resources.ResourceSet>, Boolean, Boolean, System.Threading.StackCrawlMark ByRef) at System.Resources.ResourceManager.InternalGetResourceSet( System.Globalization.CultureInfo, Boolean, Boolean, System.Threading.StackCrawlMark ByRef) at System.Resources.ResourceManager.InternalGetResourceSet( System.Globalization.CultureInfo, Boolean, Boolean) at System.Resources.ResourceManager.GetString(System.String, System.Globalization.CultureInfo) at Roslyn.SyntaxVisualizer.DgmlHelper.My. Resources.Resources.get_SyntaxNodeLabel() .... 

Devenv.exe के साथ समस्या के लिए:

 Faulting application name: devenv.exe, version: 16.1.29102.190, time stamp: 0x5d1c133b Faulting module name: KERNELBASE.dll, version: 10.0.18362.145, time stamp: 0xf5733ace Exception code: 0xe0434352 Fault offset: 0x001133d2 .... 

रोसलिन पुस्तकालयों के डिबगिंग संस्करणों के साथ, आप उस जगह को पा सकते हैं जहां एक अपवाद था:

 private Conversion ClassifyImplicitBuiltInConversionSlow( TypeSymbol source, TypeSymbol destination, ref HashSet<DiagnosticInfo> useSiteDiagnostics) { Debug.Assert((object)source != null); Debug.Assert((object)destination != null); if ( source.SpecialType == SpecialType.System_Void || destination.SpecialType == SpecialType.System_Void) { return Conversion.NoConversion; } .... } 

यहाँ, .NET कोर पुस्तकालयों के ऊपर दिए गए कोड से समान है, डीबग का एक चेक है। Series जो पुस्तकालयों के रिलीज़ संस्करणों का उपयोग करते समय मदद नहीं करेगा।

अंक 9

हमें यहां थोड़ी-बहुत छूट मिली है, तो चलिए .NET कोर लाइब्रेरी में वापस आते हैं। System.IO.IsolatedStorage पैकेज में निम्नलिखित दिलचस्प कोड हैं।

 private bool ContainsUnknownFiles(string directory) { .... return (files.Length > 2 || ( (!IsIdFile(files[0]) && !IsInfoFile(files[0]))) || (files.Length == 2 && !IsIdFile(files[1]) && !IsInfoFile(files[1])) ); } 

पीवीएस-स्टूडियो चेतावनी: V3088 कोष्ठक द्वारा अभिव्यक्ति दो बार संलग्न किया गया था: ((अभिव्यक्ति))। कोष्ठक की एक जोड़ी अनावश्यक है या गलत धारणा मौजूद है। IsolatedStorageFile.cs 839

यह कहने के लिए कि कोड स्वरूपण भ्रामक है, कुछ न कहने का एक और तरीका है। इस कोड पर एक छोटी नज़र रखने के बाद, मैं कहूँगा कि पहले वाला बाएं ऑपरैंडोफ़ || ऑपरेटर मैं भर में आया था। फाइलें> 2> सही, कोष्ठक में एक सही है। कम से कम इस तरह कोड स्वरूपित है। थोड़ा और ध्यान से देखने के बाद, आप समझ सकते हैं कि ऐसा नहीं है। वास्तव में, सही ऑपरेंड - (!! IsIdFile (फाइलें [0]) &&! IsInfoFile (फाइलें [0])) । मुझे लगता है कि यह कोड बहुत भ्रामक है।

अंक 10

PVS-Studio 7.03 ने V3138 डायग्नोस्टिक नियम की शुरुआत की, जो प्रक्षेपित स्ट्रिंग में त्रुटियों की खोज करता है। अधिक सटीक रूप से, उस स्ट्रिंग में जिसे सबसे अधिक संभावना के साथ प्रक्षेपित किया जाना था, लेकिन चूक $ प्रतीक के कारण वे नहीं थे । System.Net पुस्तकालयों में मुझे इस डायग्नोस्टिक नियम की कई दिलचस्प घटनाएं देखने को मिलीं।

 internal static void CacheCredential(SafeFreeCredentials newHandle) { try { .... } catch (Exception e) { if (!ExceptionCheck.IsFatal(e)) { NetEventSource.Fail(null, "Attempted to throw: {e}"); } } } 

पीवीएस-स्टूडियो चेतावनी: V3138 स्ट्रिंग शाब्दिक में संभावित प्रक्षेपित अभिव्यक्ति होती है। निरीक्षण करने पर विचार करें: ई। SSPIHandleCache.cs 42

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

अंक 11

यहां एक और ऐसा ही मामला सामने आया है।

 public static async Task<string> GetDigestTokenForCredential(....) { .... if (NetEventSource.IsEnabled) NetEventSource.Error(digestResponse, "Algorithm not supported: {algorithm}"); .... } 

पीवीएस-स्टूडियो चेतावनी: V3138 स्ट्रिंग शाब्दिक में संभावित प्रक्षेपित अभिव्यक्ति होती है। निरीक्षण करने पर विचार करें: एल्गोरिथ्म। ऑथेंटिकेशनहेल्पर

स्थिति ऊपर वाले के समान है, फिर से $ प्रतीक चूक गया है, जिसके परिणामस्वरूप गलत स्ट्रिंग, त्रुटि विधि में हो रही है ।

अंक 12

System.Net.Mail पैकेज। विधि छोटा है, मैं बग को और अधिक रोचक बनाने के लिए इसे पूरी तरह से उद्धृत करूंगा।

 internal void SetContent(Stream stream) { if (stream == null) { throw new ArgumentNullException(nameof(stream)); } if (_streamSet) { _stream.Close(); _stream = null; _streamSet = false; } _stream = stream; _streamSet = true; _streamUsedOnce = false; TransferEncoding = TransferEncoding.Base64; } 

PVS-Studio चेतावनी: V3008 '_streamSet' चर को क्रमिक रूप से दो बार मान दिया गया है। शायद यह एक गलती है। चेक लाइनें: 123, 119. MimePart.cs 123

चर के लिए डबल मान असाइनमेंट _streamSet अजीब लगता है (पहले - शर्त के तहत, फिर - बाहर)। धारा चर को रीसेट करने के साथ एक ही कहानी। नतीजतन, _stream में अभी भी मूल्य प्रवाह होगा , और _streamSet सत्य होगा ।

अंक 13

System.Linq.Expressions लाइब्रेरी से एक दिलचस्प कोड टुकड़ा जो एक बार में 2 विश्लेषक चेतावनियों को ट्रिगर करता है। इस मामले में, यह बग की तुलना में एक विशेषता की तरह अधिक है। हालाँकि, विधि काफी असामान्य है ...

 // throws NRE when o is null protected static void NullCheck(object o) { if (o == null) { o.GetType(); } } 

पीवीएस-स्टूडियो चेतावनी:

• V3010 फ़ंक्शन ' GetType ' के रिटर्न मान का उपयोग किया जाना आवश्यक है। निर्देश .cs 36
• V3080 संभव अशक्तता । निरीक्षण 'ओ' पर विचार करें। निर्देश .cs 36

यहाँ पर टिप्पणी करने के लिए शायद कुछ भी नहीं है।

अंक 14

आइए एक और मामले पर विचार करें, जिसे हम "बाहर से" संभाल लेंगे। सबसे पहले, हम कोड लिखेंगे, समस्याओं का पता लगाएंगे और फिर हम अंदर देखेंगे। हम समीक्षा के लिए System.Configuration.ConfigurationManager लाइब्रेरी और समान नाम NuGet पैकेज लेंगे। मैंने 4.5.0 संस्करण पैकेज का उपयोग किया। हम System.Configuration.CommaDelimitedStringCollection क्लास से निपटेंगे।

आइए कुछ अनफ्रेंड करते हैं। उदाहरण के लिए, हम एक ऑब्जेक्ट बनाएंगे, इसके स्ट्रिंग प्रतिनिधित्व को निकालेंगे और इस स्ट्रिंग की लंबाई प्राप्त करेंगे, फिर इसे प्रिंट करेंगे। प्रासंगिक कोड:

 CommaDelimitedStringCollection collection = new CommaDelimitedStringCollection(); Console.WriteLine(collection.ToString().Length); 

बस के मामले में, हम ToString विधि विवरण की जाँच करेंगे:

कुछ खास नहीं - किसी वस्तु का स्ट्रिंग प्रतिनिधित्व लौटाया जाता है। बस के मामले में, मैं बाहर की जाँच करूँगा docs.microsoft.com - " CommaDelimitedStringCollection.ToString विधि "। ऐसा लगता है जैसे यहां कुछ खास नहीं है।

ठीक है, चलो कोड निष्पादित करें, और ...

हम्म, आश्चर्य। ठीक है, आइए संग्रह में एक आइटम जोड़ने का प्रयास करें और फिर उसका स्ट्रिंग प्रतिनिधित्व प्राप्त करें। अगला, हम "बिलकुल अकस्मात" एक खाली स्ट्रिंग जोड़ेंगे :)। कोड बदल जाएगा और इस तरह दिखेगा:

 CommaDelimitedStringCollection collection = new CommaDelimitedStringCollection(); collection.Add(String.Empty); Console.WriteLine(collection.ToString().Length); 

निष्पादित करें और देखें ...

क्या, फिर से ?! ठीक है, चलो अंत में CommaDelimitedStringCollection वर्ग से ToString विधि के कार्यान्वयन को संबोधित करते हैं। कोड नीचे है:

 public override string ToString() { if (Count <= 0) return null; StringBuilder sb = new StringBuilder(); foreach (string str in this) { ThrowIfContainsDelimiter(str); // .... sb.Append(str.Trim()); sb.Append(','); } if (sb.Length > 0) sb.Length = sb.Length - 1; return sb.Length == 0 ? null : sb.ToString(); } 

पीवीएस-स्टूडियो चेतावनी:

• V3108 यह 'ToSting' (') विधि से' null 'वापस करने के लिए अनुशंसित नहीं है। StringAttributeCollection.cs 57
• V3108 यह 'ToSting' (') विधि से' null 'वापस करने के लिए अनुशंसित नहीं है। StringAttributeCollection.cs 71

यहां हम 2 टुकड़े देख सकते हैं, जहां वर्तमान ToString कार्यान्वयन शून्य वापस आ सकता है । इस बिंदु पर, हम Microsoft द्वारा ToString पद्धति के कार्यान्वयन की सिफारिश को याद करेंगे। तो चलो docs.microsoft.com से परामर्श करें - " Object.ToString विधि ":

इनहेरिटर्स को नोट्स .... ToString के ओवरराइड () विधि को इन दिशानिर्देशों का पालन करना चाहिए:

• ....
• आपका ToString () ओवरराइड को खाली या अशक्त स्ट्रिंग नहीं लौटना चाहिए ।
• ....

यह वही है जिसके बारे में पीवीएस-स्टूडियो चेतावनी देता है। ऊपर दिए गए दो कोड अंश जो हम समस्या को पुन: उत्पन्न करने के लिए लिख रहे थे, अलग-अलग निकास बिंदु प्राप्त करते हैं - क्रमशः पहला और दूसरा शून्य रिटर्न अंक। चलो थोड़ा गहरा खोदें।

पहला मामला। काउंट StringCollection class का एक गुण है। चूंकि कोई तत्व नहीं जोड़े गए थे, गिनती == 0 , स्थिति गिनती <= 0 सत्य है, शून्य मान वापस आ गया है।

दूसरे मामले में हमने तत्व को जोड़ा, इसके लिए CommaDelimitedStringCollection.Add विधि का उपयोग किया।

 public new void Add(string value) { ThrowIfReadOnly(); ThrowIfContainsDelimiter(value); _modified = true; base.Add(value.Trim()); } 

चेक थ्रोइफ़ में सफल हैं ... विधि और तत्व को आधार संग्रह में जोड़ा गया है। तदनुसार, गणना मूल्य 1 हो जाता है। अब हम ToString विधि पर वापस आते हैं। अभिव्यक्ति का मूल्य गणना <= 0 - गलत है , इसलिए विधि वापस नहीं आती है और कोड निष्पादन जारी है। आंतरिक संग्रह का पता लगाया जाता है, स्ट्रिंग तत्व के उदाहरण में 2 तत्व जोड़े जाते हैं - एक खाली स्ट्रिंग और एक अल्पविराम। नतीजतन, यह पता चलता है कि sb में केवल अल्पविराम होता है, क्रमशः लंबाई गुण का मान बराबर होता है। अभिव्यक्ति का मान sb .Length> 0 सच है , घटाव और sb में लिखना। गति का प्रदर्शन किया जाता है, अब मान sb.Length 0. यह इस तथ्य की ओर जाता है कि शून्य मान फिर से विधि से वापस आ गया है।

अंक 15

अचानक, मुझे क्लास System.Configuration.ConfigurationProperty का उपयोग करने की लालसा हो गई। आइए एक पैरामीटर लेते हैं जिसमें सबसे अधिक पैरामीटर हैं:

 public ConfigurationProperty( string name, Type type, object defaultValue, TypeConverter typeConverter, ConfigurationValidatorBase validator, ConfigurationPropertyOptions options, string description); 

आइए अंतिम पैरामीटर का विवरण देखें:

 // description: // The description of the configuration entity. 

वही डॉक्स.माइकोलॉजी डॉट कॉम पर कंस्ट्रक्टर विवरण में लिखा गया है। खैर, आइए एक नजर डालते हैं कि इस पैरामीटर का उपयोग निर्माता के शरीर में कैसे किया जाता है:

 public ConfigurationProperty(...., string description) { ConstructorInit(name, type, options, validator, typeConverter); SetDefaultValue(defaultValue); } 

मानो या न मानो, पैरामीटर का उपयोग नहीं किया जाता है।

पीवीएस-स्टूडियो चेतावनी: V3117 कंस्ट्रक्टर पैरामीटर 'विवरण' का उपयोग नहीं किया जाता है। ConfigurationProperty.cs 62

शायद, कोड लेखक जानबूझकर इसका उपयोग नहीं करते हैं, लेकिन संबंधित पैरामीटर का वर्णन बहुत भ्रमित करने वाला है।

अंक 16

यहां एक और समान टुकड़ा है: स्वयं त्रुटि खोजने का प्रयास करें, मैं नीचे दिए गए निर्माता का कोड दे रहा हूं।

 internal SectionXmlInfo( string configKey, string definitionConfigPath, string targetConfigPath, string subPath, string filename, int lineNumber, object streamVersion, string rawXml, string configSource, string configSourceStreamName, object configSourceStreamVersion, string protectionProviderName, OverrideModeSetting overrideMode, bool skipInChildApps) { ConfigKey = configKey; DefinitionConfigPath = definitionConfigPath; TargetConfigPath = targetConfigPath; SubPath = subPath; Filename = filename; LineNumber = lineNumber; StreamVersion = streamVersion; RawXml = rawXml; ConfigSource = configSource; ConfigSourceStreamName = configSourceStreamName; ProtectionProviderName = protectionProviderName; OverrideModeSetting = overrideMode; SkipInChildApps = skipInChildApps; } 

पीवीएस-स्टूडियो चेतावनी: V3117 कंस्ट्रक्टर पैरामीटर 'configSourceStreamVersion' का उपयोग नहीं किया जाता है। सेक्शन XmlInfo.cs 16

एक उपयुक्त संपत्ति है, लेकिन स्पष्ट रूप से, यह थोड़ा अजीब लगता है:

 internal object ConfigSourceStreamVersion { set { } } 

आमतौर पर, कोड संदिग्ध लगता है। शायद संगतता के लिए पैरामीटर / संपत्ति छोड़ दी जाती है, लेकिन यह सिर्फ मेरा अनुमान है।

अंक 17

आइए System.Runtime.WindowsRuntime.UI.Xaml लाइब्रेरी और समान-नाम पैकेज कोड में दिलचस्प सामग्री पर एक नज़र डालें।

 public struct RepeatBehavior : IFormattable { .... public override string ToString() { return InternalToString(null, null); } .... } 

PVS- स्टूडियो चेतावनी: V3108 यह 'टॉसिंग' () विधि से 'null' वापस करने की अनुशंसा नहीं की जाती है। रिपीटबहेवियर। 113

परिचित कहानी जिसे हम पहले से ही जानते हैं - ToString विधि शून्य मान वापस कर सकती है। इसके कारण, कॉलर कोड के लेखक, जो मानते हैं कि RepBehavior.ToString हमेशा एक गैर-शून्य संदर्भ देता है, कुछ बिंदु पर अप्रिय रूप से आश्चर्यचकित हो सकता है। फिर से, यह Microsoft के दिशानिर्देशों का खंडन करता है।

ठीक है, लेकिन विधि यह स्पष्ट नहीं करती है कि ToString अशक्त हो सकती है - हमें इन्टरनलटॉस्ट्रिंग विधि में गहराई से जाने और झाँकने की आवश्यकता है।

 internal string InternalToString(string format, IFormatProvider formatProvider) { switch (_Type) { case RepeatBehaviorType.Forever: return "Forever"; case RepeatBehaviorType.Count: StringBuilder sb = new StringBuilder(); sb.AppendFormat( formatProvider, "{0:" + format + "}x", _Count); return sb.ToString(); case RepeatBehaviorType.Duration: return _Duration.ToString(); default: return null; } } 

विश्लेषक ने पता लगाया है कि यदि डिफ़ॉल्ट शाखा स्विच में निष्पादित होती है, तो इंटरनलटॉस्ट्रिंग अशक्त मान लौटाएगा। इसलिए, ToString भी अशक्त वापस आ जाएगी।

रिपीटबिहार एक सार्वजनिक संरचना है, और ToString एक सार्वजनिक विधि है, इसलिए हम व्यवहार में समस्या को पुन: प्रस्तुत करने का प्रयास कर सकते हैं। इसे करने के लिए, हम RepBehavior उदाहरण बनाएंगे, इसमें से ToString विधि को कॉल करेंगे और ऐसा करते समय हमें यह याद नहीं करना चाहिए कि _Type दोहराएँBehaviorType.Forever , दोहराएँBehaviorType.Count या repeatBehaviorType.Duration के बराबर नहीं होना चाहिए।

_प्रभु एक निजी क्षेत्र है, जिसे सार्वजनिक संपत्ति के माध्यम से सौंपा जा सकता है:

 public struct RepeatBehavior : IFormattable { .... private RepeatBehaviorType _Type; .... public RepeatBehaviorType Type { get { return _Type; } set { _Type = value; } } .... } 

अब तक, इतना अच्छा। चलिए आगे बढ़ते हैं और देखते हैं कि RepBehaviorType प्रकार क्या है।

 public enum RepeatBehaviorType { Count, Duration, Forever } 

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

समस्या को पुन: उत्पन्न करने के लिए हम System.Runtime.WindowsRuntime.UI.Xaml पैकेज का संदर्भ प्रोजेक्ट में जोड़ेंगे (मैं 4.3.0 संस्करण का उपयोग कर रहा था) और निम्नलिखित कोड को निष्पादित करता हूं।

 RepeatBehavior behavior = new RepeatBehavior() { Type = (RepeatBehaviorType)666 }; Console.WriteLine(behavior.ToString() is null); 

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

इसके अलावा, मैं यह नोट करना चाहूंगा कि न तो विधि के लिए टिप्पणी, न ही docs.microsoft.com निर्दिष्ट करता है कि विधि शून्य मान वापस कर सकती है।

अंक 18

इसके बाद, हम System.PStreet.DataContractSerialization से कई चेतावनियों की जाँच करेंगे।

 private static class CharType { public const byte None = 0x00; public const byte FirstName = 0x01; public const byte Name = 0x02; public const byte Whitespace = 0x04; public const byte Text = 0x08; public const byte AttributeText = 0x10; public const byte SpecialWhitespace = 0x20; public const byte Comment = 0x40; } private static byte[] s_charType = new byte[256] { .... CharType.None, /* 9 (.) */ CharType.None| CharType.Comment| CharType.Comment| CharType.Whitespace| CharType.Text| CharType.SpecialWhitespace, /* A (.) */ CharType.None| CharType.Comment| CharType.Comment| CharType.Whitespace| CharType.Text| CharType.SpecialWhitespace, /* B (.) */ CharType.None, /* C (.) */ CharType.None, /* D (.) */ CharType.None| CharType.Comment| CharType.Comment| CharType.Whitespace, /* E (.) */ CharType.None, .... }; 

पीवीएस-स्टूडियो चेतावनी:

• V3001 बाईं और '' के दाईं ओर समान उप-अभिव्यक्तियाँ 'CharType.Comment' हैं। ऑपरेटर। XmlUTF8TextReader.cs 56
• V3001 बाईं और '' के दाईं ओर समान उप-अभिव्यक्तियाँ 'CharType.Comment' हैं। ऑपरेटर। XmlUTF8TextReader.cs 58
• V3001 बाईं और '' के दाईं ओर समान उप-अभिव्यक्तियाँ 'CharType.Comment' हैं। ऑपरेटर। XmlUTF8TextReader.cs 64

विश्लेषक ने CharType.Comment | CharType.Comment अभिव्यक्ति का उपयोग संदिग्ध पाया। थोड़ा अजीब लगता है, जैसा (CharType.Comment | CharType.Comment) == CharType.Comment । अन्य सरणी तत्वों को आरम्भ करते समय, जो CharType.Comment का उपयोग करते हैं , ऐसा कोई दोहराव नहीं है।

अंक 19

चलिए जारी रखते हैं। आइए XmlBinaryWriterSession.TryAdd विधि के विवरण पर विधि विवरण और docs.microsoft.com पर जानकारी देखें - " XmlBinaryWriterSession.TryAdd (Xml retardString, Int32) विधि ": रिटर्न: अगर स्ट्रिंग को जोड़ा जा सकता है; अन्यथा, असत्य।

अब आइए विधि के शरीर में देखें:

 public virtual bool TryAdd(XmlDictionaryString value, out int key) { IntArray keys; if (value == null) throw System.Runtime .Serialization .DiagnosticUtility .ExceptionUtility .ThrowHelperArgumentNull(nameof(value)); if (_maps.TryGetValue(value.Dictionary, out keys)) { key = (keys[value.Key] - 1); if (key != -1) { // If the key is already set, then something is wrong throw System.Runtime .Serialization .DiagnosticUtility .ExceptionUtility .ThrowHelperError( new InvalidOperationException( SR.XmlKeyAlreadyExists)); } key = Add(value.Value); keys[value.Key] = (key + 1); return true; } key = Add(value.Value); keys = AddKeys(value.Dictionary, value.Key + 1); keys[value.Key] = (key + 1); return true; } 

पीवीएस-स्टूडियो चेतावनी: V3009 यह अजीब है कि यह विधि हमेशा एक और 'समान' मान का रिटर्न करती है। XmlBinaryWriterSession.cs 29

यह अजीब लगता है कि विधि या तो सच हो जाती है या अपवाद फेंक देती है, लेकिन गलत मूल्य कभी वापस नहीं आता है।

अंक 20

मैं एक समान समस्या के साथ कोड में आया था, लेकिन इस मामले में, इसके विपरीत - विधि हमेशा झूठी होती है :

 internal virtual bool OnHandleReference(....) { if (xmlWriter.depth < depthToCheckCyclicReference) return false; if (canContainCyclicReference) { if (_byValObjectsInScope.Contains(obj)) throw ....; _byValObjectsInScope.Push(obj); } return false; } 

PVS-Studio चेतावनी: V3009 यह विचित्र है कि यह विधि हमेशा एक और 'समान' मूल्य को वापस करती है। XmlObjectSerializerWriteContext.cs 415

खैर, हम पहले ही एक लंबा सफर तय कर चुके हैं! इसलिए आगे बढ़ने से पहले मेरा सुझाव है कि आपके पास एक छोटा ब्रेक है: अपनी मांसपेशियों को हिलाएं, चारों ओर घूमें, अपनी आंखों को आराम दें, खिड़की से बाहर देखें ...

मुझे उम्मीद है कि इस बिंदु पर आप फिर से ऊर्जा से भरे होंगे, तो चलिए जारी रखते हैं। :)

अंक 21

चलिए System.Security.Cryptography.Algorithms प्रोजेक्ट के कुछ आकर्षक अंशों की समीक्षा करते हैं।

 public override byte[] GenerateMask(byte[] rgbSeed, int cbReturn) { using (HashAlgorithm hasher = (HashAlgorithm)CryptoConfig.CreateFromName(_hashNameValue)) { byte[] rgbCounter = new byte[4]; byte[] rgbT = new byte[cbReturn]; uint counter = 0; for (int ib = 0; ib < rgbT.Length;) { // Increment counter -- up to 2^32 * sizeof(Hash) Helpers.ConvertIntToByteArray(counter++, rgbCounter); hasher.TransformBlock(rgbSeed, 0, rgbSeed.Length, rgbSeed, 0); hasher.TransformFinalBlock(rgbCounter, 0, 4); byte[] hash = hasher.Hash; hasher.Initialize(); Buffer.BlockCopy(hash, 0, rgbT, ib, Math.Min(rgbT.Length - ib, hash.Length)); ib += hasher.Hash.Length; } return rgbT; } } 

पीवीएस-स्टूडियो चेतावनी: V3080 संभावित अशक्तता । 'हैशर' का निरीक्षण करने पर विचार करें। PKCS1MaskGenerationMethod.cs 37

विश्लेषक चेतावनी देता है कि हैशर का मूल्यांकन करते समय हैशर चर का मूल्य शून्य हो सकता है । ट्रांसफ़्लॉक अभिव्यक्ति NullReferenceException प्रकार के अपवाद के परिणामस्वरूप होती है। यह चेतावनी की घटना अंतरप्रांतीय विश्लेषण के कारण संभव हो गई।

इसलिए यह पता लगाने के लिए कि क्या हैशर इस मामले में अशक्त मूल्य ले सकता है, हमें CreateFromName विधि में डुबकी लगाने की आवश्यकता है।

 public static object CreateFromName(string name) { return CreateFromName(name, null); } 

अब तक कुछ नहीं - चलो गहराई तक चलते हैं। दो मापदंडों के साथ ओवरलोडेड CreateFromName संस्करण का शरीर काफी बड़ा है, इसलिए मैं लघु संस्करण का हवाला देता हूं।

 public static object CreateFromName(string name, params object[] args) { .... if (retvalType == null) { return null; } .... if (cons == null) { return null; } .... if (candidates.Count == 0) { return null; } .... if (rci == null || typeof(Delegate).IsAssignableFrom(rci.DeclaringType)) { return null; } .... return retval; } 

जैसा कि आप देख सकते हैं, विधि में कई निकास बिंदु हैं जहां शून्य मान स्पष्ट रूप से वापस आ जाता है। इसलिए, कम से कम सैद्धांतिक रूप से, ऊपर की विधि में, जो एक चेतावनी को ट्रिगर करता है, NullReferenceException प्रकार का अपवाद हो सकता है।

सिद्धांत महान है, लेकिन व्यवहार में समस्या को पुन: उत्पन्न करने का प्रयास करते हैं। ऐसा करने के लिए, हम मूल विधि पर एक और नज़र डालेंगे और मुख्य बिंदुओं पर ध्यान देंगे। इसके अलावा, हम विधि से अप्रासंगिक कोड को कम कर देंगे।

 public class PKCS1MaskGenerationMethod : .... // <= 1 { .... public PKCS1MaskGenerationMethod() // <= 2 { _hashNameValue = DefaultHash; } .... public override byte[] GenerateMask(byte[] rgbSeed, int cbReturn) // <= 3 { using (HashAlgorithm hasher = (HashAlgorithm)CryptoConfig.CreateFromName(_hashNameValue)) // <= 4 { byte[] rgbCounter = new byte[4]; byte[] rgbT = new byte[cbReturn]; // <= 5 uint counter = 0; for (int ib = 0; ib < rgbT.Length;) // <= 6 { .... Helpers.ConvertIntToByteArray(counter++, rgbCounter); // <= 7 hasher.TransformBlock(rgbSeed, 0, rgbSeed.Length, rgbSeed, 0); .... } .... } } } 

आइए मुख्य बिंदुओं पर करीब से नज़र डालें:

1, 3 । क्लास और मेथड में पब्लिक एक्सेस मोडिफायर्स हैं। इसलिए, यह इंटरफ़ेस एक पुस्तकालय के संदर्भ को जोड़ते समय उपलब्ध है - हम इस मुद्दे को पुन: प्रस्तुत करने का प्रयास कर सकते हैं।

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

४ । CreateFromName बहुत जरूरी नहीं किसी भी अपवाद और बहुत जरूरी वापसी कथन उत्पन्न अशक्त महत्वपूर्ण बिंदु से होगा सबसे, <br> हम आपको वापस इसे पाने के बाद -।

५, ६ । की cbReturnमान> 0 होना चाहिए (लेकिन, निश्चित रूप से, किसी सरणी के सफल निर्माण के लिए पर्याप्त सीमा के भीतर)। CbReturn का अनुपालन > 0 स्थिति आगे की स्थिति ib <rgbT.Length को पूरा करने और लूप बॉडी में प्रवेश करने के लिए आवश्यक है ।

7 । Helpres.ConvertIntToByteArray अपवादों के बिना काम करना चाहिए।

उन शर्तों को पूरा करने के लिए जो विधि मापदंडों पर निर्भर करती हैं, उदाहरण के लिए, बस उपयुक्त तर्कों को पारित करना पर्याप्त है:

• rgbCeed - नई बाइट [] {0, 1, 2, 3};
• cbReturn - 42।

CryptoConfig.CreateFromName विधि को "बदनाम" करने के लिए , हमें _hashNameValue फ़ील्ड के मान को बदलने में सक्षम होने की आवश्यकता है । सौभाग्य से, हमारे पास यह है, क्योंकि वर्ग इस क्षेत्र के लिए एक आवरण संपत्ति को परिभाषित करता है:

 public string HashName { get { return _hashNameValue; } set { _hashNameValue = value ?? DefaultHash; } } 

HashName (यानी _hashNameValue) के लिए 'सिंथेटिक' मान सेट करके , हम उनके द्वारा चिह्नित किए गए पहले निकास बिंदु पर CreateFromName विधि से शून्य मान प्राप्त कर सकते हैं । मैं इस पद्धति का विश्लेषण करने के विवरण में नहीं जाऊंगा (आशा है कि आप मुझे इसके लिए क्षमा करेंगे), क्योंकि विधि काफी बड़ी है। नतीजतन, कोड जो NullReferenceException प्रकार के अपवाद को जन्म देगा , वह इस प्रकार दिख सकता है:

 PKCS1MaskGenerationMethod tempObj = new PKCS1MaskGenerationMethod(); tempObj.HashName = "Dummy"; tempObj.GenerateMask(new byte[] { 1, 2, 3 }, 42); 

अब हम डिबगिंग लाइब्रेरी का संदर्भ जोड़ते हैं, कोड चलाते हैं और अपेक्षित परिणाम प्राप्त करते हैं:

बस इसके मज़े के लिए, मैंने 4.3.1 संस्करण के NuGet पैकेज का उपयोग करके उसी कोड को निष्पादित करने का प्रयास किया।

जनरेट किए गए अपवादों की कोई जानकारी नहीं है, विधि विवरण में आउटपुट मापदंडों की सीमाएं हैं। Docs.microsoft.com PKCS1MaskGenerationMethod.GenerateMask (बाइट [], Int32) विधि "या तो इसे निर्दिष्ट नहीं करती है।

वैसे, लेख लिखते समय और समस्या को पुन: उत्पन्न करने के लिए कार्यों के क्रम का वर्णन करते हुए, मुझे 2 और तरीके मिले। इस विधि को "तोड़ें":

• cbReturn तर्क के रूप में बहुत बड़ा मान पास करें ;
• rgbSeed के रूप में शून्य मान पास करें ।

पहले मामले में, हमें OutOfMemoryException प्रकार का अपवाद मिलेगा ।

दूसरे मामले में, हम rgbSeed.Length अभिव्यक्ति को निष्पादित करते समय NullReferenceException प्रकार का अपवाद प्राप्त करेंगे । इस मामले में, यह महत्वपूर्ण है, उस हैशर का एक गैर-शून्य मान है। अन्यथा, नियंत्रण प्रवाह rgbSeed.Length को नहीं मिलेगा । अंक 22 मैं ऐसे ही कुछ स्थानों पर आया था।

 public class SignatureDescription { .... public string FormatterAlgorithm { get; set; } public string DeformatterAlgorithm { get; set; } public SignatureDescription() { } .... public virtual AsymmetricSignatureDeformatter CreateDeformatter( AsymmetricAlgorithm key) { AsymmetricSignatureDeformatter item = (AsymmetricSignatureDeformatter) CryptoConfig.CreateFromName(DeformatterAlgorithm); item.SetKey(key); // <= return item; } public virtual AsymmetricSignatureFormatter CreateFormatter( AsymmetricAlgorithm key) { AsymmetricSignatureFormatter item = (AsymmetricSignatureFormatter) CryptoConfig.CreateFromName(FormatterAlgorithm); item.SetKey(key); // <= return item; } .... } 

पीवीएस-स्टूडियो चेतावनी:

• V3080 संभव अशक्तता । 'आइटम' का निरीक्षण करने पर विचार करें। SignatureDescription.cs 31
• V3080 संभव अशक्तता । 'आइटम' का निरीक्षण करने पर विचार करें। SignatureDescription.cs 38

दोबारा, FormatterAl एल्गोरिदम और DeformatterAl एल्गोरिदम गुणों में हम ऐसे मान लिख सकते हैं, जिसके लिए CryptoConfig.CreateFromName विधि CreateDeformatter और CreateFormatter विधियों में शून्य मान लौटाते हैं । इसके अलावा, जब SetKey इंस्टेंस विधि को कॉल करते हैं , तो एक NullReferenceException अपवाद उत्पन्न होगा। समस्या, फिर से, व्यवहार में आसानी से पुन: पेश की जाती है:

 SignatureDescription signature = new SignatureDescription() { DeformatterAlgorithm = "Dummy", FormatterAlgorithm = "Dummy" }; signature.CreateDeformatter(null); // NRE signature.CreateFormatter(null); // NRE 

इस स्थिति में, जब CreateDeformatter को कॉल करने के साथ-साथ CreateFormatter को कॉल किया जाता है, तो NullReferenceException प्रकार का अपवाद फेंक दिया जाता है।

समस्या 23 सिस्टम System.Street.Xml प्रोजेक्ट

से दिलचस्प अंशों की समीक्षा करें ।

 public override void WriteBase64(byte[] buffer, int index, int count) { if (!_inAttr && (_inCDataSection || StartCDataSection())) _wrapped.WriteBase64(buffer, index, count); else _wrapped.WriteBase64(buffer, index, count); } 

PVS-Studio चेतावनी: V3004 'तत्कालीन' कथन 'और' कथन के बराबर है। QueryOutputWriterV1.cs 242

यह अजीब लगता है कि तब और यदि विवरण के अन्य शाखाओं में समान कोड होता है। या तो यहां एक त्रुटि है और एक शाखा में एक और कार्रवाई की जानी है, या यदि कथन छोड़ा जा सकता है। अंक 24

 internal void Depends(XmlSchemaObject item, ArrayList refs) { .... if (content is XmlSchemaSimpleTypeRestriction) { baseType = ((XmlSchemaSimpleTypeRestriction)content).BaseType; baseName = ((XmlSchemaSimpleTypeRestriction)content).BaseTypeName; } else if (content is XmlSchemaSimpleTypeList) { .... } else if (content is XmlSchemaSimpleTypeRestriction) { baseName = ((XmlSchemaSimpleTypeRestriction)content).BaseTypeName; } else if (t == typeof(XmlSchemaSimpleTypeUnion)) { .... } .... } 

पीवीएस-स्टूडियो चेतावनी: V3003 'if (A) {...} का उपयोग अगर (A) {...}' पैटर्न का पता चला। तार्किक त्रुटि उपस्थिति की संभावना है। चेक लाइनों: 381, 396. ImportContext.cs 381

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

अंक 25

अगली विधि में त्रुटि की खोज करने के लिए इसे और अधिक पेचीदा बनाने के लिए, मैं पूरे शरीर का हवाला दूंगा।

 public bool MatchesXmlType(IList<XPathItem> seq, int indexType) { XmlQueryType typBase = GetXmlType(indexType); XmlQueryCardinality card; switch (seq.Count) { case 0: card = XmlQueryCardinality.Zero; break; case 1: card = XmlQueryCardinality.One; break; default: card = XmlQueryCardinality.More; break; } if (!(card <= typBase.Cardinality)) return false; typBase = typBase.Prime; for (int i = 0; i < seq.Count; i++) { if (!CreateXmlType(seq[0]).IsSubtypeOf(typBase)) return false; } return true; } 

यदि आपने नकल की है - बधाई!
यदि नहीं - बचाव के लिए पीवीएस-स्टूडियो: एक लूप के अंदर निरंतर सूचकांक द्वारा 'seq' ऑब्जेक्ट के तत्व तक V3102 संदिग्ध पहुंच। XmlQueryRuntime.cs 738

के लिए पाश निष्पादित किया जाता है, अभिव्यक्ति मैं <seq.Count बाहर निकलने के हालत का साथ के रूप में प्रयुक्त किया जाता है। यह सुझाव देता है कि डेवलपर्स सीक्व अनुक्रम को बायपास करना चाहते हैं । लेकिन लूप में, लेखक काउंटर - seq [i] का उपयोग करके अनुक्रम तत्वों का उपयोग करते हैं , लेकिन एक संख्या शाब्दिक - शून्य ( seq [0] )।

समस्या 26

अगली त्रुटि कोड के एक छोटे टुकड़े में फिट होती है, लेकिन यह कम दिलचस्प नहीं है।

 public override void WriteValue(string value) { WriteValue(value); } 

PVS- स्टूडियो चेतावनी: V3110 'WriteValue' पद्धति के अंदर संभावित अनंत पुनरावृत्ति। XmlAttributeCache.cs 166

विधि खुद को कॉल करती है, जिससे बाहर निकलने की स्थिति के बिना पुनरावृत्ति होती है।

अंक 27

 public IList<XPathNavigator> DocOrderDistinct(IList<XPathNavigator> seq) { if (seq.Count <= 1) return seq; XmlQueryNodeSequence nodeSeq = (XmlQueryNodeSequence)seq; if (nodeSeq == null) nodeSeq = new XmlQueryNodeSequence(seq); return nodeSeq.DocOrderDistinct(_docOrderCmp); } 

PVS-Studio चेतावनी: V3095 नल के खिलाफ सत्यापित होने से पहले 'seq' ऑब्जेक्ट का उपयोग किया गया था। चेक लाइनें: 880, 884. XmlQueryRuntime.cs 880

विधि तर्क के रूप में शून्य मान प्राप्त कर सकती है। इसके कारण, काउंट प्रॉपर्टी को एक्सेस करते समय , NullReferenceException type का एक अपवाद जेनरेट किया जाएगा। चर के नीचे नोडसेक की जाँच की जाती है। नोडसेक को स्पष्ट सीक कास्टिंग के परिणामस्वरूप प्राप्त किया जाता है , फिर भी यह स्पष्ट नहीं है कि चेक क्यों होता है। यदि seq मान शून्य है , तो अपवाद के कारण नियंत्रण प्रवाह इस चेक को नहीं मिलेगा। यदि seq मान नहीं हैअशक्त , फिर:

• यदि कास्टिंग विफल रहता है, तो InvalidCastException प्रकार का एक अपवाद उत्पन्न होगा;
• यदि कास्टिंग सफल है, तो निश्चित रूप से नोडसैक शून्य नहीं है ।

समस्या 28

मैं 4 बिल्डरों के पार आया, जिसमें अप्रयुक्त पैरामीटर थे। शायद, उन्हें संगतता के लिए छोड़ दिया जाता है, लेकिन मुझे इन अप्रयुक्त मापदंडों पर कोई अतिरिक्त टिप्पणी नहीं मिली।

पीवीएस-स्टूडियो चेतावनी:

• V3117 कंस्ट्रक्टर पैरामीटर 'SecurityUrl' का उपयोग नहीं किया जाता है। XmlSecureResolver.cs 15
• V3117 कंस्ट्रक्टर पैरामीटर 'strdata' का उपयोग नहीं किया जाता है। XmlEntity.cs 18
• V3117 कंस्ट्रक्टर पैरामीटर 'स्थान' का उपयोग नहीं किया जाता है। संकलन .cs 58
• V3117 कंस्ट्रक्टर पैरामीटर 'एक्सेस' का उपयोग नहीं किया जाता है। XmlSerializationILGen.cs 38

पहले वाले ने मुझे सबसे ज्यादा दिलचस्पी दी (कम से कम, यह लेख के लिए चेतावनी की सूची में मिला)। क्या खास है? यकीन नहीं होता। शायद, इसका नाम।

 public XmlSecureResolver(XmlResolver resolver, string securityUrl) { _resolver = resolver; } 

बस हित के लिए, मैंने जाँच की कि docs.microsoft.com पर क्या लिखा गया है - " XmlSecureResolver Constructors " SecurityUrl पैरामीटर के बारे में :

URL जो PermissionSet बनाने के लिए उपयोग किया जाता है जो अंतर्निहित XmlResolver पर लागू होगा। XmlSecureResolver अंतर्निहित XmlResolver पर GetEntity (Uri, स्ट्रिंग, टाइप) को कॉल करने से पहले PermitOnly () बनाए गए PermissionSet पर कॉल करता है।

अंक 29

में से System.Private.Uri पैकेज नहीं मिला विधि, की! मैं जो निम्नलिखित बिल्कुल नहीं था पर Microsoft दिशा निर्देशों ToString विधि अधिभावी। यहां हमें पृष्ठ " Object.ToString विधि " से युक्तियों में से एक को याद करने की आवश्यकता है :आपके ToString () ओवरराइड को अपवाद नहीं फेंकना चाहिए ।

ओवरराइड विधि स्वयं इस तरह दिखती है:

 public override string ToString() { if (_username.Length == 0 && _password.Length > 0) { throw new UriFormatException(SR.net_uri_BadUserPassword); } .... } 

PVS-Studio चेतावनी: V3108 यह 'ToSting ()' विधि से अपवादों को फेंकने की अनुशंसा नहीं है। UriBuilder.cs 406

कोड पहली बार _username फ़ील्ड के लिए एक रिक्त स्ट्रिंग सेट करता है और सार्वजनिक गुण UserName और पासवर्ड के माध्यम से क्रमशः _password फ़ील्ड के लिए एक ग़ैर-रिक्त है । इसके बाद इसे ToString विधि कहते हैं। आखिरकार इस कोड को एक अपवाद मिलेगा। ऐसे कोड का एक उदाहरण:

 UriBuilder uriBuilder = new UriBuilder() { UserName = String.Empty, Password = "Dummy" }; String stringRepresentation = uriBuilder.ToString(); Console.WriteLine(stringRepresentation); 

लेकिन इस मामले में डेवलपर्स ईमानदारी से चेतावनी देते हैं कि कॉल करने के परिणामस्वरूप अपवाद हो सकता है। यह विधि और docs.microsoft.com पर टिप्पणियों में वर्णित है - " UriBuilder.ToString विधि "।

समस्या 30

, System.Data.Common प्रोजेक्ट कोड पर जारी चेतावनियों को देखें ।

 private ArrayList _tables; private DataTable GetTable(string tableName, string ns) { .... if (_tables.Count == 0) return (DataTable)_tables[0]; .... } 

पीवीएस-स्टूडियो चेतावनी: V3106 संभवतः सूचकांक बाध्य है। '0' इंडेक्स '_tables' बाउंड से परे इंगित कर रहा है। XMLDiffLoader.cs 277

क्या कोड का यह टुकड़ा असामान्य दिखता है? आपको क्या लगता है यह क्या है? ArgumentOutOfRangeException type का अपवाद उत्पन्न करने का एक असामान्य तरीका ? मुझे इस दृष्टिकोण से आश्चर्य नहीं होगा। कुल मिलाकर, यह बहुत ही अजीब और संदिग्ध कोड है।

अंक 31

 internal XmlNodeOrder ComparePosition(XPathNodePointer other) { RealFoliate(); other.RealFoliate(); Debug.Assert(other != null); .... } 

PVS- स्टूडियो चेतावनी: V3095 'अन्य' ऑब्जेक्ट का उपयोग इससे पहले कि यह अशक्त के खिलाफ सत्यापित किया गया था। लाइनों की जाँच करें: 1095, 1096. XPathNodePointer.cs 1095

अभिव्यक्ति की अन्य = अशक्त! का एक तर्क के रूप में Debug.Assert विधि का सुझाव देता है, यही कारण है कि ComparePosition विधि प्राप्त कर सकते हैं अशक्त एक तर्क के साथ के रूप में मूल्य का। कम से कम, ऐसे मामलों को पकड़ने का इरादा था। लेकिन एक ही समय में, अन्य. RealFoliate आवृत्ति विधि के ऊपर की रेखा को कहा जाता है। परिणामस्वरूप, यदि अन्य में अशक्त मान है, तो NullReferenceException प्रकार का अपवाद Assert के माध्यम से जाँच करने से पहले उत्पन्न किया जाएगा ।

अंक 32

 private PropertyDescriptorCollection GetProperties(Attribute[] attributes) { .... foreach (Attribute attribute in attributes) { Attribute attr = property.Attributes[attribute.GetType()]; if ( (attr == null && !attribute.IsDefaultAttribute()) || !attr.Match(attribute)) { match = false; break; } } .... } 

पीवीएस-स्टूडियो चेतावनी: V3080 संभावित अशक्तता । 'अटर' का निरीक्षण करने पर विचार करें। DbConnectionStringBuilder.cs 534 यदि कथन

की सशर्त अभिव्यक्ति काफी संदिग्ध लगती है। मिलान एक उदाहरण विधि है। चेक अटर == नल के अनुसार , अशक्त इस चर के लिए स्वीकार्य (अपेक्षित) मूल्य है। इसलिए, यदि नियंत्रण प्रवाह सही ऑपरेंड के लिए जाता है || ऑपरेटर (यदि attr - null ), हमें NullReferenceException प्रकार का अपवाद मिलेगा । तदनुसार, अपवाद घटना की शर्तें निम्नलिखित हैं:

1. The value of attr — null . The right operand of the && operator is evaluated.
2. The value of !attribute.IsDefaultAttribute() — false . The overall result of the expression with the && operator — false .
3. Since the left operand of the || operator is of the false value, the right operand is evaluated.
4. Since attr — null , when calling the Match method, an exception is generated.

Issue 33

 private int ReadOldRowData( DataSet ds, ref DataTable table, ref int pos, XmlReader row) { .... if (table == null) { row.Skip(); // need to skip this element if we dont know about it, // before returning -1 return -1; } .... if (table == null) throw ExceptionBuilder.DiffgramMissingTable( XmlConvert.DecodeName(row.LocalName)); .... } 

पीवीएस-स्टूडियो चेतावनी: V3021 समान सशर्त अभिव्यक्तियों के साथ दो 'यदि' कथन हैं। पहले 'if' स्टेटमेंट में मेथड रिटर्न होता है। इसका मतलब है कि दूसरा 'अगर' बयान बेहोश XMLDiffLoader.cs है 301

वहाँ दो दो कर रहे हैं अगर - बयान, बराबर अभिव्यक्ति युक्त तालिका == बातिल । उस के साथ, फिर इन कथनों की शाखाओं में अलग-अलग क्रियाएं होती हैं - पहले मामले में, विधि -1 से बाहर निकलती है, दूसरे में - एक अपवाद उत्पन्न होता है। दॅ तालिका चर जांचों के बीच के लिए नहीं बदला है। इस प्रकार, माना गया अपवाद उत्पन्न नहीं होगा।

समस्या 34 System.ComponentModel

से दिलचस्प विधि देखें ।TypeConverterपरियोजना। ठीक है, चलो पहले टिप्पणी पढ़ते हैं, इसका वर्णन करते हैं:

स्वरूपित स्ट्रिंग से अंतिम वर्ण को निकालता है। (वर्चुअल स्ट्रिंग में अंतिम वर्ण निकालें)। बाहर निकलने पर परम में वह स्थिति होती है जहां ऑपरेशन वास्तव में किया गया था। यह स्थिति परीक्षण स्ट्रिंग के सापेक्ष है। MaskedTextResultHint out param ऑपरेशन के परिणाम के बारे में अधिक जानकारी देता है। सफलता पर सच लौटाता है , अन्यथा गलत ।

वापसी मूल्य पर मुख्य बिंदु: यदि कोई ऑपरेशन सफल होता है, तो विधि सही हो जाती है , अन्यथा - गलत । आइए देखें कि वास्तव में क्या होता है।

 public bool Remove(out int testPosition, out MaskedTextResultHint resultHint) { .... if (lastAssignedPos == INVALID_INDEX) { .... return true; // nothing to remove. } .... return true; } 

पीवीएस-स्टूडियो चेतावनी: V3009 यह अजीब है कि यह विधि हमेशा एक और 'समान' मान का रिटर्न करती है। MaskedTextProvider.cs 1529

वास्तव में, यह पता चला है कि विधि का एकमात्र वापसी मूल्य सच है ।

अंक 35

 public void Clear() { if (_table != null) { .... } if (_table.fInitInProgress && _delayLoadingConstraints != null) { .... } .... } 

PVS-Studio चेतावनी: V3125 '_table' ऑब्जेक्ट का उपयोग तब किया गया था जब इसे null के खिलाफ सत्यापित किया गया था। चेक लाइन्स: 437, 423. ConstraintCollection.cs 437

The _table! = Null चेक खुद के लिए बोलता है - _table वेरिएबल में शून्य मान हो सकता है। कम से कम, इस मामले में कोड लेखकों को पुनर्बीमा मिलता है। हालांकि, वे उदाहरण के लिए पता नीचे के माध्यम से क्षेत्र _table लेकिन के लिए चेक के बिना अशक्त - _table .fInitInProgress ।

अंक 36

आइए अब कई चेतावनी, के लिए, के नीचे दिए गए कोड जारी करने पर विचार करें System.Runtime.Serialization.Formatters परियोजना।

 private void Write(....) { .... if (memberNameInfo != null) { .... _serWriter.WriteObjectEnd(memberNameInfo, typeNameInfo); } else if ((objectInfo._objectId == _topId) && (_topName != null)) { _serWriter.WriteObjectEnd(topNameInfo, typeNameInfo); .... } else if (!ReferenceEquals(objectInfo._objectType, Converter.s_typeofString)) { _serWriter.WriteObjectEnd(typeNameInfo, typeNameInfo); } } 

पीवीएस-स्टूडियो चेतावनी: V3038 तर्क कई बार विधि के लिए पारित किया गया था। यह संभव है कि इसके बजाय अन्य तर्क पारित किया जाना चाहिए। BinaryObjectWriter.cs 262

विश्लेषक को अंतिम कॉल _serWriter.WriteObjectEnd द्वारा दो समान तर्क - typeNameInfo के साथ भ्रमित किया गया था । यह एक टाइपो की तरह दिखता है, लेकिन मैं निश्चित रूप से नहीं कह सकता। मैंने यह जांचने का निर्णय लिया कि कैलीलेओऑबजेक्ट ईंड विधि क्या है ।

 internal void WriteObjectEnd(NameInfo memberNameInfo, NameInfo typeNameInfo) { } 

अच्छा ... चलो आगे बढ़ते हैं। :)

अंक 37

 internal void WriteSerializationHeader( int topId, int headerId, int minorVersion, int majorVersion) { var record = new SerializationHeaderRecord( BinaryHeaderEnum.SerializedStreamHeader, topId, headerId, minorVersion, majorVersion); record.Write(this); } 

इस कोड की समीक्षा करते समय, मैं एक बार नहीं कहूंगा कि यहां क्या गलत है या क्या संदिग्ध है। लेकिन विश्लेषक अच्छी तरह से कह सकते हैं कि बात क्या है।

PVS-Studio चेतावनी: V3066 संभावित गलत आदेश 'SerializationHeaderRecord' कंस्ट्रक्टर को पारित कर दिया: 'minorVersion' और 'majorVersion'। BinaryFormatterWriter.cs 111 SerializationHeaderRecord वर्ग

के कैली कंस्ट्रक्टर को देखें ।

 internal SerializationHeaderRecord( BinaryHeaderEnum binaryHeaderEnum, int topId, int headerId, int majorVersion, int minorVersion) { _binaryHeaderEnum = binaryHeaderEnum; _topId = topId; _headerId = headerId; _majorVersion = majorVersion; _minorVersion = minorVersion; } 

जैसा कि हम देख सकते हैं, कंस्ट्रक्टर के पैरामीटर ऑर्डर मेजरवेशन , माइनॉरवेशन में अनुसरण करते हैं ; कंस्ट्रक्टर को बुलाते समय वे इस क्रम में पारित हो जाते हैं: माइनॉरवेशन , मेजरवर्सन । एक टाइपो की तरह लगता है। मामले में यह जानबूझकर किया गया था (अगर क्या?) - मुझे लगता है कि इसके लिए एक अतिरिक्त टिप्पणी की आवश्यकता होगी।

अंक 38

 internal ObjectManager( ISurrogateSelector selector, StreamingContext context, bool checkSecurity, bool isCrossAppDomain) { _objects = new ObjectHolder[DefaultInitialSize]; _selector = selector; _context = context; _isCrossAppDomain = isCrossAppDomain; } 

PVS-Studio चेतावनी: V3117 कंस्ट्रक्टर पैरामीटर 'checkSecurity' का उपयोग नहीं किया जाता है। ObjectManager.cs 33 कंस्ट्रक्टर

का चेकसिक्योरिटी पैरामीटर किसी भी तरह से उपयोग नहीं किया जाता है। उस पर कोई टिप्पणी नहीं है। मुझे लगता है कि यह संगतता के लिए छोड़ दिया गया है, लेकिन वैसे भी, हाल ही में सुरक्षा बातचीत के संदर्भ में, यह दिलचस्प लग रहा है।

समस्या 39

यहाँ वह कोड है जो मुझे असामान्य लगा। पैटर्न तीनों ज्ञात मामलों में एक और समान दिखता है और समान नाम और चर नामों के साथ तरीकों में स्थित है। नतीजतन:

• या तो मैं इस तरह के दोहराव के उद्देश्य को प्राप्त करने के लिए प्रबुद्ध नहीं हूं;
• या कॉपी-पेस्ट विधि द्वारा त्रुटि फैलाई गई थी।

कोड ही:

 private void EnlargeArray() { int newLength = _values.Length * 2; if (newLength < 0) { if (newLength == int.MaxValue) { throw new SerializationException(SR.Serialization_TooManyElements); } newLength = int.MaxValue; } FixupHolder[] temp = new FixupHolder[newLength]; Array.Copy(_values, 0, temp, 0, _count); _values = temp; } 

पीवीएस-स्टूडियो चेतावनी:

• V3022 अभिव्यक्ति 'newLength == int.MaxValue' हमेशा झूठी है। ObjectManager.cs 1423
• V3022 अभिव्यक्ति 'newLength == int.MaxValue' हमेशा झूठी है। ObjectManager.cs 1511
• V3022 अभिव्यक्ति 'newLength == int.MaxValue' हमेशा झूठी है। ObjectManager.cs 1558

अन्य तरीकों में जो अलग है वह अस्थायी सरणी तत्वों ( फिक्सअपहोलर नहीं , बल्कि लॉन्ग या ऑब्जेक्ट ) का प्रकार है। इसलिए मुझे अभी भी कॉपी-पेस्ट का संदेह है ... System.Data.Odbc प्रोजेक्ट से

समस्या 40

कोड ।

 public string UnquoteIdentifier(....) { .... if (!string.IsNullOrEmpty(quotePrefix) || quotePrefix != " ") { .... } .... } 

पीवीएस-स्टूडियो चेतावनी: V3022 एक्सप्रेशन '! String.IsNullOrEmpty (quotePrefix) || quotPrefix! = "" "हमेशा सत्य होता है। OdbcCommandBuilder.cs 338

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

हमारे पास || ऑपरेटर, इसलिए अभिव्यक्ति का मूल्य सही होगा , यदि बाएं या दाएं (या दोनों) ऑपरेंड का सही मूल्य होगा। यह बाईं ओर के साथ सब स्पष्ट है। दाएं का मूल्यांकन केवल उस स्थिति में किया जाएगा जब बाईं ओर झूठ हैमूल्य। इसका मतलब है, यदि अभिव्यक्ति इस तरह से बनाई गई है कि सही ऑपरेंड का मूल्य हमेशा सही होता है जब बाईं ओर का मान गलत होता है , तो पूरी अभिव्यक्ति का परिणाम स्थायी रूप से सही होगा ।

ऊपर दिए गए कोड से हम जानते हैं कि यदि सही ऑपरेंड का मूल्यांकन किया जाता है, तो अभिव्यक्ति स्ट्रिंग का मान। INNOOEEpty (quotPrefix) - सच है , इसलिए इनमें से एक कथन सत्य है:

• quotPrefix == null ;
• quotPrefix.Length == 0 ।

यदि इन कथनों में से कोई एक सत्य है, तो अभिव्यक्ति उद्धरणप्रेम! = "" भी सत्य होगा, जिसे हम सिद्ध करना चाहते थे। मतलब यह है कि संपूर्ण अभिव्यक्ति का मूल्य हमेशा सही होता है , भले ही बोलीप्रिफ़िक्स सामग्री हो।

समस्या 41

अप्रयुक्त मापदंडों वाले कंस्ट्रक्टरों में वापस जाना:

 private sealed class PendingGetConnection { public PendingGetConnection( long dueTime, DbConnection owner, TaskCompletionSource<DbConnectionInternal> completion, DbConnectionOptions userOptions) { DueTime = dueTime; Owner = owner; Completion = completion; } public long DueTime { get; private set; } public DbConnection Owner { get; private set; } public TaskCompletionSource<DbConnectionInternal> Completion { get; private set; } public DbConnectionOptions UserOptions { get; private set; } } 

PVS-Studio चेतावनी: V3117 कंस्ट्रक्टर पैरामीटर 'userOptions' का उपयोग नहीं किया गया है। DbConnectionPool.cs 26

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

समस्या 42

एक संदिग्ध कोड है, जिसे हम 2 बार भर चुके हैं। पैटर्न एक ही है।

 private DataTable ExecuteCommand(....) { .... foreach (DataRow row in schemaTable.Rows) { resultTable.Columns .Add(row["ColumnName"] as string, (Type)row["DataType"] as Type); } .... } 

पीवीएस-स्टूडियो चेतावनी:

• V3051 एक अत्यधिक प्रकार की डाली। ऑब्जेक्ट पहले से ही 'टाइप' प्रकार का है। DbMetaDataFactory.cs 176
• V3051 एक अत्यधिक प्रकार की डाली। ऑब्जेक्ट पहले से ही 'टाइप' प्रकार का है। OdbcMetaDataFactory.cs 1109

अभिव्यक्ति (प्रकार) पंक्ति ["DataType"] के रूप में प्रकार संदिग्ध लग रहा है। सबसे पहले, के प्रदर्शन किया स्पष्ट कास्टिंग होगा, के बाद यही कारण है कि - के माध्यम से कास्टिंग के साथ के रूप में ऑपरेटर की। यदि मान पंक्ति ["डेटा टाइप"] - अशक्त है, तो यह सफलतापूर्वक दोनों कास्टिंग के माध्यम से 'पास' होगा और ऐड पद्धति के लिए एक तर्क के रूप में करेगा । यदि पंक्ति ["DataType"] मान लौटाता है, जिसे टाइप प्रकार में नहीं डाला जा सकता है , तो InvalidCastException प्रकार का अपवाद स्पष्ट कास्ट के दौरान उत्पन्न होगा। अंत में, हमें यहां दो कास्टिंग की आवश्यकता क्यों है? सवाल खुला है।

अंक 43

आइए संदिग्ध टुकड़े को देखेंSystem.Runtime.InteropServices.RuntimeInformation ।

 public static string FrameworkDescription { get { if (s_frameworkDescription == null) { string versionString = (string)AppContext.GetData("FX_PRODUCT_VERSION"); if (versionString == null) { .... versionString = typeof(object).Assembly .GetCustomAttribute< AssemblyInformationalVersionAttribute>() ?.InformationalVersion; .... int plusIndex = versionString.IndexOf('+'); .... } .... } .... } } 

PVS-Studio चेतावनी: V3105 ' versionString ' वैरिएबल का उपयोग तब किया गया था जब इसे null- सशर्त ऑपरेटर के माध्यम से सौंपा गया था। NullReferenceException संभव है। RuntimeInformation.cs 29

विश्लेषक के के अपवाद के द्वारा एक संभावित के बारे में चेतावनी एक NullReferenceException प्रकार जब बुलाने की indexOf के लिए विधि VersionString चर। एक चर के लिए मूल्य प्राप्त करते समय, कोड लेखक '?' का उपयोग करते हैं। InfromationalVersion गुण तक पहुँचने पर ऑपरेटर NullReferenceException अपवाद से बचने के लिए । यही कारण है कि अगर की कॉल की चाल है GetCustomAttribute <...> रिटर्न अशक्तएक अपवाद अभी भी उत्पन्न होगा, लेकिन नीचे - जब IndexOf विधि को कॉल करना , जैसा कि वर्जनस्ट्रिंग में शून्य मान होगा।

समस्या 44

आइए System.ComponentModel.Composition प्रोजेक्ट को संबोधित करते हैं और कई चेतावनियों के माध्यम से देखते हैं। निम्नलिखित कोड के लिए दो चेतावनी जारी की गई थीं:

 public static bool CanSpecialize(....) { .... object[] genericParameterConstraints = ....; GenericParameterAttributes[] genericParameterAttributes = ....; // if no constraints and attributes been specifed, anything can be created if ((genericParameterConstraints == null) && (genericParameterAttributes == null)) { return true; } if ((genericParameterConstraints != null) && (genericParameterConstraints.Length != partArity)) { return false; } if ((genericParameterAttributes != null) && (genericParameterAttributes.Length != partArity)) { return false; } for (int i = 0; i < partArity; i++) { if (!GenericServices.CanSpecialize( specialization[i], (genericParameterConstraints[i] as Type[]). CreateTypeSpecializations(specialization), genericParameterAttributes[i])) { return false; } } return true; } 

पीवीएस-स्टूडियो चेतावनी:

• V3125 शून्य के खिलाफ सत्यापित होने के बाद 'जेनेरिकपैरमीटरकॉस्ट्रेन्ट्स' ऑब्जेक्ट का उपयोग किया गया था। चेक लाइनें: 603, 589. जेनेरिक स्पेशलाइज़ेशनपार्टक्रियनइन्फो.फॉर्म्स 603
• V3125 शून्य के खिलाफ सत्यापित होने के बाद 'जेनेरिकपैरेट एट्रिब्यूट्स' ऑब्जेक्ट का उपयोग किया गया था। चेक लाइनें: 604, 594. जेनेरिक स्पेशलाइज़ेशनपार्टक्रियनइन्फो.फॉर्म्स 604

कोड में जेनेरिकपैरेटरीएट्यूएंट्स के चेक हैं ! = Null और जेनेरिकपैरमीटरचेस्ट्रेन्ट्स! = = मुल । इसलिए, इन चर के लिए शून्य - स्वीकार्य मान, हम इसे ध्यान में रखेंगे। यदि दोनों चर में शून्य मान है, तो हम इस विधि से बाहर निकलेंगे, कोई सवाल नहीं। क्या होगा अगर ऊपर वर्णित दो चर में से एक शून्य है , लेकिन ऐसा करने में हम विधि से बाहर नहीं निकलते हैं? यदि ऐसा मामला संभव है और क्रियान्वयन लूप ट्रेस करने के लिए हो जाता है, तो हमें NullReferenceException प्रकार का अपवाद मिलेगा ।

अंक 45

आगे हम इस परियोजना से एक और दिलचस्प चेतावनी की ओर बढ़ेंगे। और हालांकि, चलो कुछ अलग करते हैं - पहले हम फिर से कक्षा का उपयोग करेंगे, और फिर कोड देखेंगे। अगला, हम प्रोजेक्ट में अंतिम उपलब्ध प्रीलेरेज़ संस्करण के समान-नाम NuGet पैकेज का संदर्भ जोड़ेंगे (मैंने संस्करण 4.6.0-पूर्वावलोकन 6.19303.8 का पैकेज स्थापित किया है)। उदाहरण के लिए, सरल कोड लिखें:

 LazyMemberInfo lazyMemberInfo = new LazyMemberInfo(); var eq = lazyMemberInfo.Equals(null); Console.WriteLine(eq); 

के बराबर विधि टिप्पणी नहीं है, मैं का केवल .NET फ्रेमवर्क के लिये docs.microsoft.com एटी नेट कोर के लिए इस विधि का वर्णन नहीं मिला। यदि हम इसे देखते हैं (" LazyMemberInfo.Equals (Object) Method ") - तो हमें कुछ भी विशेष नहीं दिखेगा कि यह सही है या गलत , रिटर्न जेनरेट किए गए अपवादों की कोई जानकारी नहीं है। हम कोड निष्पादित करेंगे और देखेंगे:

हम थोड़ा मुड़ सकते हैं और निम्नलिखित कोड लिख सकते हैं और दिलचस्प आउटपुट भी प्राप्त कर सकते हैं:

 LazyMemberInfo lazyMemberInfo = new LazyMemberInfo(); var eq = lazyMemberInfo.Equals(typeof(String)); Console.WriteLine(eq); 

कोड निष्पादन का परिणाम।

दिलचस्प है, ये दोनों अपवाद एक ही अभिव्यक्ति में उत्पन्न होते हैं। आइए इनसिडेट बराबरी विधि देखें।

 public override bool Equals(object obj) { LazyMemberInfo that = (LazyMemberInfo)obj; // Difefrent member types mean different members if (_memberType != that._memberType) { return false; } // if any of the lazy memebers create accessors in a delay-loaded fashion, // we simply compare the creators if ((_accessorsCreator != null) || (that._accessorsCreator != null)) { return object.Equals(_accessorsCreator, that._accessorsCreator); } // we are dealing with explicitly passed accessors in both cases if(_accessors == null || that._accessors == null) { throw new Exception(SR.Diagnostic_InternalExceptionMessage); } return _accessors.SequenceEqual(that._accessors); } 

PVS-Studio चेतावनी: V3115 'null' को 'बराबर' पद्धति से 'NullReferenceException' में परिणामित नहीं किया जाना चाहिए। LazyMemberInfo.cs 116

वास्तव में इस मामले में विश्लेषक ने थोड़ा पेंच किया, क्योंकि इसने that._memberType अभिव्यक्ति के लिए एक चेतावनी जारी की थी । हालाँकि, एक्सप्रेशन निष्पादित करने से पहले अपवाद होते हैं (LazyMemberInfo) obj । हमने पहले ही इसका नोट बना लिया है।

मुझे लगता है कि यह सभी InvalidCastException के साथ स्पष्ट है । NullReferenceException क्यों उत्पन्न होती है? तथ्य यह है कि LazyMemberInfo एक संरचना है, इसलिए, यह अनबॉक्स हो जाता है। के अशक्त मूल्य unboxing सुविधा की, बारी-बारी,NullReferenceException के अपवाद की घटना की ओर जाता हैटाइप करें। इसके अलावा टिप्पणियों में टाइपस की एक जोड़ी है - लेखकों को शायद उन्हें ठीक करना चाहिए। एक स्पष्ट अपवाद फेंकना अभी भी लेखकों के हाथ में है।

समस्या 46

वैसे, मैं System.Drawing.Common में एक समान मामले में आया TriState संरचना में।

 public override bool Equals(object o) { TriState state = (TriState)o; return _value == state._value; } 

PVS-Studio चेतावनी: V3115 'null' को 'बराबर' पद्धति से 'NullReferenceException' में परिणामित नहीं किया जाना चाहिए। TriState.cs 53

समस्याएं ऊपर बताए गए मामले की तरह ही हैं।

समस्या 47 System.Text.Json

से कई अंशों पर विचार करें । मैंने लिखा की मुझे याद है कि ToString एक बयान वापस नहीं आना चाहिए अशक्त ? इस ज्ञान को ठोस करने का समय।

 public override string ToString() { switch (TokenType) { case JsonTokenType.None: case JsonTokenType.Null: return string.Empty; case JsonTokenType.True: return bool.TrueString; case JsonTokenType.False: return bool.FalseString; case JsonTokenType.Number: case JsonTokenType.StartArray: case JsonTokenType.StartObject: { // null parent should have hit the None case Debug.Assert(_parent != null); return _parent.GetRawValueAsString(_idx); } case JsonTokenType.String: return GetString(); case JsonTokenType.Comment: case JsonTokenType.EndArray: case JsonTokenType.EndObject: default: Debug.Fail($"No handler for {nameof(JsonTokenType)}.{TokenType}"); return string.Empty; } } 

पहली नजर में, यह विधि अशक्त नहीं है , लेकिन विश्लेषक का तर्क है। PVS-

स्टूडियो चेतावनी: V3108 यह 'टॉसिंग' () विधि से 'null' वापस करने की अनुशंसा नहीं की जाती है। JsonElement.cs 1460 गेटस्ट्रिंग () विधि

को कॉल करने के साथ विश्लेषक लाइन को इंगित करता है । इस पर एक नजर डालते हैं।

 public string GetString() { CheckValidInstance(); return _parent.GetString(_idx, JsonTokenType.String); } 

गेटस्ट्रिंग विधि के अतिभारित संस्करण में गहराई तक चलते हैं :

 internal string GetString(int index, JsonTokenType expectedType) { .... if (tokenType == JsonTokenType.Null) { return null; } .... } 

इस स्थिति को देखने के ठीक बाद, जिसके निष्पादन का परिणाम शून्य मान होगा - इस पद्धति और ToString दोनों से, जिसे हमने शुरू में माना था।

अंक 48

एक और दिलचस्प अंश:

 internal JsonPropertyInfo CreatePolymorphicProperty(....) { JsonPropertyInfo runtimeProperty = CreateProperty(property.DeclaredPropertyType, runtimePropertyType, property.ImplementedPropertyType, property?.PropertyInfo, Type, options); property.CopyRuntimeSettingsTo(runtimeProperty); return runtimeProperty; } 

पीवीएस-स्टूडियो चेतावनी: V3042 संभावित NullReferenceException। '?' और '' ऑपरेटरों के सदस्यों तक पहुँचने के लिए उपयोग किया जाता है 'संपत्ति' वस्तु JsonClassInfo.AddProperty.cs 179

जब फोन करने के लिए CreateProperty विधि, गुण चर के माध्यम से कई टाइम्स भेजा जाता है संपत्ति : property.DeclaredPropertyType , property.ImplementedPropertyType , संपत्ति .PropertyInfo? । जैसा कि आप देख सकते हैं, एक मामले में कोड लेखक '?' का उपयोग करते हैं। ऑपरेटर।यदि यह यहां से बाहर नहीं है और संपत्ति का शून्य मान हो सकता है, तो यह ऑपरेटर किसी भी मदद का नहीं होगा, क्योंकि NullReferenceException प्रकार के अपवाद को प्रत्यक्ष पहुंच के साथ उत्पन्न किया जाएगा।

समस्या 49 सिस्टम System.ecurity.Cryptography.Xml प्रोजेक्ट

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

 public void Write(StringBuilder strBuilder, DocPosition docPos, AncestralNamespaceContextManager anc) { docPos = DocPosition.BeforeRootElement; foreach (XmlNode childNode in ChildNodes) { if (childNode.NodeType == XmlNodeType.Element) { CanonicalizationDispatcher.Write( childNode, strBuilder, DocPosition.InRootElement, anc); docPos = DocPosition.AfterRootElement; } else { CanonicalizationDispatcher.Write(childNode, strBuilder, docPos, anc); } } } 

दूसरा टुकड़ा।

 public void WriteHash(HashAlgorithm hash, DocPosition docPos, AncestralNamespaceContextManager anc) { docPos = DocPosition.BeforeRootElement; foreach (XmlNode childNode in ChildNodes) { if (childNode.NodeType == XmlNodeType.Element) { CanonicalizationDispatcher.WriteHash( childNode, hash, DocPosition.InRootElement, anc); docPos = DocPosition.AfterRootElement; } else { CanonicalizationDispatcher.WriteHash(childNode, hash, docPos, anc); } } } 

पीवीएस-स्टूडियो चेतावनी:

• V3061 पैरामीटर 'docPos' हमेशा उपयोग किए जाने से पहले विधि निकाय में फिर से लिखा जाता है। CanonicalXmlDocument.cs 37
• V3061 पैरामीटर 'docPos' हमेशा उपयोग किए जाने से पहले विधि निकाय में फिर से लिखा जाता है। CanonicalXmlDocument.cs 54

दोनों विधियों में docPos पैरामीटर को उसके मूल्य का उपयोग करने से पहले अधिलेखित कर दिया जाता है। इसलिए, विधि तर्क के रूप में उपयोग किए जाने वाले मान को केवल अनदेखा कर दिया जाता है।

समस्या 50 System.Data.SqlClient प्रोजेक्ट

के कोड पर कई चेतावनियों पर विचार करें ।

 private bool IsBOMNeeded(MetaType type, object value) { if (type.NullableType == TdsEnums.SQLXMLTYPE) { Type currentType = value.GetType(); if (currentType == typeof(SqlString)) { if (!((SqlString)value).IsNull && ((((SqlString)value).Value).Length > 0)) { if ((((SqlString)value).Value[0] & 0xff) != 0xff) return true; } } else if ((currentType == typeof(string)) && (((String)value).Length > 0)) { if ((value != null) && (((string)value)[0] & 0xff) != 0xff) return true; } else if (currentType == typeof(SqlXml)) { if (!((SqlXml)value).IsNull) return true; } else if (currentType == typeof(XmlDataFeed)) { return true; // Values will eventually converted to unicode string here } } return false; } 

पीवीएस-स्टूडियो चेतावनी: V3095 शून्य के खिलाफ सत्यापित होने से पहले 'मूल्य' ऑब्जेक्ट का उपयोग किया गया था। जाँच लाइनें: 8696, 8708. TdsParser.cs 8696

विश्लेषक मान चेक में उलझा हुआ था ! = एक स्थिति में अशक्त । ऐसा लगता है कि रिफैक्टरिंग के दौरान यह खो गया था, क्योंकि मूल्य कई बार कम हो जाता है। यदि मान में शून्य मान हो सकता है - चीजें खराब हैं।

अंक 51

अगली त्रुटि परीक्षणों से है, लेकिन यह मुझे दिलचस्प लगा, इसलिए मैंने इसे उद्धृत करने का फैसला किया।

 protected virtual TDSMessageCollection CreateQueryResponse(....) { .... if (....) { .... } else if ( lowerBatchText.Contains("name") && lowerBatchText.Contains("state") && lowerBatchText.Contains("databases") && lowerBatchText.Contains("db_name")) // SELECT [name], [state] FROM [sys].[databases] WHERE [name] = db_name() { // Delegate to current database response responseMessage = _PrepareDatabaseResponse(session); } .... } 

पीवीएस-स्टूडियो चेतावनी: V3053 एक अत्यधिक अभिव्यक्ति। 'नाम' और 'db_name' की जाँच करें। QueryEngine.cs 151

तथ्य यह है कि इस मामले में सबटेक्शंस के संयोजन lowBatchText.Contains ("नाम") और LowerBatchText.Contains ("db_name") निरर्थक हैं। वास्तव में, यदि चेक किए गए स्ट्रिंग में "db_name" विकल्प स्ट्रिंग है , तो इसमें "नाम" सबस्ट्रिंग भी शामिल होगा। यदि स्ट्रिंग में "नाम" नहीं है , तो इसमें "db_name" भी नहीं होगा । नतीजतन, यह पता चला है कि चेक लोअरबैचटेक्स्ट.कनेक्ट ("नाम")बेमानी है। जब तक यह जाँच की गई अभिव्यक्तियों की संख्या को कम नहीं कर सकता है, अगर जाँच की गई स्ट्रिंग में "नाम" नहीं है ।

समस्या 52 System.Net.Requests प्रोजेक्ट

के कोड से एक संदिग्ध खंड ।

 protected override PipelineInstruction PipelineCallback( PipelineEntry entry, ResponseDescription response, ....) { if (NetEventSource.IsEnabled) NetEventSource.Info(this, $"Command:{entry?.Command} Description:{response?.StatusDescription}"); // null response is not expected if (response == null) return PipelineInstruction.Abort; .... if (entry.Command == "OPTS utf8 on\r\n") .... .... } 

PVS-Studio चेतावनी: V3125 'प्रविष्टि' ऑब्जेक्ट का उपयोग नल के खिलाफ सत्यापित होने के बाद किया गया था। जाँच करें लाइनें: 270, 227. FtpControlStream.cs 270

जब एक प्रक्षेप स्ट्रिंग की रचना करते हैं, तो एंट्री के रूप में ऐसे भाव । कमान और प्रतिक्रिया। विवरण का उपयोग किया जाता है। '?' 'के बजाय ऑपरेटर का उपयोग किया जाता है।' ऑपरेटर के मामले में NullReferenceException प्रकार का एक अपवाद प्राप्त करने के लिए नहीं है अगर किसी भी इसी पैरामीटर का अशक्त मान है। इस मामले में, यह तकनीक काम करती है। इसके अलावा, जैसा कि हम कोड से देख सकते हैं, प्रतिक्रिया के लिए एक संभावित अशक्त मान अलग हो जाता है (यदि प्रतिक्रिया == शून्य से विधि से बाहर निकलें)), जबकि प्रवेश के लिए कुछ भी समान नहीं है । नतीजतन, यदि प्रविष्टि का मूल्यांकन करते समय कोड के साथ आगे - शून्य हो। कोमैंड (',' नहीं, '' के उपयोग के साथ);), एक अपवाद उत्पन्न होगा।

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

क्या आप वापस आ गए हैं? तो फिर चलते रहें। :)

समस्या 53

अब System.Collections.Immutable परियोजना में कुछ दिलचस्प लगता है । इस बार हमारे पास System.Collections.Immutable.ImmutableArray <T> संरचना के साथ कुछ प्रयोग होंगे । IStructuralEquatable.Equals और IStructuralComparable.CompareTo के तरीके हमारे लिए विशेष रुचि के हैं।

आइए IStructuralEquatable.Equals विधि के साथ शुरू करें । कोड नीचे दिया गया है, मैं सुझाव देता हूं कि आप खुद को गलत समझने की कोशिश करें:

 bool IStructuralEquatable.Equals(object other, IEqualityComparer comparer) { var self = this; Array otherArray = other as Array; if (otherArray == null) { var theirs = other as IImmutableArray; if (theirs != null) { otherArray = theirs.Array; if (self.array == null && otherArray == null) { return true; } else if (self.array == null) { return false; } } } IStructuralEquatable ours = self.array; return ours.Equals(otherArray, comparer); } 

आपने मैनेज किया? यदि हाँ - मेरी बधाई :)

पीवीएस-स्टूडियो चेतावनी: V3125 'हमारी' वस्तु का उपयोग तब किया गया था जब इसे शून्य के खिलाफ सत्यापित किया गया था। चेक लाइनें: 1212, 1204. ImmutableArray_1.cs 1212

विश्लेषक अंतिम चरण अभिव्यक्ति में स्थित हमारे चर के माध्यम से उदाहरण के बराबर विधि के कॉल से भ्रमित था , क्योंकि यह बताता है कि NullReferenceException प्रकार का अपवाद यहां हो सकता है। विश्लेषक ऐसा क्यों सुझाता है? यह समझाने में आसान बनाने के लिए, मैं नीचे एक ही विधि का एक सरलीकृत कोड टुकड़ा दे रहा हूं।

 bool IStructuralEquatable.Equals(object other, IEqualityComparer comparer) { .... if (....) { .... if (....) { .... if (self.array == null && otherArray == null) { .... } else if (self.array == null) { .... } } } IStructuralEquatable ours = self.array; return ours.Equals(otherArray, comparer); } 

अंतिम भावों में, हम देख सकते हैं, कि हमारे चर का मान स्वयं से आता है । चेक self.array == नल कई बार ऊपर किया जाता है। जिसका अर्थ है, हमारा, स्वयं के रूप में , एक ही है। अशक्त मूल्य हो सकता है। कम से कम सिद्धांत में। क्या यह राज्य व्यवहार में उपलब्ध है? आइए जानने की कोशिश करते हैं। ऐसा करने के लिए, एक बार फिर से मैं सेट कुंजी बिंदुओं के साथ विधि के शरीर का हवाला देता हूं।

 bool IStructuralEquatable.Equals(object other, IEqualityComparer comparer) { var self = this; // <= 1 Array otherArray = other as Array; if (otherArray == null) // <= 2 { var theirs = other as IImmutableArray; if (theirs != null) // <= 3 { otherArray = theirs.Array; if (self.array == null && otherArray == null) { return true; } else if (self.array == null) // <= 4 { return false; } } IStructuralEquatable ours = self.array; // <= 5 return ours.Equals(otherArray, comparer); } 

मुख्य बिंदु 1. आत्म.र्रे == यह.आयर ( स्वयं के कारण = यह )। इसलिए, विधि कॉल करने से पहले, की जरूरत <br> को हम हालत मिल this.array == बातिल ।

मुख्य बिंदु २ । हम इसे अनदेखा कर सकते हैं यदि , जो हम चाहते हैं उसे प्राप्त करने का सबसे सरल तरीका होगा। इस पर ध्यान न दें करने के लिए अगर , <br> हम केवल जरूरत अन्य के होने की चर सरणी प्रकार या एक व्युत्पन्न देखें एक की की है, और के लिए नहीं होते हैं अशक्त मूल्य की। रास्ता यह उपयोग करने के बाद के रूप में ऑपरेटर, एक गैर-शून्य संदर्भ में लिखा जाएगा otherArray और हम पहली पर ध्यान नहीं देंगे , तो बयान ।

मुख्य बिंदु 3। इस बिंदु के लिए अधिक जटिल दृष्टिकोण की आवश्यकता है। हम निश्चित रूप से दूसरे पर बाहर निकलने की जरूरत है अगर बयान (सशर्त अभिव्यक्ति उनके साथ! = अशक्त )। यह तो ऐसा नहीं होता है और उसके बाद शाखा शुरू होता है निष्पादित करने के लिए, हम सबसे निश्चित रूप से आवश्यक बिंदु 5 के तहत शर्त नहीं मिलेगा self.array == बातिल प्रमुख मुद्दा 4. की वजह से प्रवेश करने से बचने के लिए अगर प्रमुख मुद्दा के बयान 3, इन शर्तों में से एक को पूरा करना होगा:

• अन्य मूल्य का हो गया है अशक्त ;
• वास्तविक अन्य प्रकार IImmutableArray इंटरफ़ेस को लागू नहीं करना चाहिए ।

मुख्य बिंदु 5 । यदि हम इस मान को self.array == null के साथ प्राप्त करते हैं , तो इसका मतलब है कि हम अपने उद्देश्य तक पहुँच चुके हैं, और NullReferenceException type का एक अपवाद उत्पन्न होगा।

हमें निम्नलिखित डेटासेट मिलते हैं जो हमें आवश्यक बिंदु तक ले जाएंगे।

पहला: यह.अरे - अशक्त ।

दूसरा - निम्नलिखित में से एक:

• अन्य - अशक्त ;
• अन्य के पास ऐरे प्रकार है या इसमें से एक व्युत्पन्न है;
• अन्य के पास एरे टाइप नहीं है या उससे व्युत्पन्न है और ऐसा करने में, IImmutableArray इंटरफ़ेस को लागू नहीं करता है।

सरणी फ़ील्ड है, जिसे निम्नलिखित तरीके से घोषित किया गया है:

 internal T[] array; 

जैसा कि ImmutableArray <T> एक संरचना है, इसमें एक डिफ़ॉल्ट कंस्ट्रक्टर (बिना तर्क के) है, जिसके परिणामस्वरूप ऐरे फ़ील्ड डिफ़ॉल्ट रूप से मान लेगा , जो कि अशक्त है। और यही हमें चाहिए।

आइए यह न भूलें कि हम इंटरफ़ेस पद्धति के एक स्पष्ट कार्यान्वयन की जांच कर रहे थे, इसलिए कॉल करने से पहले कास्टिंग करना पड़ता है।

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

कोड का टुकड़ा १।

 var comparer = EqualityComparer<String>.Default; ImmutableArray<String> immutableArray = new ImmutableArray<string>(); ((IStructuralEquatable)immutableArray).Equals(null, comparer); 

कोड का टुकड़ा २।

 var comparer = EqualityComparer<String>.Default; ImmutableArray<String> immutableArray = new ImmutableArray<string>(); ((IStructuralEquatable)immutableArray).Equals(new string[] { }, comparer); 

कोड का टुकड़ा ३।

 var comparer = EqualityComparer<String>.Default; ImmutableArray<String> immutableArray = new ImmutableArray<string>(); ((IStructuralEquatable)immutableArray).Equals(typeof(Object), comparer); 

सभी तीन कोड अंशों का निष्पादन परिणाम समान होगा, केवल विभिन्न इनपुट प्रविष्टि डेटा और निष्पादन पथ द्वारा प्राप्त किया जाएगा।

समस्या 54

यदि आप नहीं भूलते हैं, तो हमारे पास एक और तरीका है जिसे हमें बदनाम करने की आवश्यकता है। :) लेकिन इस बार हम इसे इतने विस्तार से कवर नहीं करेंगे। इसके अलावा, हम पिछले उदाहरण से कुछ जानकारी पहले से ही जानते हैं।

 int IStructuralComparable.CompareTo(object other, IComparer comparer) { var self = this; Array otherArray = other as Array; if (otherArray == null) { var theirs = other as IImmutableArray; if (theirs != null) { otherArray = theirs.Array; if (self.array == null && otherArray == null) { return 0; } else if (self.array == null ^ otherArray == null) { throw new ArgumentException( SR.ArrayInitializedStateNotEqual, nameof(other)); } } } if (otherArray != null) { IStructuralComparable ours = self.array; return ours.CompareTo(otherArray, comparer); // <= } throw new ArgumentException(SR.ArrayLengthsNotEqual, nameof(other)); } 

पीवीएस-स्टूडियो चेतावनी: V3125 'हमारी' वस्तु का उपयोग तब किया गया था जब इसे शून्य के खिलाफ सत्यापित किया गया था। चेक लाइनें: 1265, 1251. ImmutableArray_1.cs 1265

जैसा कि आप देख सकते हैं, मामला पिछले उदाहरण के समान है।

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

 Object other = ....; var comparer = Comparer<String>.Default; ImmutableArray<String> immutableArray = new ImmutableArray<string>(); ((IStructuralComparable)immutableArray).CompareTo(other, comparer); 

हम उस बिंदु तक पहुँचने के लिए कुछ प्रविष्टि डेटा खोजने का प्रयास करेंगे, जहाँ NullReferenceException प्रकार का अपवाद हो सकता है:

मान: अन्य - नया स्ट्रिंग [] {} ;

परिणाम:

इस प्रकार, हम फिर से ऐसे डेटा का पता लगाने में कामयाब रहे, जिसके साथ विधि में एक अपवाद होता है।

अंक 55

में से System.Net.HttpListener बहुत दोनों कई संदिग्ध फैसले के पर ठोकर खाई, और विज्ञापनदाताओं की परियोजना मैं का चयन करें समान स्थान। एक बार फिर, मैं यहां कॉपी-पेस्ट के बारे में महसूस नहीं कर सकता। चूंकि पैटर्न समान है, हम एक कोड उदाहरण देखेंगे। मैं बाकी मामलों के लिए विश्लेषक चेतावनियों का हवाला दूँगा।

 public override IAsyncResult BeginRead(byte[] buffer, ....) { if (NetEventSource.IsEnabled) { NetEventSource.Enter(this); NetEventSource.Info(this, "buffer.Length:" + buffer.Length + " size:" + size + " offset:" + offset); } if (buffer == null) { throw new ArgumentNullException(nameof(buffer)); } .... } 

PVS- स्टूडियो चेतावनी: V3095 'बफर' ऑब्जेक्ट का उपयोग इससे पहले कि इसे शून्य के खिलाफ सत्यापित किया गया था। जाँच लाइनें: 51, 53. HttpRequestStream.cs 51 शर्त बफ़र के तहत ArgumentNullException प्रकार के

अपवाद की पीढ़ी == अशक्तता स्पष्ट रूप से बताती है कि अशक्त इस चर के लिए अस्वीकार्य मान है। हालाँकि, यदि NetEventSource.IsEnabled अभिव्यक्ति का मान सत्य और बफ़र - null है , जब बफर का मूल्यांकन किया जाता है। लेज़र अभिव्यक्ति, NullReferenceException type का एक अपवाद उत्पन्न होगा। जैसा कि हम देख सकते हैं, हम भी नहीं पहुंचेंगेइस मामले में बफर == अशक्त जाँच।

पैटर्न के साथ अन्य तरीकों के लिए जारी पीवीएस-स्टूडियो चेतावनी:

• V3095 नल के खिलाफ सत्यापित होने से पहले 'बफर' ऑब्जेक्ट का उपयोग किया गया था। चेक लाइनें: 49, 51. HttpResponseStream.cs 49
• V3095 नल के खिलाफ सत्यापित होने से पहले 'बफर' ऑब्जेक्ट का उपयोग किया गया था। चेक लाइनें: 74, 75. HttpResponseStream.cs 74

समस्या 56

एक समान कोड स्निपेट System.Transactions.Local प्रोजेक्ट में था।

 internal override void EnterState(InternalTransaction tx) { if (tx._outcomeSource._isoLevel == IsolationLevel.Snapshot) { throw TransactionException.CreateInvalidOperationException( TraceSourceType.TraceSourceLtm, SR.CannotPromoteSnapshot, null, tx == null ? Guid.Empty : tx.DistributedTxId); } .... } 

PVS-Studio चेतावनी: V3095 नल के खिलाफ सत्यापित होने से पहले 'tx' ऑब्जेक्ट का उपयोग किया गया था। चेक लाइनें: 3282, 3285. TransactionState.cs 3282

एक निश्चित शर्त के तहत, एक लेखक InvalidOperationException प्रकार के अपवाद को फेंकना चाहता है । जब अपवाद द्वारा एक वस्तु के लिए कंपनी बनाने के लिए विधि कॉलिंग, लेखकों नीचे दिए गए कोड का उपयोग tx पैरामीटर, आईटी के लिए जाँच अशक्त के अपवाद के द्वारा एक से बचें एक NullReferenceException प्रकार जब मूल्यांकन की tx.DistributedTxId अभिव्यक्ति। यह विडंबना है कि चेक से मदद नहीं मिलेगी, क्योंकि अगर स्टेटमेंट की स्थिति का मूल्यांकन किया जाए , तो उदाहरण फ़ील्ड tx के माध्यम से एक्सेस किए जाते हैं -tx._outcomeSource._isoLevel । System.Runtime.Caching प्रोजेक्ट से

57

कोड जारी करें ।

 internal void SetLimit(int cacheMemoryLimitMegabytes) { long cacheMemoryLimit = cacheMemoryLimitMegabytes; cacheMemoryLimit = cacheMemoryLimit << MEGABYTE_SHIFT; _memoryLimit = 0; // never override what the user specifies as the limit; // only call AutoPrivateBytesLimit when the user does not specify one. if (cacheMemoryLimit == 0 && _memoryLimit == 0) { // Zero means we impose a limit _memoryLimit = EffectiveProcessMemoryLimit; } else if (cacheMemoryLimit != 0 && _memoryLimit != 0) { // Take the min of "cache memory limit" and // the host's "process memory limit". _memoryLimit = Math.Min(_memoryLimit, cacheMemoryLimit); } else if (cacheMemoryLimit != 0) { // _memoryLimit is 0, but "cache memory limit" // is non-zero, so use it as the limit _memoryLimit = cacheMemoryLimit; } .... } 

PVS-Studio चेतावनी: V3022 अभिव्यक्ति 'cacheMemoryLimit! = 0 && _memLLimit! = 0' हमेशा गलत है। CacheMemoryMonitor.cs 250

यदि आप कोड को करीब से देखते हैं, तो आप देखेंगे कि एक भाव - cacheMemoryLimit! = 0 && _memoryLimit! = 0 हमेशा गलत होगा । चूँकि _moryLimit में 0 मान है ( यदि कथन से पहले सेट किया गया है), && ऑपरेटर का सही संचालक गलत है । इसलिए, पूरी अभिव्यक्ति का परिणाम गलत है ।

समस्या 58

मैं नीचे दिए गए System.Diagnostics.TraceSource प्रोजेक्ट से एक संदिग्ध कोड टुकड़ा उद्धृत करता हूं ।

 public override object Pop() { StackNode n = _stack.Value; if (n == null) { base.Pop(); } _stack.Value = n.Prev; return n.Value; } 

PVS-Studio चेतावनी: V3125 'n' ऑब्जेक्ट का उपयोग तब किया गया था जब इसे null के खिलाफ सत्यापित किया गया था। चेक लाइनें: 115, 111. सहसंबंधप्रबंधक .cs 115

वास्तव में, यह एक दिलचस्प मामला है। चेक n == अशक्त होने के कारण , मैं मानता हूं, यह अशक्त इस स्थानीय चर के लिए एक अपेक्षित मूल्य है। यदि हां, तो NullReferenceException प्रकार का एक अपवाद इंस्टेंस प्रॉपर्टी तक पहुँचने पर उत्पन्न होगा - n.Prev । यदि इस मामले में n कभी शून्य नहीं हो सकता है , तो आधार .Pop () को कभी नहीं बुलाया जाएगा।

समस्या 59 System.Drawing.Primatics

से एक दिलचस्प कोड टुकड़ा हैपरियोजना। फिर से, मेरा सुझाव है कि आप समस्या को स्वयं खोजने का प्रयास करें। यहाँ कोड है:

 public static string ToHtml(Color c) { string colorString = string.Empty; if (c.IsEmpty) return colorString; if (ColorUtil.IsSystemColor(c)) { switch (c.ToKnownColor()) { case KnownColor.ActiveBorder: colorString = "activeborder"; break; case KnownColor.GradientActiveCaption: case KnownColor.ActiveCaption: colorString = "activecaption"; break; case KnownColor.AppWorkspace: colorString = "appworkspace"; break; case KnownColor.Desktop: colorString = "background"; break; case KnownColor.Control: colorString = "buttonface"; break; case KnownColor.ControlLight: colorString = "buttonface"; break; case KnownColor.ControlDark: colorString = "buttonshadow"; break; case KnownColor.ControlText: colorString = "buttontext"; break; case KnownColor.ActiveCaptionText: colorString = "captiontext"; break; case KnownColor.GrayText: colorString = "graytext"; break; case KnownColor.HotTrack: case KnownColor.Highlight: colorString = "highlight"; break; case KnownColor.MenuHighlight: case KnownColor.HighlightText: colorString = "highlighttext"; break; case KnownColor.InactiveBorder: colorString = "inactiveborder"; break; case KnownColor.GradientInactiveCaption: case KnownColor.InactiveCaption: colorString = "inactivecaption"; break; case KnownColor.InactiveCaptionText: colorString = "inactivecaptiontext"; break; case KnownColor.Info: colorString = "infobackground"; break; case KnownColor.InfoText: colorString = "infotext"; break; case KnownColor.MenuBar: case KnownColor.Menu: colorString = "menu"; break; case KnownColor.MenuText: colorString = "menutext"; break; case KnownColor.ScrollBar: colorString = "scrollbar"; break; case KnownColor.ControlDarkDark: colorString = "threeddarkshadow"; break; case KnownColor.ControlLightLight: colorString = "buttonhighlight"; break; case KnownColor.Window: colorString = "window"; break; case KnownColor.WindowFrame: colorString = "windowframe"; break; case KnownColor.WindowText: colorString = "windowtext"; break; } } else if (c.IsNamedColor) { if (c == Color.LightGray) { // special case due to mismatch between Html and enum spelling colorString = "LightGrey"; } else { colorString = c.Name; } } else { colorString = "#" + cRToString("X2", null) + cGToString("X2", null) + cBToString("X2", null); } return colorString; } 

ठीक है, ठीक है, बस मजाक कर रहे हैं ... या क्या आपको अभी भी कुछ मिला है? वैसे भी, इस मुद्दे को स्पष्ट रूप से बताने के लिए कोड को कम करें।

यहाँ लघु कोड संस्करण है:

 switch (c.ToKnownColor()) { .... case KnownColor.Control: colorString = "buttonface"; break; case KnownColor.ControlLight: colorString = "buttonface"; break; .... } 

PVS-Studio चेतावनी: V3139 दो या दो से अधिक केस-शाखाएँ एक ही क्रिया करते हैं। ColorTranslator.cs 302

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

थोड़ा और गहरा खोदते हैं। विश्लेषण किए गए ToHtml विधि से "बटनफेस" मान प्राप्त करने के लिए , आप इसमें से एक मान को पास कर सकते हैं (अपेक्षित):

• SystemColors.Control ;
• SystemColors.ControlLight ।

यदि हम इनमें से प्रत्येक रंग के लिए ARGB मान की जाँच करते हैं, तो हम निम्नलिखित देखेंगे:

• SystemColors.Control - (255, 240, 240, 240) ;
• SystemColors.ControlLight - (255, 227, 227, 227) ।

यदि हम प्रतिलोम रूपांतरण विधि FromHtml को प्राप्त मान ( "बटनफेस" ) पर कहते हैं, तो हम रंग नियंत्रण (255, 240, 240, 240) प्राप्त करेंगे । क्या हम FromHtml से ControlLight रंग प्राप्त कर सकते हैं ? हां। इस पद्धति में रंगों की तालिका है, जो रंगों की रचना के लिए आधार है (इस मामले में)। तालिका के आरम्भक में निम्नलिखित रेखा होती है:

 s_htmlSysColorTable["threedhighlight"] = ColorUtil.FromKnownColor(KnownColor.ControlLight); 

तदनुसार, FromHtml रिटर्न ControlLight (255, 227, 227, 227) के लिए रंग «ThreeDHighlight» मूल्य की। मुझे लगता है कि वास्तव में KnownColor.ControlLight मामले में इसका इस्तेमाल किया जाना चाहिए था ।

समस्या 60

हम System.Text.RegularExpressions प्रोजेक्ट से कुछ दिलचस्प चेतावनियों की जाँच करेंगे ।

 internal virtual string TextposDescription() { var sb = new StringBuilder(); int remaining; sb.Append(runtextpos); if (sb.Length < 8) sb.Append(' ', 8 - sb.Length); if (runtextpos > runtextbeg) sb.Append(RegexCharClass.CharDescription(runtext[runtextpos - 1])); else sb.Append('^'); sb.Append('>'); remaining = runtextend - runtextpos; for (int i = runtextpos; i < runtextend; i++) { sb.Append(RegexCharClass.CharDescription(runtext[i])); } if (sb.Length >= 64) { sb.Length = 61; sb.Append("..."); } else { sb.Append('$'); } return sb.ToString(); } 

पीवीएस-स्टूडियो चेतावनी: V3137 'शेष' चर को सौंपा गया है, लेकिन फ़ंक्शन के अंत तक इसका उपयोग नहीं किया जाता है। RegexRunner.cs 612

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

अंक 61

 public void AddRange(char first, char last) { _rangelist.Add(new SingleRange(first, last)); if (_canonical && _rangelist.Count > 0 && first <= _rangelist[_rangelist.Count - 1].Last) { _canonical = false; } } 

PVS-Studio चेतावनी: V3063 सशर्त अभिव्यक्ति का एक हिस्सा हमेशा सही होता है यदि उसका मूल्यांकन किया जाता है: _rangelist.Count> 0. RegexCharClass.cs 523

विश्लेषक ने ठीक ही उल्लेख किया, कि अभिव्यक्ति का एक हिस्सा _rangelist.Count> 0 हमेशा सही रहेगा । यदि यह कोड निष्पादित है। यहां तक ​​कि अगर यह सूची (जो _rangelist बिंदु पर है), खाली थी, तो तत्व को जोड़ने के बाद _rangelist.Add (....) यह समान नहीं होगा।

अंक 62

की चेतावनी पर आइए नज़र के लिए V3128 परियोजनाओं 'में नैदानिक शासन System.Drawing.Common और System.Transactions.Local ।

 private class ArrayEnumerator : IEnumerator { private object[] _array; private object _item; private int _index; private int _startIndex; private int _endIndex; public ArrayEnumerator(object[] array, int startIndex, int count) { _array = array; _startIndex = startIndex; _endIndex = _index + count; _index = _startIndex; } .... } 

PVS-Studio चेतावनी: V3128 '_index' फ़ील्ड का उपयोग इससे पहले कि यह कंस्ट्रक्टर में शुरू किया गया है। PrinterSettings.Windows.cs 1679 _endIndex फ़ील्ड को

इनिशियलाइज़ करते समय , एक और _index फ़ील्ड का उपयोग किया जाता है, जिसमें इसके उपयोग के समय में एक मानक मान डिफ़ॉल्ट (int) , (जो 0 है )। की _index फ़ील्ड के नीचे से आरंभ नहीं है। मामले में अगर यह कोई त्रुटि नहीं है - _index चर को भ्रमित नहीं होने के लिए इस अभिव्यक्ति में छोड़ दिया जाना चाहिए था।

अंक 63

 internal class TransactionTable { .... private int _timerInterval; .... internal TransactionTable() { // Create a timer that is initially disabled by specifing // an Infinite time to the first interval _timer = new Timer(new TimerCallback(ThreadTimer), null, Timeout.Infinite, _timerInterval); .... // Store the timer interval _timerInterval = 1 << TransactionTable.timerInternalExponent; .... } } 

PVS- स्टूडियो चेतावनी: V3128 '_timerInterval' फ़ील्ड का उपयोग कंस्ट्रक्टर में आरंभीकृत होने से पहले किया जाता है। TransactionTable.cs 151

यह मामला ऊपर वाले के समान है। पहले _timerInterval फ़ील्ड के मान का उपयोग किया जाता है (जबकि यह अभी भी डिफ़ॉल्ट (int) है ) _timer को प्रारंभ करने के लिए । उसके बाद ही _timerInterval फ़ील्ड को स्वयं प्रारंभ किया जाएगा।

समस्या 64

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

 private bool ProcessNotifyConnection(....) { .... WeakReference reference = (WeakReference)( LdapConnection.s_handleTable[referralFromConnection]); if ( reference != null && reference.IsAlive && null != ((LdapConnection)reference.Target)._ldapHandle) { .... } .... } 

PVS- स्टूडियो चेतावनी (स्टब): VXXXX TODO_MESSAGE LdapSessionOptions.cs 974

चाल है कि संदर्भ की जाँच करने के बाद। शेष , कचरा एकत्र किया जा सकता है और ऑब्जेक्ट, जो WeakReference को इंगित करता है, कचरा एकत्र किया जाएगा। इस स्थिति में, लक्ष्य शून्य मान लौटाएगा । परिणामस्वरूप, आवृत्ति फ़ील्ड _ldapHandle तक पहुँचते समय , NullReferenceException प्रकार का अपवाद उत्पन्न होगा। Microsoft स्वयं इस जाल के बारे में चेताता है IsAlive के साथ। Docs.microsoft.com का एक उद्धरण - " WeakReference.IsAlive Property ":Because an object could potentially be reclaimed for garbage collection immediately after the IsAlive property returns true, using this property is not recommended unless you are testing only for a false return value.

Summary on Analysis

क्या विश्लेषण के दौरान ये सभी त्रुटियां और दिलचस्प स्थान हैं? बेशक, नहीं! जब विश्लेषण परिणामों के माध्यम से देख रहा था, मैं पूरी तरह से चेतावनी की जाँच कर रहा था। जैसे-जैसे उनकी संख्या बढ़ती गई और यह स्पष्ट होता गया कि उनमें से एक लेख के लिए पर्याप्त थे, मैं परिणामों के माध्यम से स्क्रॉल कर रहा था, केवल उन लोगों का चयन करने की कोशिश कर रहा था जो मुझे सबसे दिलचस्प लग रहे थे। जब मैं अंतिम वाले (सबसे बड़े लॉग) के पास गया, तो मैं केवल तब तक देखने में सक्षम था, जब तक कि किसी असामान्य चीज पर दृष्टि न पड़ने तक चेतावनी। इसलिए यदि आप चारों ओर खुदाई करते हैं, तो मुझे यकीन है कि आप बहुत अधिक दिलचस्प स्थान पा सकते हैं।

उदाहरण के लिए, मैंने लगभग सभी V3022 और V3063 चेतावनियों को नजरअंदाज कर दिया । इसलिए बोलने के लिए, अगर मुझे इस तरह का कोड आता है:

 String str = null; if (str == null) .... 

मैं इसे छोड़ दूंगा, क्योंकि कई अन्य दिलचस्प जगहें थीं जिनका मैं वर्णन करना चाहता था। इस और इसी तरह लॉकिंग के साथ लॉक स्टेटमेंट का उपयोग करते हुए असुरक्षित लॉकिंग पर चेतावनी दी गई थी - V3090 ; असुरक्षित ईवेंट कॉल - V3083 ; वस्तुओं, जो प्रकारों का कार्यान्वयन IDisposable , लेकिन जिसके लिए निपटान / बंद बुलाया नहीं है - V3072 और विज्ञापनदाताओं का चयन इसी प्रकार के निदान और भी बहुत कुछ।

मैंने समस्याओं पर ध्यान नहीं दिया, परीक्षण में लिखा। कम से कम, मैंने कोशिश की, लेकिन गलती से कुछ ले सकता था। कुछ स्थानों को छोड़कर, जो मुझे दिलचस्प लगे, उनका ध्यान आकर्षित करना। लेकिन परीक्षण कोड में त्रुटियां भी हो सकती हैं, जिसके कारण परीक्षण गलत तरीके से काम करेंगे।

आम तौर पर, जांच करने के लिए अभी भी कई चीजें हैं - लेकिन मुझे सभी पाया मुद्दों को चिह्नित करने का इरादा नहीं था ।

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

संक्षेप में, हम कह सकते हैं, कि यह कोड काफी उच्च गुणवत्ता वाला है, क्योंकि इसकी राशि काफी थी। लेकिन, जैसा कि इस लेख से पता चलता है, कुछ अंधेरे कोने थे।

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

निष्कर्ष

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

वैसे भी, स्थैतिक विश्लेषण से कुछ मदद नहीं मिलेगी, इसलिए सुझाव दें कि आप अपने प्रोजेक्ट पर पीवीएस-स्टूडियो की कोशिश करें और देखें कि इसके उपयोग से क्या दिलचस्प स्थान मिल सकते हैं। यदि आपके कोई प्रश्न हैं या आप दिलचस्प पाया अंश साझा करना चाहते हैं - support@viva64.com पर लिखने में संकोच न करें । :)

सादर प्रणाम!

.NET कोर पुस्तकालयों डेवलपर्स के लिए PS

आप जो करते हैं, उसके लिए बहुत बहुत धन्यवाद! अच्छा काम! उम्मीद है कि यह लेख आपको कोड को थोड़ा बेहतर बनाने में मदद करेगा। याद रखें, कि मैंने सभी संदिग्ध स्थानों को नहीं लिखा है और आप विश्लेषक का उपयोग करके परियोजना की बेहतर जांच करेंगे। इस तरह, आप विवरणों में सभी चेतावनियों की जाँच कर सकेंगे। इसके अलावा, सरल पाठ लॉग / त्रुटियों की सूची के बजाय इसके साथ काम करना अधिक सुविधाजनक होगा ( मैंने यहां इसके बारे में अधिक विवरण में लिखा है )।