पीवीएस-स्टूडियो स्थिर विश्लेषक द्वारा .NET कोर पुस्तकालयों के स्रोत कोड का सत्यापन

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

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

परियोजना और विश्लेषण के बारे में अधिक

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

अंकेक्षित परियोजना

संभवतः, यह बताना संभव नहीं होगा कि CoreFX (.NET कोर लाइब्रेरीज़) क्या हैं, लेकिन, अगर आपने इसे नहीं सुना है, तो विवरण नीचे है। मैंने इसे रीफ़्रेज़ नहीं किया और इसे 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 # प्रोजेक्ट्स (संस्करणों 2010-2019 समर्थित हैं) का परीक्षण करने के लिए पीवीएस-स्टूडियो प्लगइन का उपयोग करता हूं, क्योंकि यह विश्लेषण करने का सबसे आसान और सबसे सुविधाजनक तरीका है: समाधान खोलें, विश्लेषण शुरू करें, चेतावनियों की सूची के साथ काम करें। CoreFX के साथ, हालांकि, चीजें थोड़ी अधिक जटिल हो गईं।

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

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

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

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

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

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

अन्य सिद्ध परियोजनाएँ

वैसे, यह एक अनूठा लेख नहीं है, हम परियोजनाओं की जांच के बारे में अन्य लेख लिखते हैं, जिनमें से एक सूची यहां मिल सकती है । इसके अलावा, साइट पर हमने न केवल परियोजनाओं के विश्लेषण पर लेख एकत्र किए हैं, बल्कि सी, सी ++, सी #, जावा, साथ ही साथ सिर्फ दिलचस्प नोट्स पर विभिन्न तकनीकी लेख भी हैं। आप यह सब ब्लॉग पर पा सकते हैं।

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

त्रुटियों की खोज, संदिग्ध और दिलचस्प स्थान

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

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

अंक 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); } .... } .... } 

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

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

आइए समस्या को पुन: उत्पन्न करने का प्रयास करें। प्रोजेक्ट के लिए उपयुक्त लाइब्रेरी ( 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) .... .... } .... } 

PVS-Studio चेतावनी : V3095 नल के खिलाफ सत्यापित होने से पहले ' गुणनाम ' ऑब्जेक्ट का उपयोग किया गया था। चेक लाइन: 990, 1004। DirectoryEntry.cs 990

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

क्या एक संयोग है कि RefreshCache एक सार्वजनिक वर्ग में एक सार्वजनिक विधि है। समस्या को दोहराने की कोशिश करें? ऐसा करने के लिए, प्रोजेक्ट को इच्छित लाइब्रेरी से कनेक्ट करें - System.DirectoryServices - और इस तरह कोड लिखें:

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

निष्पादन के लिए कोड चलाएं और अपेक्षित चित्र देखें।

मज़े के लिए, आप NuGet पैकेज के रिलीज़ संस्करण पर समस्या को पुन: उत्पन्न करने का प्रयास कर सकते हैं। हम 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 (शून्य) से क्या वापसी मूल्य की उम्मीद है:

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

....

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

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

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

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

 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' में परिणामित नहीं किया जाना चाहिए। चरित्ररंग। ५६

हम देखते हैं कि हमें क्या साबित करने की जरूरत है - obj पैरामीटर को गलत तरीके से संसाधित किया जाता है, जिसके कारण NullReferenceException प्रकार का एक अपवाद तब होता है जब सशर्त अभिव्यक्ति में GetType उदाहरण विधि को कॉल करते हैं।

अंक 5

इस लाइब्रेरी की खोज करते समय, एक और दिलचस्प जगह पर विचार करें - Icon.Save विधि। अध्ययन से पहले, विधि का विवरण देखें।

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

हम 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-Studio चेतावनी : V3095 नल के खिलाफ सत्यापित होने से पहले 'outputStream' ऑब्जेक्ट का उपयोग किया गया था। चेक लाइनें: 654, 672. Icon.Windows.cs 654

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

