🤦🏽 🧔🏻 ❔ पीवीएस-स्टूडियो इन द क्लाउड्स: एज़्योर देवओपीएस 🏤 🥧 🦎

यह एक दूसरा लेख है, जो क्लाउड सीआई-सिस्टम में पीवीएस-स्टूडियो विश्लेषक के उपयोग पर केंद्रित है। इस बार हम मंच Azure DevOps - Microsoft से क्लाउड CI \ CD समाधान पर विचार करेंगे। हम ShareX परियोजना का विश्लेषण करेंगे।

हमें तीन घटकों की आवश्यकता होगी। पहला PVS-Studio विश्लेषक है। दूसरा Azure DevOps है, जिसे हम विश्लेषक के साथ एकीकृत करेंगे। तीसरा प्रोजेक्ट है जिसे हम क्लाउड में काम करने के दौरान पीवीएस-स्टूडियो की क्षमताओं को प्रदर्शित करने के लिए जाँचेंगे। तो चलिए चलते हैं।

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

Azure DevOps । Azure DevOps प्लेटफ़ॉर्म में Azure Pipeline, Azure Board, Azure Artifacts और अन्य ऐसे उपकरण शामिल हैं जो सॉफ़्टवेयर बनाने की प्रक्रिया को तेज़ करते हैं और इसकी गुणवत्ता में सुधार करते हैं।

ShareX एक मुफ्त ऐप है जो आपको स्क्रीन के किसी भी हिस्से को कैप्चर और रिकॉर्ड करने देता है। परियोजना C # में लिखी गई है और यह स्थैतिक विश्लेषक प्रक्षेपण के विन्यास को दिखाने के लिए उपयुक्त है। प्रोजेक्ट सोर्स कोड GitHub पर उपलब्ध है ।

ShareX प्रोजेक्ट के लिए क्लॉक कमांड का आउटपुट:

भाषा	फ़ाइलें	रिक्त	टिप्पणी	कोड
C #	696	20,658	24,423	102,565
MSBuild स्क्रिप्ट	11	1	77	5859

दूसरे शब्दों में, परियोजना छोटा है, लेकिन क्लाउड प्लेटफॉर्म के साथ पीवीएस-स्टूडियो के काम को प्रदर्शित करने के लिए काफी पर्याप्त है।

चलो विन्यास शुरू करते हैं

Azure DevOps में काम करना शुरू करने के लिए, आइए लिंक का अनुसरण करें और "GitHub के साथ मुफ़्त शुरू करें" दबाएं।

Microsoft एप्लिकेशन को GitHub खाते के डेटा तक पहुंच प्रदान करें।

अपना पंजीकरण पूरा करने के लिए आपको एक Microsoft खाता बनाना होगा।

पंजीकरण के बाद, एक परियोजना बनाएं:

अगला, हमें "पाइपलाइन" - "बिल्ड" पर जाने और एक नया बिल्ड पाइपलाइन बनाने की आवश्यकता है।

यह पूछे जाने पर कि हमारा कोड कहां स्थित है, हम जवाब देंगे - GitHub।

Azure पाइपलाइनों को अधिकृत करें और प्रोजेक्ट के साथ रिपॉजिटरी चुनें, जिसके लिए हम स्टेटिक विश्लेषक के रन को कॉन्फ़िगर करेंगे।

टेम्पलेट चयन विंडो में, "स्टार्टर पाइपलाइन" चुनें।

हम Microsoft के होस्टेड या सेल्फ-होस्टेड एजेंट्स का उपयोग करके प्रोजेक्ट के स्थैतिक कोड विश्लेषण को दो तरीकों से चला सकते हैं।

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

चलो Microsoft द्वारा होस्ट किए गए एजेंटों का उपयोग करने के लिए सुझाए गए डिफ़ॉल्ट कॉन्फ़िगरेशन को बदल दें:

# Setting up run triggers # Run only for changes in the master branch trigger: - master # Since the installation of random software in virtual machines # is prohibited, we'll use a Docker container, # launched on a virtual machine with Windows Server 1803 pool: vmImage: 'win1803' container: microsoft/dotnet-framework:4.7.2-sdk-windowsservercore-1803 steps: # Download the analyzer distribution - task: PowerShell@2 inputs: targetType: 'inline' script: 'Invoke-WebRequest -Uri https://files.viva64.com/PVS-Studio_setup.exe -OutFile PVS-Studio_setup.exe' - task: CmdLine@2 inputs: workingDirectory: $(System.DefaultWorkingDirectory) script: | # Restore the project and download dependencies nuget restore .\ShareX.sln # Create the directory, where files with analyzer reports will be saved md .\PVSTestResults # Install the analyzer PVS-Studio_setup.exe /VERYSILENT /SUPPRESSMSGBOXES /NORESTART /COMPONENTS=Core # Create the file with configuration and license information "C:\Program Files (x86)\PVS-Studio\PVS-Studio_Cmd.exe" credentials -u $(PVS_USERNAME) -n $(PVS_KEY) # Run the static analyzer and convert the report in html. "C:\Program Files (x86)\PVS-Studio\PVS-Studio_Cmd.exe" -t .\ShareX.sln -o .\PVSTestResults\ShareX.plog "C:\Program Files (x86)\PVS-Studio\PlogConverter.exe" -t html -o .\PVSTestResults\ .\PVSTestResults\ShareX.plog # Save analyzer reports - task: PublishBuildArtifacts@1 inputs: pathToPublish: PVSTestResults artifactName: PVSTestResults

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

चलो पाइपलाइन को बचाते हैं और चर बनाते हैं जो लाइसेंस फ़ाइल बनाने के लिए उपयोग किया जाएगा। ऐसा करने के लिए, पाइपलाइन संपादित विंडो खोलें और ऊपरी दाएं कोने में "चर" पर क्लिक करें।

फिर, उपयोगकर्ता नाम और लाइसेंस कुंजी वाले दो चर - PVS_USERNAME और PVS_KEY जोड़ें। PVS_KEY वैरिएबल बनाते समय 2048-बिट RSA कुंजी के साथ वैरिएबल के मान को एन्क्रिप्ट करने और कार्य प्रदर्शन लॉग में वैरिएबल मान के आउटपुट को दबाने के लिए "इस मान को गुप्त रखें" का चयन करना न भूलें।

"रन" पर क्लिक करके चरों को सहेजें और पाइपलाइन चलाएं।

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

ऐसे एजेंटों का उपयोग करने से पहले, आपको उन्हें निर्देश के अनुसार कॉन्फ़िगर करना होगा और स्थैतिक विश्लेषक को स्थापित और कॉन्फ़िगर करना होगा।

स्वयं-होस्ट किए गए एजेंट पर कार्य चलाने के लिए, हम सुझाए गए कॉन्फ़िगरेशन को निम्न के साथ बदल देंगे:

 # Setting up triggers # Run the analysis for master-branch trigger: - master # The task is run on a self-hosted agent from the pool 'MyPool' pool: 'MyPool' steps: - task: CmdLine@2 inputs: workingDirectory: $(System.DefaultWorkingDirectory) script: | # Restore the project and download dependencies nuget restore .\ShareX.sln # Create the directory where files with analyzer reports will be saved md .\PVSTestResults # Run the static analyzer and convert the report in html. "C:\Program Files (x86)\PVS-Studio\PVS-Studio_Cmd.exe" -t .\ShareX.sln -o .\PVSTestResults\ShareX.plog "C:\Program Files (x86)\PVS-Studio\PlogConverter.exe" -t html -o .\PVSTestResults\ .\PVSTestResults\ShareX.plog # Save analyzer reports - task: PublishBuildArtifacts@1 inputs: pathToPublish: PVSTestResults artifactName: PVSTestResults

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

विश्लेषण के परिणाम

अब आइए देखें परीक्षण किए गए प्रोजेक्ट ShareX में पाए गए कुछ कीड़े।

अत्यधिक जाँच

