PVS-Studio के साथ OpenCV पर OpenCvSharp आवरण की जाँच करना

OpenCV कंप्यूटर विज़न एल्गोरिदम, इमेज प्रोसेसिंग और सामान्य प्रयोजन के ओपन-सोर्स संख्यात्मक एल्गोरिदम की एक लाइब्रेरी है जो कई C ++ डेवलपर्स से परिचित हैं। C ++ के अलावा, OpenCV को Python, Java, Ruby, Matlab, Lua, और अन्य भाषाओं के लिए भी विकसित किया जा रहा है। चूंकि इन भाषाओं में मेरा मुख्य, C # नहीं है, इसलिए मैंने C # के तहत OpenCvSharp - आवरण लाइब्रेरी पर ध्यान देने और इस परियोजना की जाँच करने का निर्णय लिया। इस लेख में क्या पाया जा सकता है।

परिचय

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

थक गए और हाल ही में एक नए शहर में पहुंचे, मैं एक ताज़ा अनपैक किए गए KIKI रोबोट के साथ।

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

अपनी आवश्यकताओं के लिए एक पुस्तकालय के लिए इंटरनेट पर खोज करने के बाद, मैं OpenCV वेबसाइट, कंप्यूटर दृष्टि एल्गोरिदम के पुस्तकालयों के पार आया। मैं जल्द ही निराश हो गया - OpenCV को C ++ में लागू किया गया। कॉलेज से मिलने वाले लाभों के बारे में मेरा ज्ञान स्पष्ट रूप से पर्याप्त नहीं था। इसलिए, संक्षेप में गोलगप्पे के द्वारा, मैं OpenCvSharp - C # के तहत इस लाइब्रेरी के रैपर के रूप में आया, जो मेरी मुख्य भाषा है। तब से छह महीने बीत चुके हैं, कार्यक्रम पहले ही लिखा जा चुका है और लंबे समय से इसका उपयोग किया जा रहा है, और मैंने OpenCvSharp के हुड के नीचे आने और पीवीएस-स्टूडियो स्थैतिक विश्लेषक का उपयोग करके इसके स्रोत कोड की जांच करने का फैसला किया।

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

OpenCvSharp C # परियोजनाओं में लाइब्रेरी का उपयोग करने के लिए OpenCV पर एक आवरण है। OpenCV लाइब्रेरी, वैसे, हमने भी जाँच की । OpenCvSharp के फायदों में कोड नमूनों का एक बड़ा संग्रह, क्रॉस-प्लेटफ़ॉर्म (किसी भी मंच पर काम कर सकता है जो मोनो समर्थन करता है) और स्थापना में आसानी।

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

पीवीएस-स्टूडियो कोड विश्लेषक

पीवीएस-स्टूडियो सी, सी ++, सी # और जावा में लिखे गए कार्यक्रमों के स्रोत कोड में त्रुटियों और संभावित कमजोरियों का पता लगाने के लिए एक उपकरण है। विंडोज, लिनक्स और मैकओएस पर चलता है। अप्राप्य कोड, त्रुटियों और टाइपो के अलावा, पीवीएस-स्टूडियो संभावित कमजोरियों का पता लगा सकता है, जैसा कि ऊपर उल्लेख किया गया है। इसलिए, इसे स्थैतिक अनुप्रयोग सुरक्षा परीक्षण (स्थैतिक अनुप्रयोग सुरक्षा परीक्षण, SAST) के लिए एक उपकरण माना जा सकता है।

कोड के टुकड़े जिसने एक विश्लेषक की रिपोर्ट की जांच करते समय ध्यान आकर्षित किया

WriteableBitmapConverter विधि एक ही प्रकार के चार पीवीएस-स्टूडियो चेतावनियों के साथ तुरंत ध्यान आकर्षित करती है:

• V3005 'इष्टतम चैनल [PixelFormats.Indexed1]' चर को ही सौंपा गया है। लेखनीय BitmapConverter.cs 22
• V3005 'इष्टतमचैनल्स [PixelFormats.Indexed8]' चर खुद को सौंपा है। लेखनीय BitmapConverter.cs 23
• V3005 'इष्टतमटेप्स [PixelFormats.Indexed1]' चर को खुद को सौंपा गया है। लेखनीय BitmapConverter.cs 50
• V3005 'इष्टतम टाइप [PixelFormats.Indexed8]' चर को खुद को सौंपा गया है। लेखनीय BitmapConverter.cs 51