कार्य सरल है - कोड निष्पादन को अभिव्यक्ति आउटपुट में लाने के लिए। स्ट्रीम (_iconData, 0, _iconData.Length); चर आउटपुटस्ट्रीम का मान बनाए रखते हुए - अशक्त । ऐसा करने के लिए, यह पर्याप्त है कि स्थिति _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

हम समीक्षा जारी रखते हैं और System.Management लाइब्रेरी में जाते हैं। 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; .... } 

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

देखिये यहाँ क्या चीज़ है। दो शर्तों में से एक मिलने पर चक्र समाप्त होता है:

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

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

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

इस समस्या को Microsoft.CodeAnalysis लाइब्रेरीज़ का उपयोग करके या सिंटैक्स विज़ुअलाइज़र का उपयोग करके सीधे Visual Studio में किया जा सकता है। Visual Studio संस्करण 16.1.6 + सिंटैक्स Visualizer 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 कोर पुस्तकालयों के उपरोक्त कोड की तरह, Debug.Assert के माध्यम से एक चेक भी है, जो, हालांकि, पुस्तकालयों के रिलीज़ संस्करणों का उपयोग करते समय किसी भी तरह से मदद नहीं करता था।

अंक 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])) ); } 

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

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

अंक 10

पीवीएस-स्टूडियो 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}"); } } } 

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

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

अंक 11

मैं इसी तरह के एक और मामले से मिला।

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

PVS-Studio चेतावनी : 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 को शून्य करती है। नतीजतन, _stream अभी भी स्ट्रीम करने के लिए सेट किया जाएगा, और _stream सही पर सेट होगा।

अंक 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.ToStest Method "। ऐसा लगता है कि कुछ भी विशेष नहीं है।

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

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

 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 ने टॉसरिंग विधि को लागू करने के लिए क्या सलाह दी है, जिसके लिए हम फिर से docs.microsoft.com की ओर रुख करते हैं - " Object.ToString Method ":

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

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

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

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

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

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

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

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

 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; } 

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

एक संबंधित संपत्ति है, हालांकि यह थोड़ा अजीब लगता है:

 internal object ConfigSourceStreamVersion { set { } } 

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

अंक 17

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

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

PVS-Studio चेतावनी : V3108 यह 'ToSting ()' विधि से 'null' वापस करने के लिए अनुशंसित नहीं है। RepBehavior.cs 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; } } 

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

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

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

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

अब तक, सब कुछ अच्छा लग रहा है। आगे बढ़ो और देखो कि RepBehaviorType प्रकार क्या है ।

 public enum RepeatBehaviorType { Count, Duration, Forever } 

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

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

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

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

मैं यह भी कहा जाएगा कि विधि के लिए कोई टिप्पणी, और न ही पर 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 There are identical sub-expressions 'CharType.Comment' to the left and to the right of the '|' ऑपरेटर। XmlUTF8TextReader.cs 56
• V3001 There are identical sub-expressions 'CharType.Comment' to the left and to the right of the '|' ऑपरेटर। XmlUTF8TextReader.cs 58
• V3001 There are identical sub-expressions 'CharType.Comment' to the left and to the right of the '|' ऑपरेटर। 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; } 

PVS-Studio चेतावनी : 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

विश्लेषक ने चेतावनी दी है कि जब hasher.TransformBlock अभिव्यक्ति का मूल्यांकन किया जाता है , तो हैश चर का मान शून्य हो सकता है , जिस स्थिति में 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 प्रकार का अपवाद हो सकता है ।

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

 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 को किसी भी अपवाद को नहीं फेंकना चाहिए और अशक्त होना चाहिए - सबसे महत्वपूर्ण बिंदु, हम बाद में इसे वापस कर देंगे।

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

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

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

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

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

 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); 

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

रुचि के लिए, मैंने NuGet पैकेज संस्करण 4.3.1 पर समान कोड निष्पादित करने का प्रयास किया।

उत्पन्न अपवादों के बारे में जानकारी, विधि विवरण में आउटपुट मापदंडों पर प्रतिबंध, यह 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 और CreateFormorm पद्धतियों में शून्य देता है । अगला, इंस्टेंट मेथड SetKey को कॉल करते समय , एक NullReferenceException को फेंक दिया जाएगा । समस्या, फिर से, व्यवहार में आसानी से पुन: पेश की जाती है:

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

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