वार्म अप करने के लिए, आइए कोड में साधारण खामियों से शुरू करते हैं, अर्थात्, निरर्थक जाँचों के साथ:

 private void PbThumbnail_MouseMove(object sender, MouseEventArgs e) { .... IDataObject dataObject = new DataObject(DataFormats.FileDrop, new string[] { Task.Info.FilePath }); if (dataObject != null) { Program.MainForm.AllowDrop = false; dragBoxFromMouseDown = Rectangle.Empty; pbThumbnail.DoDragDrop(dataObject, DragDropEffects.Copy | DragDropEffects.Move); Program.MainForm.AllowDrop = true; } .... }

PVS-Studio चेतावनी: V3022 [CWE-571] अभिव्यक्ति 'dataObject! = Null' हमेशा सच होता है। टास्कथंबनेलपेल .cs 415

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

आइए कोड के एक और टुकड़े को देखें जिसे हम इसी तरह से टिप्पणी कर सकते हैं:

 private static Image GetDIBImage(MemoryStream ms) { .... try { .... return new Bitmap(bmp); .... } finally { if (gcHandle != IntPtr.Zero) { GCHandle.FromIntPtr(gcHandle).Free(); } } .... } private static Image GetImageAlternative() { .... using (MemoryStream ms = dataObject.GetData(format) as MemoryStream) { if (ms != null) { try { Image img = GetDIBImage(ms); if (img != null) { return img; } } catch (Exception e) { DebugHelper.WriteException(e); } } } .... }

PVS-Studio चेतावनी: V3022 [CWE-571] अभिव्यक्ति 'img! = Null' हमेशा सच होती है। क्लिपबोर्ड हेल्पर्स। 289

GetImageAlternative मेथड में, img वैरिएबल की जाँच की जाती है कि बिटमैप क्लास के एक नए इंस्टेंस के बनने के बाद यह सही नहीं है। यहाँ पिछले उदाहरण से अंतर यह है कि हम img वैरिएबल को इनिशियलाइज़ करने के लिए कंस्ट्रक्टर के बजाय GetDIBImage विधि का उपयोग करते हैं। कोड लेखक का सुझाव है कि इस पद्धति में एक अपवाद हो सकता है, लेकिन वह केवल ब्लॉक की कोशिश करता है और अंत में , कैच को छोड़ देता है। इसलिए, यदि कोई अपवाद होता है, तो कॉलर विधि GetImageAlternative को बिटमैप प्रकार के ऑब्जेक्ट का संदर्भ नहीं मिलेगा, लेकिन अपवाद को अपने स्वयं के कैच ब्लॉक में संभालना होगा। इस स्थिति में, img वैरिएबल को प्रारंभ नहीं किया जाएगा और निष्पादन थ्रेड भी img तक नहीं पहुंचेगा ! = नल चेक लेकिन पकड़ ब्लॉक में मिलेगा। नतीजतन, विश्लेषक ने अत्यधिक जांच की ओर इशारा किया।

आइए एक V3022 चेतावनी के निम्नलिखित उदाहरण पर विचार करें:

 private void btnCopyLink_Click(object sender, EventArgs e) { .... if (lvClipboardFormats.SelectedItems.Count == 0) { url = lvClipboardFormats.Items[0].SubItems[1].Text; } else if (lvClipboardFormats.SelectedItems.Count > 0) { url = lvClipboardFormats.SelectedItems[0].SubItems[1].Text; } .... }

PVS-Studio चेतावनी: V3022 [CWE-571] अभिव्यक्ति 'lvClipboardFormats.SelectedItems.Count> 0' हमेशा सच होता है। AfterUploadForm.cs 155

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

V3022 चेतावनी का अंतिम उदाहरण कोड का निम्नलिखित टुकड़ा होगा:

 private void DrawCursorGraphics(Graphics g) { .... int cursorOffsetX = 10, cursorOffsetY = 10, itemGap = 10, itemCount = 0; Size totalSize = Size.Empty; int magnifierPosition = 0; Bitmap magnifier = null; if (Options.ShowMagnifier) { if (itemCount > 0) totalSize.Height += itemGap; .... } .... }

