पीवीएस-स्टूडियो के साथ शुरुआत करने के लिए यूडब्ल्यूपी के लिए टेलिक यूआई की जाँच करना

यह PVS-Studio टीम में नव नियोजित डेवलपर्स के लिए एक परंपरा बन गई है, जो कुछ ओपन-सोर्स प्रोजेक्ट में विश्लेषक द्वारा पाए गए बगों की समीक्षा करते हुए एक लेख लिखकर शुरू करता है। UWP के लिए Telerik UI आज की समीक्षा के लिए चुना गया प्रोजेक्ट है।

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

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

PVS-Studio को कई तरीकों से चलाया जा सकता है:

• डेवलपर्स के व्यक्तिगत कंप्यूटरों पर स्थानीय रूप से विज़ुअल स्टूडियो या इंटेलीज आईडीईए के लिए एक प्लगइन के रूप में;
• सोनारक्यूब के साथ एकीकरण करके: निरंतर कोड गुणवत्ता निरीक्षण मंच;
• एक निर्माण प्रणाली में एकीकृत करने के लिए एक स्टैंडअलोन आवेदन के रूप में;
• एक विशेष संकलन निगरानी उपयोगिता के साथ संयोजन में चल रहा है;
• Azure DevOps, Jenkins, TeamCity, Travis CI और अन्य समान प्रणालियों के साथ एकीकरण करके;
• आदि

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

UWP के लिए Telerik UI यूनिवर्सल विंडोज प्लेटफॉर्म (UWP) के लिए UI नियंत्रणों का एक समूह है। प्रोजेक्ट का सोर्स कोड Github पर उपलब्ध है । सेट में 20 से अधिक घटक शामिल हैं, जो उपयोगकर्ताओं को चार्ट रूप में डेटा की कल्पना करने, सूचियां और टेबल बनाने और भौगोलिक संदर्भ में सामग्री प्रदर्शित करने के लिए मानचित्र का उपयोग करने की अनुमति देते हैं।

विश्लेषक द्वारा रिपोर्ट किए गए दिलचस्प कोड स्निपेट्स

PVS- स्टूडियो डायग्नोस्टिक संदेश: V3013 यह विचित्र है कि 'OnMinValuePropertyChanged' फ़ंक्शन का शरीर 'OnMaxValuePropertyChanged' फ़ंक्शन के शरीर के समतुल्य है। रेडगेज .cs 446

private static void OnMinValuePropertyChanged( DependencyObject sender, DependencyPropertyChangedEventArgs args) { double newVal = (double)args.NewValue; ValidateValue(newVal); RadGauge gauge = sender as RadGauge; if (gauge.panel != null) { gauge.panel.UpdateOnMinMaxValueChange(); } if(AutomationPeer.ListenerExists(AutomationEvents.PropertyChanged)) { var peer = FrameworkElementAutomationPeer.FromElement(gauge) as RadGaugeAutomationPeer; if (peer != null) { peer.RaiseMinimumPropertyChangedEvent((double)args.OldValue, (double)args.NewValue); } } } private static void OnMaxValuePropertyChanged( DependencyObject sender, DependencyPropertyChangedEventArgs args) { double newVal = (double)args.NewValue; ValidateValue(newVal); RadGauge gauge = sender as RadGauge; if (gauge.panel != null) { gauge.panel.UpdateOnMinMaxValueChange(); } if (AutomationPeer.ListenerExists(AutomationEvents.PropertyChanged)) { var peer = FrameworkElementAutomationPeer.FromElement(gauge) as RadGaugeAutomationPeer; if (peer != null) { peer.RaiseMinimumPropertyChangedEvent((double)args.OldValue, (double)args.NewValue); } } } 

