PVS-Studio के साथ OpenCV के लिए OpenCvSharp Wrapper की जाँच करना

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

परिचय

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

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

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

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

विश्लेषण के तहत परियोजना

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

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

पी वी एस-स्टूडियो

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

सबसे दिलचस्प चेतावनियाँ

क्या लिखने योग्य BitmapConverter विधि को विशेष बनाता है यह एक ही बार में एक ही प्रकार की चार चेतावनियों को चालू करता है:

• 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 नाम स्थान में परिभाषित किया गया है और विभिन्न पिक्सेल प्रारूपों का एक संग्रह है। विश्लेषक यह बताता है कि तत्व इष्टतम चैनल [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 की दूसरी प्रति वास्तव में कुछ अन्य परिवर्तनशील थी।

पीवीएस-स्टूडियो डायग्नोस्टिक संदेश : 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 पैरामीटर के माध्यम से एक्सेस किया जाता है और प्वाइंट 2f के तत्वों की एक सरणी देता है। एक बार 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-Studio डायग्नोस्टिक संदेश: V3022 एक्सप्रेशन 'लेबल == MarkerValue' हमेशा गलत होता है। 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(); .... } .... } .... } } } 

लेबल नाम का एक वैरिएबल बनाया गया है और 0. के लिए इनिशियलाइज़ किया गया है। यदि एक निश्चित स्थिति सही है, तो यह एक के बाद एक बढ़ेगा। क्या अधिक है, यह चर इस स्निपेट में कभी भी क्षय नहीं होता है। इसलिए, इसे निरंतर -1 के लिए जांचना, जैसा कि विश्लेषक द्वारा बताई गई लाइन में है, इसका कोई मतलब नहीं है।

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

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

यह समझने के लिए कि विश्लेषक हमें क्या बता रहा है, आइए फ़ोटो पर एक नज़र डालते हैं। NlMeansDenoisingMulti के पैरामीटर:

 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, ....) 

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

इस प्रकार की अन्य चेतावनियाँ:

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

अगला उदाहरण कुछ हद तक पिछले एक के समान है।

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

पीवीएस-स्टूडियो डायग्नोस्टिक संदेश: 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) .... } 

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

मुझे पता है कि आप थक चुके हैं, लेकिन हम लगभग पूरी हो चुकी हैं।

पीवीएस-स्टूडियो डायग्नोस्टिक संदेश: 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)); 

पीवीएस-स्टूडियो डायग्नोस्टिक संदेश: 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- स्टूडियो डायग्नोस्टिक संदेश: V3022 एक्सप्रेशन 'String.IsNullOrEmpty ("winName")' हमेशा गलत होता है। Cv2_highgui.cs 46

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

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

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

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

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

कभी-कभी V3022 चेतावनियाँ (हमेशा सच / झूठ के भावों के बारे में) वास्तव में अजीब या अजीब बग की ओर इशारा करती हैं। ऊपर के तीनों उदाहरणों में उनसे एक ही गलती है। विधि में टाइप स्ट्रिंग का एक पैरामीटर होता है जिसका मान जाँचना चाहिए। इसके बजाय जाँच की जाती है, हालांकि, एक स्ट्रिंग शाब्दिक है जिसका पाठ चर का नाम है, यानी चर का नाम उद्धरण चिह्नों में संलग्न है।

प्रोग्रामर को एक बार कोड का दोषपूर्ण ब्लॉक लिखना होगा और फिर कॉपी-पेस्ट के माध्यम से इसे क्लोन करना चाहिए।

निष्कर्ष

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

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

चूंकि OpenCvSharp ओपन-सोर्स है और GitHub पर स्वतंत्र रूप से उपलब्ध है, इसलिए इसके लेखक पीवीएस-स्टूडियो के लिए नि: शुल्क लाइसेंसिंग विकल्पों में से एक का उपयोग कर सकते हैं।

पढ़ने के लिए धन्यवाद। अपने स्वयं के प्रोजेक्ट्स की जांच करने के लिए पीवीएस-स्टूडियो की ट्रायल कॉपी डाउनलोड करने में संकोच न करें।