पीवीएस-स्टूडियो चेतावनी: V3022 अभिव्यक्ति 'आइटमकाउंट> 0' हमेशा गलत होता है। रीजन्सकैप्ट्योरफॉर्म .cs 1100

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

अच्छा, चलो अब कुछ सच में देखो।

बग को समझने का सबसे अच्छा तरीका एक बग की कल्पना करना है

ऐसा लगता है कि इस जगह पर एक दिलचस्प त्रुटि पाई गई थी:

 public static void Pixelate(Bitmap bmp, int pixelSize) { .... float r = 0, g = 0, b = 0, a = 0; float weightedCount = 0; for (int y2 = y; y2 < yLimit; y2++) { for (int x2 = x; x2 < xLimit; x2++) { ColorBgra color = unsafeBitmap.GetPixel(x2, y2); float pixelWeight = color.Alpha / 255; r += color.Red * pixelWeight; g += color.Green * pixelWeight; b += color.Blue * pixelWeight; a += color.Alpha * pixelWeight; weightedCount += pixelWeight; } } .... ColorBgra averageColor = new ColorBgra((byte)(b / weightedCount), (byte)(g / weightedCount), (byte)(r / weightedCount), (byte)(a / pixelCount)); .... }

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

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

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

1) प्राप्त छवि के टुकड़े को पिक्सेल के आकार के बराबर पक्ष के साथ वर्गों में विभाजित करें। उदाहरण के लिए, यदि हमारे पास पिक्सेल आकार 15 के बराबर है, तो हमें एक वर्ग मिलेगा, जिसमें 15x15 = 225 पिक्सेल होंगे।

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

 ColorBgra color = unsafeBitmap.GetPixel(x2, y2); float pixelWeight = color.Alpha / 255; r += color.Red * pixelWeight; g += color.Green * pixelWeight; b += color.Blue * pixelWeight; a += color.Alpha * pixelWeight; weightedCount += pixelWeight;

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

3) वर्तमान वर्ग में सभी पिक्सल को ट्रैवर्स करने के बाद, हम इस वर्ग के लिए एक सामान्य "औसत" रंग बना सकते हैं। ऐसा करने वाला कोड इस प्रकार है:

 ColorBgra averageColor = new ColorBgra((byte)(b / weightedCount), (byte)(g / weightedCount), (byte)(r / weightedCount), (byte)(a / pixelCount));

4) अब जब हमने अंतिम रंग प्राप्त किया और इसे औसतन चर में लिखा, तो हम फिर से वर्ग के प्रत्येक पिक्सेल को पार कर सकते हैं और इसे औसत रंग से मान दे सकते हैं ।

5) बिंदु 2 पर वापस जाएं जबकि हमारे पास बिना खंड के हैं।

एक बार फिर, भारितकाउंट चर एक वर्ग में सभी पिक्सेल की संख्या के बराबर नहीं है। उदाहरण के लिए, यदि किसी चित्र में पूरी तरह से पारदर्शी पिक्सेल (अल्फा चैनल में शून्य मान) होता है, तो इस पिक्सेल ( 0/255 = 0) के लिए पिक्सेलवेअर चर शून्य होगा। इसलिए, यह पिक्सेल भारितकाउंट चर के गठन को प्रभावित नहीं करेगा। यह काफी तार्किक है - पूरी तरह से पारदर्शी पिक्सेल के रंगों को ध्यान में रखने का कोई मतलब नहीं है।

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

क्या आपने पिक्सेलेशन देखा है? न हमारे पास। ठीक है, अब इस छोटे साज़िश का खुलासा करते हैं और समझाते हैं कि वास्तव में यह बग कहाँ छिपा है। त्रुटि पिक्सेल की चर वैरिएबल कम्प्यूटेशन की रेखा में होती है:

 float pixelWeight = color.Alpha / 255;

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