अंक 23 सिस्टमपार्टी.एक्सएलएमएल

परियोजना के दिलचस्प स्थानों को देखें ।

 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 if-else-if

अनुक्रम में दो समान सशर्त अभिव्यक्तियाँ हैं - सामग्री XmlSchemaSimpleTypeRestriction है । क्या और भी दिलचस्प है - शरीर तो -branches की इसी ऑपरेटरों भाव का एक अलग सेट होते हैं। एक तरीका या दूसरा, या तो पहले संगत तब के शरीर को निष्पादित किया जाएगा (यदि सशर्त अभिव्यक्ति सच है), या न ही एक और न ही अगर संबंधित अभिव्यक्ति झूठी है। अंक 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 के अनुक्रम को बायपास करना चाहते हैं । केवल लूप में वे एक काउंटर ( seq [i] ) का उपयोग नहीं करते हुए अनुक्रम के तत्वों तक पहुंचते हैं , लेकिन एक संख्यात्मक शाब्दिक - शून्य ( seq [0] ) का उपयोग करते हैं।

समस्या 26

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

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

पीवीएस-स्टूडियो चेतावनी : 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 प्रकार का एक अपवाद फेंक दिया जाएगा । नीचे हम seq की स्पष्ट ढलाई के परिणामस्वरूप प्राप्त नोडसेक चर की जांच करते हैं , लेकिन ऐसा क्यों है यह बहुत स्पष्ट नहीं है। का मूल्य तो 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.PStreet.Uri

पैकेज में , मुझे एक विधि मिली , जो कि Microsoft विधि के साथ थोड़े संघर्ष में आ गई थी, ताकि ToStiding विधि को ओवरराइड किया जा सके । Object.ToString विधि पृष्ठ से युक्तियों में से एक को याद करें : आपका ToString () ओवरराइड अपवाद को नहीं फेंकना चाहिए ।

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

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

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

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

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

लेकिन इस मामले में, डेवलपर्स ईमानदारी से चेतावनी देते हैं कि जब बुलाया जाता है तो एक अपवाद को फेंक दिया जा सकता है - यह विधि और डॉक्स.माइकोमिक्स.कॉम पर टिप्पणियों में वर्णित है - " UriBuilder.ToString विधि "।

समस्या 30 System.Data.Common

प्रोजेक्ट कोड पर जारी चेतावनियों पर एक नज़र डालें ।

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

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

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

अंक 31

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

PVS-Studio चेतावनी : 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 की जाँच करके निर्णय लेना , null इस चर के लिए एक वैध (अपेक्षित) मान है। इसलिए, यदि निष्पादन का धागा ऑपरेटर के सही संचालन तक पहुंचता है || बशर्ते कि attr - अशक्त , एक अपवाद प्रकार मिलता है एक NullReferenceException । तदनुसार, अपवाद के लिए शर्तें इस प्रकार हैं:

1. attr — null . &&.
2. !attribute.IsDefaultAttribute() — false . && — false .
3. || false , .
4. attr — null , Match .

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

दो स्टेटमेंट हैं जिनमें समान कंडीशनल एक्सप्रेशन - टेबल == null हैं । इसके अलावा, इन ऑपरेटरों की शाखाओं में अलग-अलग क्रियाएं होती हैं - एक मामले में, विधि -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; } 

PVS-Studio चेतावनी : 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

चेकिंग _table! = Null खुद के लिए बोलता है - _table वेरिएबल शून्य हो सकता है । कम से कम इस मामले में, पुनर्बीमा किया जाता है। हालांकि, नीचे वे null - _table .fInitInProgress के लिए जाँच किए बिना _table के माध्यम से इंस्टेंस फ़ील्ड का उपयोग करते हैं । समस्या 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 के साथ भ्रमित किया । यह एक टाइपो की तरह लगता है, लेकिन यह निश्चित रूप से नहीं कहा जा सकता है। मैंने यह देखने का निर्णय लिया कि क्या WriteObjectEnd विधि है ।

 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 CheckSecurity का

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