दो तरीकों, OnMinValuePropertyChanged और OnMaxValuePropertyChanged , एक ही क्रिया करते हैं। मुझे दृढ़ता से संदेह है कि यहां एक बग है। ध्यान दें कि दोनों विधियाँ एक ही विधि को कॉल करती हैं, RaiseMinimumPropertyChangedEvent , जबकि RadGaugeAutomationPeer वर्ग "न्यूनतम" और "अधिकतम" के लिए अलग-अलग विधियों को लागू करता है:

 internal void RaiseMaximumPropertyChangedEvent(double oldValue, double newValue) { this.RaisePropertyChangedEvent( RangeValuePatternIdentifiers.MaximumProperty, oldValue, newValue); } internal void RaiseMinimumPropertyChangedEvent(double oldValue, double newValue) { this.RaisePropertyChangedEvent( RangeValuePatternIdentifiers.MinimumProperty, oldValue, newValue); } 

RaiseMinimumPropertyChangedEvent मेथड का उपयोग दो बार किया जाता है, जबकि RaiseMaximumPropertyChangedEvent मेथड का उपयोग बिल्कुल नहीं किया जाता है। यह मुझे संदेह है कि OnMaxValuePropertyChanged विधि अच्छी तरह से काम करती है ... मुझे लगता है कि यह इस तरह दिखना था:

 private static void OnMaxValuePropertyChanged( DependencyObject sender, DependencyPropertyChangedEventArgs args) { .... peer.RaiseMaximumPropertyChangedEvent((double)args.OldValue, (double)args.NewValue); .... } 

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

इस खंड और अगले एक को देखते हुए, मुझे संदेह है कि परियोजना के लेखक हर अब और फिर कॉपी-पेस्ट में लिप्त हैं। खैर, हम सब करते हैं ... :)

PVS- स्टूडियो डायग्नोस्टिक संदेश: V3001 समान उप-अभिव्यक्तियाँ 'तत्व हैं ।.RenderSize ==' बाईं ओर और 'दाईं ओर' को 'खाली करें' ऑपरेटर। TiltInteractionEffect.cs 181

 private static bool IsPointInElementBounds(FrameworkElement element, Point position) { Size emptySize = new Size(0, 0); if (element.RenderSize == emptySize || element.RenderSize == emptySize) { return false; } return new Rect(....).Contains(position); } 

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

PVS- स्टूडियो डायग्नोस्टिक संदेश: V3001 समान उप-अभिव्यक्तियाँ हैं 'पाठ [0] ==' - '' बाईं ओर और दाईं ओर '' || ऑपरेटर। RadNumericBox.cs 1057

 private void ValidateText() { string text = this.textBox.Text; .... if (text.Length == 1 && (text[0] == '-' || text[0] == '-')) { if (this.isNegative) { this.isNegative = false; } else { this.SetText(string.Empty); } return; } .... } 

पाठ बॉक्स फ़ील्ड में दर्ज पाठ को एक चर में पढ़ा जाता है। स्ट्रिंग के पहले चरित्र की तुलना '' - '' अक्षर से दो बार की जाती है, जो सही नहीं लगता। जाहिर है, इस समारोह में पाठ सत्यापन के रूप में इरादा नहीं करता है।