यह स्पष्ट करना आसान है कि कुछ पारदर्शिता के साथ छवियों को पिक्सेल करना असंभव क्यों है। चूँकि अल्फा चैनल के इन पिक्सेल मानों की सीमा 0 <अल्फा <255 है, 255 से विभाजित अल्फा चर हमेशा 0 में परिणामित होंगे। इसलिए, चर के मानों में PixWeight , r , g , b , a , भारितकाउंट भी होगा हमेशा 0. होना चाहिए। परिणामस्वरूप, हमारा औसत चैनल सभी चैनलों में शून्य मान के साथ होगा: लाल - 0, नीला - 0, हरा - 0, अल्फा - 0. इस रंग में एक वर्ग को चित्रित करके, हम मूल रंग नहीं बदलते हैं पिक्सल के रूप में, औसतनजर बिल्कुल पारदर्शी है। इस त्रुटि को ठीक करने के लिए, हमें केवल अल्फा फ़ील्ड को फ्लोट प्रकार में स्पष्ट रूप से डालना होगा। कोड लाइन का निश्चित संस्करण इस तरह दिख सकता है:

 float pixelWeight = (float)color.Alpha / 255;

खैर, गलत कोड के लिए पीवीएस-स्टूडियो के संदेश का हवाला देते हुए उच्च समय है:

PVS-Studio चेतावनी: V3041 [CWE-682] अभिव्यक्ति को 'int' प्रकार से 'फ्लोट' प्रकार में डाला गया था। एक आंशिक भाग के नुकसान से बचने के लिए एक स्पष्ट प्रकार के कलाकारों का उपयोग करने पर विचार करें। एक उदाहरण: डबल ए = (डबल) (एक्स) / वाई ;; ImageHelpers.cs 1119

तुलना के लिए, हमें सही एप्लिकेशन संस्करण पर प्राप्त की गई वास्तव में पिक्सेल वाली छवि का स्क्रीनशॉट उद्धृत करें:

संभावित NullReferenceException

 public static bool AddMetadata(Image img, int id, string text) { .... pi.Value = bytesText; if (pi != null) { img.SetPropertyItem(pi); return true; } .... }

PVS-Studio चेतावनी: V3095 [CWE-476] नल के खिलाफ सत्यापित होने से पहले 'pi' ऑब्जेक्ट का उपयोग किया गया था। जाँच लाइनें: 801, 803. ImageHelpers.cs 801

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

इसी तरह की स्थिति को दूसरी जगह देखा गया है:

 private static void Task_TaskCompleted(WorkerTask task) { .... task.KeepImage = false; if (task != null) { if (task.RequestSettingUpdate) { Program.MainForm.UpdateCheckStates(); } .... } .... }

पीवीएस-स्टूडियो चेतावनी: V3095 [CWE-476] नल के खिलाफ सत्यापित होने से पहले 'कार्य' ऑब्जेक्ट का उपयोग किया गया था। चेक लाइनें: 268, 270. टास्कमैनएगर ।cs 268

PVS-Studio को एक और समान त्रुटि मिली। बिंदु समान है, इसलिए कोड के टुकड़े का हवाला देने की कोई बहुत आवश्यकता नहीं है, विश्लेषक संदेश पर्याप्त होगा।

PVS-Studio चेतावनी: V3095 [CWE-476] नल के खिलाफ सत्यापित होने से पहले 'Config.PhotobucketAccountInfo' ऑब्जेक्ट का उपयोग किया गया था। चेक लाइनें: 216, 219. अपलोडर्सकॉन्फिगफॉर्म .cs 216

वही वापसी मूल्य