• या तो मैं पर्याप्त रूप से प्रबुद्ध नहीं हूं और इस तरह के दोहराव का अर्थ नहीं समझा;
• या तो त्रुटि कॉपी-पेस्ट विधि का उपयोग करके कोड के माध्यम से प्रचारित किया गया।

कोड ही:

 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 (quotPrefix) || quotPrefix! = "" "हमेशा सत्य होता है। OdbcCommandBuilder.cs 338

विश्लेषक मानता है कि उपरोक्त अभिव्यक्ति हमेशा सच है । और यह वास्तव में है। और इससे कोई फर्क नहीं पड़ता है कि वास्तव में किस मूल्य की बोली उपसर्ग में शामिल है - स्थिति स्वयं गलत लिखी गई है। चलो ठीक है।

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

उपरोक्त कोड से, हम जानते हैं कि यदि सही ऑपरेंड की गणना की जाती है, तो स्ट्रिंग का मान। NNOOOEmpty (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"] का मान शून्य है , तो यह सफलतापूर्वक दोनों जातियों से होकर गुजरेगा और ऐड विधि में एक तर्क के रूप में जाएगा । यदि पंक्ति ["DataType"] एक मान देता है जिसे टाइप नहीं किया जा सकता है , तो एक स्पष्ट डाली एक InvalidCastException को फेंक देगी । अंत में, दो भूत क्यों हैं? सवाल खुला है।

समस्या 43 सिस्टम System.untime.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 ' वैरिएबल का उपयोग तब किया गया था जब इसे नल-सशर्त ऑपरेटर के माध्यम से सौंपा गया था। NullReferenceException संभव है। RuntimeInformation.cs 29

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

समस्या 44

हम System.ComponentModel.Composition प्रोजेक्ट की ओर मुड़ते हैं और कुछ चेतावनियाँ देखते हैं। निम्नलिखित कोड के लिए तुरंत 2 चेतावनी जारी की गई थी:

 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

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

अंक 45

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

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

बराबर विधि पर docs.microsoft.com पर टिप्पणी नहीं की गई है, मुझे .NET .NET के लिए केवल इस विधि का विवरण नहीं मिला। यदि आप इसे देखते हैं (" LazyMemberInfo.Equals (ऑब्जेक्ट) विधि ") - कुछ भी असामान्य नहीं दिखाई देता है - यह सही या गलत है , तो उत्पन्न अपवादों के बारे में कोई जानकारी नहीं है।

हम निष्पादन के लिए कोड चलाते हैं और देखते हैं:

हम थोड़ा विकृत कर सकते हैं, निम्नलिखित कोड लिख सकते हैं और एक दिलचस्प निष्कर्ष भी प्राप्त कर सकते हैं:

 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) को निष्पादित करते हैं । पहले से ही ध्यान दिया। InvalidCastException के

साथ , मुझे लगता है कि सब कुछ स्पष्ट है। NullReferenceException क्यों बढ़ाई जाती है ? तथ्य यह है कि LazyMemberInfo एक संरचना है, तदनुसार, अनपैकिंग का प्रदर्शन किया जाता है। और शून्य मान को अनपैक करने से सिर्फ एक अपवाद होता है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-Studio चेतावनी : V3108 यह 'ToSting ()' विधि से 'null' वापस करने के लिए अनुशंसित नहीं है। JsonElement.cs 1460 GetString ()

विधि के लिए कॉल करने के लिए विश्लेषक एक पंक्ति को इंगित करता है । आइए इसे देखें:

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

गहरी डाइविंग - GetString विधि के अतिभारित संस्करण में :

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

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

अंक 48

एक और दिलचस्प जगह:

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

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

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

समस्या 49

निम्न संदिग्ध स्थान System.Security.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; } 

PVS-Studio चेतावनी : 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); } .... } 

चेतावनी PVS-Studio : V3053 एक अत्यधिक अभिव्यक्ति। 'नाम' और 'db_name' की जाँच करें। QueryEngine.cs 151

तथ्य यह है कि इस मामले में, lowBatchText.Contains ("name") और 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); } 

क्या आप सफल हुए? यदि हां, तो फिर से, बधाई। :)

PVS-Studio चेतावनी : 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 == नल की जाँच कई बार की जाती है । इसलिए, 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 । self.array == this.array ( स्वयं के कारण = यह )। इसलिए, विधि कॉल करने से पहले, आप एक राज्य तक पहुंचने की आवश्यकता this.array == बातिल ।

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

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

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

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

हमें निम्नलिखित डेटा सेट मिलते हैं जो हमें लक्ष्य तक ले जाएंगे।

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

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

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

सरणी एक क्षेत्र इस प्रकार घोषित किया गया है:

 internal T[] array; 

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

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

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

कोड स्निपेट 1 ।

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

कोड स्निपेट 2 ।

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

कोड स्निपेट 3 ।

 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)); } 

PVS-Studio चेतावनी : 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-Studio चेतावनी : V3095 'बफर' ऑब्जेक्ट का उपयोग इससे पहले कि यह शून्य के खिलाफ सत्यापित किया गया था। चेक लाइनें: 51, 53. HttpRequestStream.cs 51 बफर == के साथ ArgumentNullException

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

पीवीएस-स्टूडियो चेतावनियाँ अन्य पद्धतियों पर समान पैटर्न के साथ जारी की गई हैं:

• 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 पैरामीटर का उपयोग अपवाद ऑब्जेक्ट बनाने के लिए किया जाता है , और इसे null के लिए चेक किया जाता है, ताकि अभिव्यक्ति tx.DistributedTxId का मूल्यांकन करते समय NullReferenceException के अपवाद को न फेंके । विडंबना यह है कि अगर tx - null यह चेक मदद नहीं करेगा, जब से कि अगर कथन की शर्तों की गणना की जाएउदाहरण फ़ील्ड 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 है ( इसे if स्टेटमेंट से पहले रखा गया है ), && ऑपरेटर का राइट ऑपरेंड गलत है , इसलिए, पूरे एक्सप्रेशन का परिणाम भी गलत है ।

समस्या 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. सहसंबंध प्रबंधक

। दिलचस्प 115 कोड। N == null की जाँच करने के कारण , मैं मानूंगा कि null इस स्थानीय चर के लिए एक संभावित मान है। यदि ऐसा है तो - निम्नलिखित प्रकार के एक अपवाद फेंक होगा 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 ने "थ्रिधघलाइट" मान के लिए कलर कंट्रोललाइट (255, 227, 227, 227) लौटाया । मुझे लगता है कि यह वह मूल्य था जो कि 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(); } 

PVS-Studio चेतावनी : 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-Studio चेतावनी : 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

खतरे यहाँ है कि अगर बाद जाँच है reference.IsAlive कचरा संग्रहण के तहत प्रदर्शन किया जाएगा और यह उद्देश्य यह है कि द्वारा संदर्भित है हो जाता है WeakReference , reference.Target लौट मूल्य अशक्त । परिणामस्वरूप, आवृत्ति फ़ील्ड _ldapHandle तक पहुँचने पर , NullReferenceException प्रकार का एक अपवाद फेंक दिया जाएगा । दरअसल, Microsoft स्वयं भी इस जाल के सत्यापन के साथ चेतावनी देता है। Docs.microsoft.com से उद्धरण - " WeakReference.IsAlive संपत्ति ":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.

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

उदाहरण के लिए, मैंने लगभग सभी चेतावनियों V3022 और V3063 को नजरअंदाज कर दिया । यदि प्रपत्र का एक कोड था, तो अपेक्षाकृत बोलना:

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

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

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

सामान्य तौर पर, सीखने के लिए अभी भी कुछ है - लेकिन मैंने पूरी तरह से पाई गई सभी समस्याओं को लिखने के लिए एक लक्ष्य निर्धारित नहीं किया है ।

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

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

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

निष्कर्ष

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

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

ऑल द बेस्ट!

PS संपर्क .NET कोर लाइब्रेरी डेवलपर्स

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

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