static WriteableBitmapConverter() { optimumChannels = new Dictionary <PixelFormat, int>(); optimumChannels[PixelFormats.Indexed1] = // <= optimumChannels[PixelFormats.Indexed8] = // <= optimumChannels[PixelFormats.Gray2] = optimumChannels[PixelFormats.Gray4] = optimumChannels[PixelFormats.Gray8] = optimumChannels[PixelFormats.Gray16] = optimumChannels[PixelFormats.Gray32Float] = optimumChannels[PixelFormats.Indexed1] = // <= optimumChannels[PixelFormats.Indexed2] = optimumChannels[PixelFormats.Indexed4] = optimumChannels[PixelFormats.Indexed8] = // <= .... optimumTypes = new Dictionary <PixelFormat, MatType>(); optimumTypes[PixelFormats.Indexed1] = // <= optimumTypes[PixelFormats.Indexed8] = // <= optimumTypes[PixelFormats.Gray2] = optimumTypes[PixelFormats.Gray4] = optimumTypes[PixelFormats.Gray8] = optimumTypes[PixelFormats.Indexed1] = // <= optimumTypes[PixelFormats.Indexed2] = optimumTypes[PixelFormats.Indexed4] = optimumTypes[PixelFormats.Indexed8] = // <= optimumTypes[PixelFormats.BlackWhite] = .... } .... public static class PixelFormats { .... public static PixelFormat Indexed8 { get; } .... public static PixelFormat Indexed1 { get; } .... } 

PixelFormats वर्ग System.Windows.Media नाम स्थान में परिभाषित किया गया है और विभिन्न पिक्सेल प्रारूपों का एक संग्रह है। विश्लेषक इस तथ्य की ओर ध्यान आकर्षित करता है कि WriteableBitmapConverter विधि इष्टतमChannels [PixelFormats.Indexed1] और इष्टतमचैनल्स [PixelFormats.Indexed8] तत्वों को फिर से मानती है , जो कोई व्यावहारिक अर्थ नहीं देता है। यह स्पष्ट नहीं है कि यह एक सरल टाइपो है या कुछ और था। वैसे, कोड का यह खंड स्पष्ट रूप से स्थैतिक विश्लेषणकर्ताओं के लाभों को दर्शाता है। जब आप अपनी आंखों के सामने एक ही प्रकार की लाइनों का एक गुच्छा देखते हैं, तो आपकी आँखें "धुंधला" होना शुरू हो जाती हैं, और आपकी सावधानी भंग हो जाती है - कोड में प्रोग्राम में टाइपो रेंगने के बाद भी यह आश्चर्य की बात नहीं है। और स्थैतिक विश्लेषक को चौकसता के साथ कोई समस्या नहीं है और इसे आराम करने की आवश्यकता नहीं है, इसलिए इसके लिए ऐसी त्रुटियों को ढूंढना आसान है।

स्थैतिक विश्लेषण की शक्ति और शक्ति महसूस करो।

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

 private static MatType EstimateType(Type t) { .... if (t == typeof(Vec2b)) return MatType.CV_8UC2; if (t == typeof(Vec3b)) return MatType.CV_8UC3; if (t == typeof(Vec4b)) return MatType.CV_8UC4; if (t == typeof(Vec6b)) return MatType.CV_8UC(6); if (t == typeof(Vec2s)) // <= return MatType.CV_16SC2; .... if (t == typeof(Vec2s)) // <= return MatType.CV_32SC2; .... } 

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

• यदि पहली सशर्त अभिव्यक्ति सही है, तो विधि बाहर निकल जाएगी;
• यदि पहली स्थिति झूठी है, तो दूसरी भी झूठी होगी, क्योंकि चर का परीक्षण किया जा रहा है - टी - सशर्त अभिव्यक्तियों के बीच नहीं बदलता है।

डेवलपर को कोड के इस टुकड़े की दोबारा जांच करनी चाहिए। यह संभावना है कि दूसरे चर Vec2s के स्थान पर कुछ अन्य होना चाहिए।

PVS-Studio चेतावनी : V3010 'ToString' फ़ंक्शन के रिटर्न मान का उपयोग करने की आवश्यकता है। ImgProcTest.cs 80

 public static RectanglesIntersectTypes RotatedRectangleIntersection(RotatedRect rect1, RotatedRect rect2, out Point2f[] intersectingRegion) { using (var intersectingRegionVec = new VectorOfPoint2f()) { int ret = NativeMethods .imgproc_rotatedRectangleIntersection_vector( rect1, rect2, intersectingRegionVec.CvPtr); intersectingRegion = intersectingRegionVec.ToArray(); return (RectanglesIntersectTypes) ret; } } public void RotatedRectangleIntersectionVector() { var rr1 = new RotatedRect(new Point2f(100, 100), new Size2f(100, 100), 45); var rr2 = new RotatedRect(new Point2f(130, 100), new Size2f(100, 100), 0); Cv2.RotatedRectangleIntersection(rr1, rr2, out var intersectingRegion); .... intersectingRegion.ToString(); } 

RotatedRectangleIntersection विधि intersectingRegion पैरामीटर के माध्यम से Point2f तत्वों की एक सरणी देता है। कार्यक्रम के बाद मूल्यों के साथ intersectingRegion में भर जाता है, ToString () विधि इस सरणी पर कहा जाता है । सरणी के तत्वों के साथ, इसमें से कोई परिवर्तन नहीं होता है और अंतिम पंक्ति में कोई उपयोगी कार्य नहीं किया जाता है, इसलिए डेवलपर पर संदेह करने का कारण है कि वह इसे हटाने के लिए भूल गया।

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

• V3021 समान सशर्त अभिव्यक्तियों के साथ दो 'यदि' कथन हैं। पहले 'if' स्टेटमेंट में मेथड रिटर्न होता है। इसका अर्थ यह है कि दूसरा 'अगर' कथन संवेदनहीन है Cv2_calib3d.cs 1370
• V3022 अभिव्यक्ति 'ऑब्जेक्टपॉइंट्स == नल' हमेशा गलत होता है। Cv2_calib3d.cs 1372

 public static double CalibrateCamera(....) { if (objectPoints == null) throw new ArgumentNullException(nameof(objectPoints)); if (objectPoints == null) throw new ArgumentNullException(nameof(objectPoints)); .... } 

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

प्यारा कॉपी-पेस्ट।

अन्य समान विश्लेषक चेतावनियाँ:

• V3021 समान सशर्त अभिव्यक्तियों के साथ दो 'यदि' कथन हैं। पहले 'if' स्टेटमेंट में मेथड रिटर्न होता है। इसका मतलब यह है कि दूसरा 'अगर' कथन संवेदनहीन है Cv2_calib3d.cs 1444
• V3022 अभिव्यक्ति 'ऑब्जेक्टपॉइंट्स == नल' हमेशा गलत होता है। Cv2_calib3d.cs 1446

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

 internal static class Labeller { .... private const int MarkerValue = -1; public static int Perform(Mat img, CvBlobs blobs) { .... int label = 0; int lastLabel = 0; CvBlob lastBlob = null; for (int y = 0; y < h; y++) { for (int x = 0; x < w; x++) { if (imgIn[x + y * step] == 0) continue; bool labeled = labels[y, x] != 0; if (....) { labeled = true; // Label contour. label++; if (label == MarkerValue) // <= throw new Exception(); .... } .... } .... } } } 

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

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

 public static void FastNlMeansDenoisingMulti(....) { .... NativeMethods.photo_fastNlMeansDenoisingMulti( srcImgPtrs, srcImgPtrs.Length, dst.CvPtr, imgToDenoiseIndex, templateWindowSize, h, templateWindowSize, searchWindowSize); .... } 

यह समझने के लिए कि विश्लेषक का क्या मतलब है, आइए photo_fastNlMeansDenoisingMulti विधि के मापदंडों को देखें :

 public static extern void photo_fastNlMeansDenoisingMulti( IntPtr[] srcImgs, int srcImgsLength, IntPtr dst, int imgToDenoiseIndex, int temporalWindowSize, float h, int templateWindowSize, int searchWindowSize) 

इसे और अधिक स्पष्ट करने के लिए और भी सरल करें। इन पंक्तियों की तुलना करें:

 NativeMethods.photo_fastNlMeansDenoisingMulti( .... templateWindowSize, .... templateWindowSize, ....); public static extern void photo_fastNlMeansDenoisingMulti( .... int temporalWindowSize, .... int templateWindowSize, ....) 

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

इसी तरह के विश्लेषक चेतावनी:

• V3038 तर्क कई बार विधि के लिए पारित किया गया था। यह संभव है कि इसके बजाय अन्य तर्क पारित किया जाना चाहिए। Cv2_photo.cs 149
• V3038 तर्क कई बार विधि के लिए पारित किया गया था। यह संभव है कि इसके बजाय अन्य तर्क पारित किया जाना चाहिए। Cv2_photo.cs 180
• V3038 तर्क कई बार विधि के लिए पारित किया गया था। यह संभव है कि इसके बजाय अन्य तर्क पारित किया जाना चाहिए। Cv2_photo.cs 205

निम्न त्रुटि पिछले एक के समान होगी।

चेतावनी PVS-Studio : V3066 'कैलिब 3 डी_ रोड्रिग्स_मैटवेक' पद्धति के लिए दिए गए तर्कों का संभावित गलत क्रम: 'मैट्रिक्सएम.कवरपॉट' और 'वेक्टरएम.कवरपॉट'। Cv2_calib3d.cs 86

 public static void Rodrigues(double[,] matrix, out double[] vector, out double[,] jacobian) { .... using (var jacobianM = new Mat<double>()) { NativeMethods.calib3d_Rodrigues_MatToVec (matrixM.CvPtr, vectorM.CvPtr, jacobianM.CvPtr); .... } } 

आइए मापदंडों को देखें calib3d_Rodrigues_MatToVec

 public static extern void calib3d_Rodrigues_MatToVec( IntPtr vector, IntPtr matrix, IntPtr jacobian) 

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

पीवीएस-स्टूडियो चेतावनी : V3063 सशर्त अभिव्यक्ति का एक हिस्सा हमेशा गलत होता है यदि इसका मूल्यांकन किया जाता है: डेटा == अशक्त। Mat.cs 3539

 private void CheckArgumentsForConvert(....) { .... if (data == null) throw new ArgumentNullException(nameof(data)); MatType t = Type(); if (data == null || (data.Length * dataDimension) // <= (data.Length * dataDimension) % t.Channels != 0) .... } 

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

मैं समझता हूं कि आप पहले से ही थके हुए हैं, लेकिन बहुत कम बचा है।

PVS-Studio चेतावनी : V3127 दो समान कोड अंश पाए गए। शायद, यह एक टाइपो है और 'src2' Cv2_imgprocs 1547 के बजाय 'विंडो' वेरिएबल का उपयोग किया जाना चाहिए

 public static Point2d PhaseCorrelateRes(....) { if (src1 == null) throw new ArgumentNullException(nameof(src1)); if (src2 == null) throw new ArgumentNullException(nameof(src2)); if (window == null) throw new ArgumentNullException(nameof(src2)); // <= .... } 

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

 if (window == null) throw new ArgumentNullException(nameof(window)); 

PVS-Studio चेतावनी : V3142 अनुपलब्ध कोड का पता चला। यह संभव है कि कोई त्रुटि मौजूद हो। MatOfT.cs 873

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

 public new Mat<TElem> SubMat(params Range[] ranges) { Mat result = base.SubMat(ranges); return Wrap(result); } 

विश्लेषक का दावा है कि वापसी विवरण यहां उपलब्ध नहीं है। इसे जांचने के लिए, सबमैट विधि के शरीर को देखें ।

 public Mat SubMat(params Range[] ranges) { throw new NotImplementedException(); /* if (ranges == null) throw new ArgumentNullException(); ThrowIfDisposed(); CvSlice[] slices = new CvSlice[ranges.Length]; for (int i = 0; i < ranges.Length; i++) { slices[i] = ranges[i]; } IntPtr retPtr = NativeMethods.core_Mat_subMat1(ptr, ranges.Length, ranges); Mat retVal = new Mat(retPtr); return retVal;*/ } 

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

विश्लेषक द्वारा पाई गई निम्नलिखित तीन त्रुटियां एक ही प्रकार की हैं, लेकिन वे इतनी शांत हैं कि मैं उन सभी को लिखने में मदद नहीं कर सका।

PVS-Studio चेतावनी : V3022 अभिव्यक्ति 'String.IsNullOrEmpty ("winName")' हमेशा गलत है। Cv2_highgui.cs 46

 public static void DestroyWindow(string winName) { if (String.IsNullOrEmpty("winName")) .... } 

PVS- स्टूडियो चेतावनी : V3022 अभिव्यक्ति ' string.IsNullOrEmpty (" फ़ाइलनाम ")' हमेशा गलत है। फ्रेमवर्क.एससी 37

 public static FrameSource CreateFrameSource_Video(string fileName) { if (string.IsNullOrEmpty("fileName")) .... } 

PVS- स्टूडियो चेतावनी : V3022 अभिव्यक्ति ' string.IsNullOrEmpty (" फ़ाइलनाम ")' हमेशा गलत है। फ्रेमवर्क.के। 53

 public static FrameSource CreateFrameSource_Video_CUDA(string fileName) { if (string.IsNullOrEmpty("fileName")) .... } 

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

जाहिरा तौर पर, डेवलपर ने एक बार सील की और, कॉपी-पेस्ट का उपयोग करके, कोड द्वारा इस त्रुटि का प्रचार किया।

निष्कर्ष

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

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

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

आपका ध्यान के लिए धन्यवाद। डाउनलोड करें और पीवीएस-स्टूडियो के परीक्षण संस्करण का उपयोग करके अपनी परियोजनाओं का परीक्षण करें।

यदि आप इस लेख को अंग्रेजी बोलने वाले दर्शकों के साथ साझा करना चाहते हैं, तो कृपया अनुवाद के लिंक का उपयोग करें: एकातेरिना निकिफोरोवा। PVC-Studio के साथ OpenCV के लिए OpenCvSharp Wrapper की जाँच करना ।