पीवीएस-स्टूडियो डायग्नोस्टिक संदेश: V3001 समान उप-अभिव्यक्तियाँ हैं 'newValue.HasValue' बाईं ओर और '&&' ऑपरेटर के दाईं ओर। DateTimePicker.cs 576

 private static void OnValueChanged(object sender, DependencyPropertyChangedEventArgs args) { DateTimePicker picker = sender as DateTimePicker; var newValue = (DateTime?)args.NewValue; if (newValue.HasValue && newValue != null) // <= .... } 

दोनों सशर्त अभिव्यक्तियाँ, newValue.HasValue और newValue! = अशक्त , सही हो अगर newValue का कोई मूल्य हो। विश्लेषक इसे इंगित करता है, लेकिन क्या यह बग सबएक्सप्रेस में से किसी एक को हटाकर या किसी अन्य के साथ प्रतिस्थापित करके तय किया जाना चाहिए (यदि मामले में कुछ और जाँच की जानी थी) तो कुछ ऐसा है कि केवल इस कोड के लेखक ही पता लगा सकते हैं।

पीवीएस-स्टूडियो डायग्नोस्टिक संदेश: V3125 'करंटअटलैक्डमेनू' ऑब्जेक्ट का उपयोग तब किया गया था जब इसे शून्य के खिलाफ सत्यापित किया गया था। जाँच लाइनें: 98, 96. पॉपअप सेवा

 internal static class PopupService { .... private static void Overlay_PointerPressed(....) { if (CurrentAttachedMenu == null || !CurrentAttachedMenu.hitTestService. HitTest(e.GetCurrentPoint(CurrentAttachedMenu).Position).Any()) { CurrentAttachedMenu.IsOpen = false; HideOverlay(); } } } 

यदि CurrentAttachedMenu चर शून्य के बराबर होता है, तो CurrentAttachedMenu.IsOpen अभिव्यक्ति का मूल्यांकन एक अपवाद बढ़ाने में परिणाम होगा। ऐसा लगता है कि यह सिर्फ एक टाइपो है और डेवलपर्स वास्तव में विपरीत ऑपरेशन का मतलब है, '! =', बल्कि अशक्त चेक की तुलना में, लेकिन अगर ऐसा है, तो अगर स्टेटमेंट की स्थिति एक अपवाद को फेंक देगी यदि CurrentAttachedMenable चर है अशक्त के बराबर।

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

PVS- स्टूडियो डायग्नोस्टिक संदेश: V3019 संभवतः एक गलत वैरिएबल की तुलना 'रूप' कीवर्ड का उपयोग करके टाइप रूपांतरण के बाद की जाती है। चर 'ड्रैगड्रॉप्लीमेंट', 'यूआईड्रैगड्रॉप्लीमेंट' की जाँच करें। DragDrop.cs 91

 internal static void StartDrag(....) { var dragDropElement = sender as IDragDropElement; .... UIElement uiDragDropElement = dragDropElement as UIElement; .... if (dragDropElement == null || !dragDropElement.CanStartDrag(trigger, initializeContext)) { return; } .... } 

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

पीवीएस-स्टूडियो डायग्नोस्टिक संदेश: V3030 आवर्ती जाँच। '! ShowIndicatorWhenNoData' स्थिति पहले से ही लाइन 139 में सत्यापित की गई थी। RadDataBoundListBox.PullToRefresh.cs 141

 internal void HandlePullToRefreshItemStateChanged(object item, ItemState state) { .... bool showIndicatorWhenNoData = this.ShowPullToRefreshWhenNoData; if (this.realizedItems.Count == 0 && !showIndicatorWhenNoData) { if (state == ItemState.Recycled && !showIndicatorWhenNoData) { this.StopPullToRefreshLoading(false); this.HidePullToRefreshIndicator(); } return; } .... } 

दो स्थितियाँ एक ही चर दिखाती हैं IndicicatorWhenNoData । दूसरा चेक निरर्थक हो सकता है, लेकिन यह भी संभव है कि डुप्लिकेट सबएक्सप्रेस में से एक पूरी तरह से कुछ और हो।

पीवीएस-स्टूडियो डायग्नोस्टिक संदेश: V3031 एक अत्यधिक जांच को सरल बनाया जा सकता है। '' '' ऑपरेटर विपरीत भावों से घिरा हुआ है। चयनित इटेमकोलेक्शन .cs 77

 internal class SelectedItemCollection : ObservableCollection<object> { .... private bool CanInsertItem(object item) { return this.suspendLevel == 0 && this.AllowSelect && ((!this.AllowMultipleSelect && this.Count == 0) || this.AllowMultipleSelect); } } 

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

अनावश्यक कोड हटाकर स्थिति को थोड़ा सरल बनाया जा सकता है:

 internal class SelectedItemCollection : ObservableCollection<object> { .... private bool CanInsertItem(object item) { return this.suspendLevel == 0 && this.AllowSelect && (this.AllowMultipleSelect || this.Count == 0); } } 

अन्य समान चेतावनी:

• V3031 एक अत्यधिक जांच को सरल बनाया जा सकता है। '' '' ऑपरेटर विपरीत भावों से घिरा हुआ है। चुना गया
• V3031 एक अत्यधिक जांच को सरल बनाया जा सकता है। '' '' ऑपरेटर विपरीत भावों से घिरा हुआ है। StackVirtualizationStrategy.cs 49
• V3031 एक अत्यधिक जांच को सरल बनाया जा सकता है। '' '' ऑपरेटर विपरीत अभिव्यक्तियों 'राज्य == null' और 'State! = null' से घिरा होता है। LocalFieldDeslassProviderBase.cs 24

आइए एक और कोड कोड पर विचार करें, जिसके लिए विश्लेषक ने निम्नलिखित जारी किए:

पीवीएस-स्टूडियो नैदानिक ​​संदेश:

• V3137 'leftMargin' चर असाइन किया गया है, लेकिन फ़ंक्शन के अंत तक उपयोग नहीं किया गया है। DragDrop.cs 87
• V3137 'topMargin' चर असाइन किया गया है, लेकिन फ़ंक्शन के अंत तक उपयोग नहीं किया जाता है। DragDrop.cs 88

 internal static class DragDrop { .... double leftMargin = 0d; double topMargin = 0d; if (frameworkElementSource != null) { leftMargin = frameworkElementSource.Margin.Left; // <= topMargin = frameworkElementSource.Margin.Top; // <= } if (dragDropElement == null || !dragDropElement.CanStartDrag(trigger, initializeContext)) { return; } var context = dragDropElement .DragStarting(trigger, initializeContext); if (context == null) { return; } var startDragPosition = e .GetCurrentPoint(context.DragSurface.RootElement).Position; var relativeStartDragPosition = e .GetCurrentPoint(uiDragDropElement).Position; var dragPositionMode = DragDrop .GetDragPositionMode(uiDragDropElement); AddOperation(new DragDropOperation( context, dragDropElement, dragPositionMode, e.Pointer, startDragPosition, relativeStartDragPosition)); } 

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

इस प्रकार की एक और चेतावनी थी: V3137 'currentColumnLength' चर को असाइन किया गया है, लेकिन फ़ंक्शन के अंत तक उपयोग नहीं किया जाता है। WrapLayout.cs 824

पीवीएस-स्टूडियो डायग्नोस्टिक संदेश: V3061 पैरामीटर 'इंडेक्स' हमेशा इस्तेमाल होने से पहले विधि निकाय में फिर से लिखा जाता है। DataEngine.cs 1443

 private static Tuple<Group, int> FindGroupAndItemIndex(.... int index, ....) { if (exhaustiveSearch) { .... } else { var aggregateRowGroup = rowRootGroup; var rowGroupNames = valueProvider.GetRowGroupNames(item); foreach (var groupName in rowGroupNames) { Group group; if (aggregateRowGroup.TryGetGroup(groupName, out group)) { aggregateRowGroup = group; } } index = aggregateRowGroup.IndexOf(item, // <= valueProvider.GetSortComparer()); return Tuple.Create(aggregateRowGroup, index); } } 

FindGroupAndItemIndex विधि का सूचकांक पैरामीटर उपयोग से पहले ओवरराइट किया गया है। सबसे अधिक संभावना है, यह एक प्रोग्रामर त्रुटि को इंगित करता है।

पीवीएस-स्टूडियो डायग्नोस्टिक मैसेज: V3083 इवेंट 'कम्प्लीटेड' का अनसेफ इनवोकेशन, NullReferenceException संभव है। इसे लागू करने से पहले एक स्थानीय चर को घटना असाइन करने पर विचार करें। ActionBase.cs 32

 internal abstract class ActionBase { .... protected virtual void OnCompleted() { this.IsCompleted = true; if (this.Completed != null) { this.Completed(this, EventArgs.Empty); } } } 

NullReferenceException को बढ़ाने के जोखिम में इवेंट हैंडलर को संभावित असुरक्षित तरीके से कॉल किया जाता है। यह तब होगा यदि इवेंट में कोई सदस्य नहीं है जो चेक के बीच में नहीं बचा है और ईवेंट हैंडलर का कॉल है।

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

PVS- स्टूडियो डायग्नोस्टिक संदेश: V3145 एक WeakReference लक्ष्य का असुरक्षित डीरेंस , info.Target का निरीक्षण करने पर विचार करें। ऑब्जेक्ट 'IsAlive' की जाँच करने और 'लक्ष्य' संपत्ति तक पहुँचने के बीच कचरा एकत्र किया जा सकता था। FadeAnimation.cs 84

 public class RadFadeAnimation : RadAnimation { .... protected internal override void ApplyAnimationValues(PlayAnimationInfo info) { .... if (info.Target.Opacity != opacity) // <= { info.Target.Opacity = opacity; } .... } .... } 

एक NullReferenceException को उठाया जा सकता है जब info.Target.Opacity प्रॉपर्टी को संबोधित किया जाता है। यह समझने के लिए कि समस्या के बारे में क्या है, हमें PlayAnimationInfo वर्ग के कुछ ब्लॉकों पर एक नज़र डालने की ज़रूरत है , विशेष रूप से लक्ष्य संपत्ति।

 public class PlayAnimationInfo { .... private WeakReference target; .... public PlayAnimationInfo(Storyboard storyboard, RadAnimation animation, UIElement target) { .... this.target = new WeakReference(target); .... } .... public UIElement Target { get { if (this.target.IsAlive) { return this.target.Target as UIElement; } return null; } } .... } 

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

यह कैसे संभव है? आप देखें, यदि WeakReference द्वारा संदर्भित ऑब्जेक्ट IsAlive चेक और टारगेट को कॉल के बीच कचरा-संग्रह है, तो यह. target.Target शून्य हो जाएगा। यही है, IsAlive चेक इस बात की गारंटी नहीं देता है कि ऑब्जेक्ट अगली बार आपको टारगेट कहे जाने पर भी उपलब्ध होगा।

वैसे, वापसी शून्य; समस्या का निदान एक अन्य निदानकर्ता द्वारा किया जाता है: V3080 संभावित अशांति। 'Info.Target' का निरीक्षण करने पर विचार करें। FadeAnimation.cs 84

इस तरह कुछ और दोष थे:

• V3145 एक कमजोर संदर्भ लक्ष्य का असुरक्षित हस्तक्षेप, निरीक्षण लक्ष्य पर विचार करें। 'टारगेट' प्रॉपर्टी के एक्सेस से पहले ऑब्जेक्ट को कचरा एकत्र किया जा सकता था। MoveXAnimation.cs 80
• V3145 एक कमजोर संदर्भ लक्ष्य का असुरक्षित हस्तक्षेप, निरीक्षण लक्ष्य पर विचार करें। 'टारगेट' प्रॉपर्टी के एक्सेस से पहले ऑब्जेक्ट को कचरा एकत्र किया जा सकता था। MoveYAnimation.cs 80
• V3145 एक WeakReference लक्ष्य का असुरक्षित dereference, info.Target का निरीक्षण करने पर विचार करें। 'टारगेट' प्रॉपर्टी के एक्सेस से पहले ऑब्जेक्ट को कचरा एकत्र किया जा सकता था। प्लेनप्रोएज एनिमीशन। 244
• V3145 एक कमजोर संदर्भ लक्ष्य का असुरक्षित निवारण। ऑब्जेक्ट 'IsAlive' की जाँच करने और 'लक्ष्य' संपत्ति तक पहुँचने के बीच कचरा एकत्र किया जा सकता था। WeakEventHandler.cs 109

चलिए अगले उदाहरण पर चलते हैं।

पीवीएस-स्टूडियो डायग्नोस्टिक संदेश: V3066 'NotifyCollectionChangedEventArgs' कंस्ट्रक्टर: 'oldItem' और 'newItem' को पास किए गए तर्कों का संभावित गलत क्रम। CheckedItemsCollection.cs 470

 public class CheckedItemsCollection<T> : IList<T>, INotifyCollectionChanged { .... private NotifyCollectionChangedEventArgs GenerateArgs(....) { switch (action) { case NotifyCollectionChangedAction.Add: .... case NotifyCollectionChangedAction.Remove: .... case NotifyCollectionChangedAction.Replace: return new NotifyCollectionChangedEventArgs( action, oldItem, newItem, changeIndex); // <= default: return new NotifyCollectionChangedEventArgs(action); } } } 

इस चेतावनी के अर्थ का पता लगाने के लिए, हमें NotifyCollectionChangedEventArgs के निर्माता के मापदंडों को देखने की आवश्यकता है:

  public NotifyCollectionChangedEventArgs( NotifyCollectionChangedAction action, object newItem, object oldItem, int index); 

विश्लेषक हमें बताता है कि पुराने पुराने और newItem को निम्न अभिव्यक्ति में स्वैप किया गया है:

  return new NotifyCollectionChangedEventArgs( action, oldItem, newItem, changeIndex); 

हालांकि, कंस्ट्रक्टर के कार्यान्वयन में उन चर हैं जो विपरीत क्रम में सूचीबद्ध हैं। आप केवल आश्चर्य कर सकते हैं कि यह उद्देश्य पर किया गया था या नहीं।

PVS- स्टूडियो डायग्नोस्टिक संदेश: V3102 लूप के अंदर एक स्थिर सूचकांक द्वारा 'x' ऑब्जेक्ट के तत्व तक संदिग्ध पहुंच। DataEngine.cs 1718

 private class ObjectArrayComparer : IEqualityComparer<object[]> { public bool Equals(object[] x, object[] y) { .... for (int i = 0; i < x.Length; i++) { if (!object.Equals(x[0], y[0])) // <= { return false; } } return true; } .... } 

तत्व x [0] और y [0] की तुलना प्रत्येक लूप पुनरावृत्ति में की जाती है। लेकिन चूंकि केवल पहले तत्वों की तुलना की जाती है, लूप का कोई मतलब नहीं है। डेवलपर्स का इरादा इसके बजाय एरे के संबंधित तत्वों की तुलना करना था। उस स्थिति में, सही संस्करण इस तरह दिखेगा:

 for (int i = 0; i < x.Length; i++) { if (!object.Equals(x[i], y[i])) { return false; } } 

PVS- स्टूडियो डायग्नोस्टिक संदेश: V3123 शायद '?:' ऑपरेटर अपेक्षा के अनुरूप काम करता है। इसकी प्राथमिकता इसकी स्थिति में अन्य ऑपरेटरों की प्राथमिकता से कम है। EditRowHostPanel.cs 35

 protected override Size MeasureOverride(Size availableSize) { .... bool shouldUpdateRowHeight = editorLine == 0 || displayedElement == null ? false : displayedElement.ContainerType != typeof(DataGridGroupHeader); .... } 

यह चेतावनी '?:' संचालक के उपयोग से संबंधित है। इसकी पूर्वता =!, ||, और == की तुलना में कम है, जिसका अर्थ है कि ऊपर की अभिव्यक्ति का मूल्यांकन करने का क्रम अपेक्षित से भिन्न हो सकता है। यह विशेष मामला एक झूठा सकारात्मक लगता है, कोड वास्तव में इरादा के अनुसार काम कर रहा है। लेकिन उस तरह का कोड पढ़ना बहुत मुश्किल है, और यदि आप इसे सही तरीके से समझ गए हैं, तो आप निश्चित नहीं हो सकते। ऐसा लगता है जैसे यह उस तरीके से जानबूझकर लिखा गया था ताकि कोई भी इसका पता न लगा सके :) यह पढ़ने का सबसे आसान तरीका है कोष्ठक या एक बयान का उपयोग करना।

पीवीएस-स्टूडियो डायग्नोस्टिक मैसेज: V3078 ओरिजिनल सॉर्टिंग ऑर्डर 'ऑर्डरबाय' विधि के दोहराए जाने के बाद खो जाएगा। मूल छंटाई को संरक्षित करने के लिए 'तब' विधि का उपयोग करें। GridModel.Selection.cs 107

 internal partial class GridModel { private void BuildCellSelectionRegions(....) { .... this.MergeCellSelectionRegions(selectedItemsInView .OrderBy(c => c.Column.ItemInfo.LayoutInfo.Line) .OrderBy(c => c.RowItemInfo.LayoutInfo.Line)); } } 

इस बग को IOrderedEnumerable के संग्रह पर ऑर्डरबी विधि के आवर्ती कॉल के साथ करना है। संग्रह को पहले स्तंभों और फिर पंक्तियों द्वारा क्रमबद्ध किया जाता है। समस्या यह है कि पहली तरह का परिणाम - कॉलम द्वारा - कहीं भी संग्रहीत नहीं किया जाता है और पंक्तियों द्वारा क्रमबद्ध होने पर यह खो जाएगा। यदि आप कॉलम-वार सॉर्ट का परिणाम रखना चाहते हैं और कई-मापदंड सॉर्ट करते हैं, तो ThenBy विधि का उपयोग करें:

  this.MergeCellSelectionRegions(selectedItemsInView .OrderBy(c => c.Column.ItemInfo.LayoutInfo.Line) .ThenBy(c => c.RowItemInfo.LayoutInfo.Line)); 

PVS- स्टूडियो डायग्नोस्टिक संदेश: V3008 'currentColumnLength' चर को क्रमिक रूप से दो बार मान दिया गया है। शायद यह एक गलती है। चेक लाइनें: 791, 785. WrapLayout.cs 791

 private void OnAvailableLengthChanged(double oldValue, double newValue) { .... if (....) { if (currentColumnLength > 0) { var paddingValue = Math.Max(0, newValue - currentColumnLength); this.paddingRenderInfo.Add(paddingValue); currentColumnLength = 0; // <= slotCount++; } this.ColumnSlotsRenderInfo.Update(i, newValue); this.paddingRenderInfo.Add(0); currentColumnLength = 0; // <= slotCount++; continue; } else { .... } .... } 

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

पीवीएस-स्टूडियो डायग्नोस्टिक संदेश: V3127 दो समान कोड टुकड़े पाए गए। शायद, यह एक टाइपो है और 'भराईकोन्टेकर' वैरिएबल का उपयोग 'भरेआईकोनटेनर' रेडरैटइमेट्स के बजाय किया जाना चाहिए। 240

 public class RadRatingItem : RadContentControl { .... protected override void OnApplyTemplate() { .... this.filledIconContainer = this.GetTemplateChild( "FilledIconContainer") as Border; if (this.filledIconContainer == null) // <= { throw new MissingTemplatePartException( "FilledIconContainer", typeof(Border)); } this.emptyIconContainer = this.GetTemplateChild( "EmptyIconContainer") as Border; if (this.filledIconContainer == null) // <= { throw new MissingTemplatePartException( "EmptyIconContainer", typeof(Border)); } this.Initialize(); } .... } 

ऊपर दो समान स्थितियां टाइपो के परिणामस्वरूप दिखाई दीं। इस कोड द्वारा फेंका गया अपवाद बताता है कि दूसरी स्थिति इस तरह दिखनी चाहिए:

 if (this.emptyIconContainer == null) { throw new MissingTemplatePartException( "EmptyIconContainer", typeof(Border)); } 

पीवीएस-स्टूडियो डायग्नोस्टिक संदेश: V3020 एक अनकंडीशनल 'ब्रेक' एक लूप के भीतर। NodePool.cs 189

 public IEnumerable<KeyValuePair<int, List<T>>> GetUnfrozenDisplayedElements() { foreach (var item in this.generatedContainers) { foreach (var pair in item.Value) { if (!pair.IsFrozen) { yield return item; } break; } } } 

ब्रेक स्टेटमेंट इफ स्टेटमेंट का हिस्सा नहीं है। यह जोड़े में क्या मूल्य है कोई फर्क नहीं पड़ता निष्पादित करेगा। Ssrorozen , इसलिए foreach पाश केवल एक बार पुनरावृति करेगा।

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

निष्कर्ष

हालांकि UWP के लिए Telerik UI के लेखकों ने अपनी परियोजना को विकसित करने के लिए एक बड़ा काम किया है, फिर भी वे कई टाइपो रेंगने देते हैं, क्योंकि यह आमतौर पर हमारे साथ होता है :)। उन सभी बगों को स्थैतिक विश्लेषक का उपयोग करके आसानी से पकड़ा और तय किया जा सकता था, लेकिन स्थैतिक विश्लेषण के बारे में याद रखने वाली महत्वपूर्ण बात यह है कि इसका उपयोग सही तरीके से और नियमित रूप से किया जाना चाहिए।