WindowsList वर्ग की EvalWindows विधि में एक संदिग्ध कोड टुकड़ा पाया गया, जो सभी मामलों में सही है:

 public class WindowsList { public List<IntPtr> IgnoreWindows { get; set; } .... public WindowsList() { IgnoreWindows = new List<IntPtr>(); } public WindowsList(IntPtr ignoreWindow) : this() { IgnoreWindows.Add(ignoreWindow); } .... private bool EvalWindows(IntPtr hWnd, IntPtr lParam) { if (IgnoreWindows.Any(window => hWnd == window)) { return true; // <= } windows.Add(new WindowInfo(hWnd)); return true; // <= } }

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

तार्किक लगता है कि अगर IgnoreWindows नाम की सूची में hWnd के समान नाम के साथ एक सूचक है, तो विधि को गलत लौटना चाहिए।

निर्माणकर्ता WindowsList (IntPtr ignWindow) को कॉल करते समय या सीधे संपत्ति तक पहुँचने के माध्यम से इग्नोरवूड सूची को भरा जा सकता है। वैसे भी, विजुअल स्टूडियो के अनुसार, कोड में फिलहाल यह सूची नहीं भरी गई है। यह इस पद्धति का एक और विचित्र स्थान है।

इवेंट हैंडलर्स का असुरक्षित कॉल

 protected void OnNewsLoaded() { if (NewsLoaded != null) { NewsLoaded(this, EventArgs.Empty); } }

पीवीएस-स्टूडियो चेतावनी: V3083 [CWE-367] इवेंट 'NewsLoaded' का असुरक्षित आमंत्रण, NullReferenceException संभव है। इसे लागू करने से पहले एक स्थानीय चर को घटना असाइन करने पर विचार करें। NewsListControl.cs 111

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

 protected void OnNewsLoaded() { NewsLoaded?.Invoke(this, EventArgs.Empty); }

विश्लेषक ने 68 समान टुकड़ों की ओर इशारा किया। हम उन सभी का वर्णन नहीं करेंगे - वे सभी एक समान कॉल पैटर्न हैं।

ToString से अशक्त लौटें

हाल ही में मुझे अपने सहकर्मी के एक दिलचस्प लेख से पता चला है कि Microsoft ओवरराइड विधि ToString से अशक्त लौटने की सलाह नहीं देता है। पीवीएस-स्टूडियो इससे अच्छी तरह वाकिफ है:

 public override string ToString() { lock (loggerLock) { if (sbMessages != null && sbMessages.Length > 0) { return sbMessages.ToString(); } return null; } }

PVS-Studio चेतावनी: V3108 यह 'ToSting ()' विधि से 'null' वापस करने के लिए अनुशंसित नहीं है। लकड़हारा। 167

इस्तेमाल नहीं होने पर क्यों सौंपा?

 public SeafileCheckAccInfoResponse GetAccountInfo() { string url = URLHelpers.FixPrefix(APIURL); url = URLHelpers.CombineURL(APIURL, "account/info/?format=json"); .... }

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

जैसा कि हम उदाहरण से देख सकते हैं, जब url वैरिएबल की घोषणा करते हुए, इसे एक मान दिया जाता है, जो FixPrefix विधि से लौटा है। अगली पंक्ति में, हम प्राप्त मूल्य को बिना उपयोग किए भी साफ कर देते हैं। हमें मृत कोड के समान कुछ मिलता है: यह काम करता है, लेकिन परिणाम को प्रभावित नहीं करता है। सबसे अधिक संभावना है, यह त्रुटि कॉपी-पेस्ट का एक परिणाम है, क्योंकि इस तरह के कोड के टुकड़े 9 और तरीकों से होते हैं। एक उदाहरण के रूप में, हम एक समान पहली पंक्ति के साथ दो तरीकों का हवाला देंगे:

 public bool CheckAuthToken() { string url = URLHelpers.FixPrefix(APIURL); url = URLHelpers.CombineURL(APIURL, "auth/ping/?format=json"); .... } .... public bool CheckAPIURL() { string url = URLHelpers.FixPrefix(APIURL); url = URLHelpers.CombineURL(APIURL, "ping/?format=json"); .... }

निष्कर्ष

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

अंत में, हम आपको अपनी परियोजनाओं पर विश्लेषक को डाउनलोड करने और प्रयास करने के लिए आमंत्रित करते हैं।

पीवीएस-स्टूडियो इन द क्लाउड्स: एज़्योर देवओपीएस

चलो विन्यास शुरू करते हैं

विश्लेषण के परिणाम

निष्कर्ष

More articles: