PVS-Studio से परिचित होने के लिए UWP के लिए Telerik UI देखें

यह पहले से ही एक परंपरा बन गई है कि प्रोग्रामर पीवीएस-स्टूडियो टीम की भरपाई करते हुए एक ओपन सोर्स प्रोजेक्ट का विश्लेषण करने के बारे में एक लेख लिखकर अपना काम शुरू करते हैं। इस बार, इस तरह की एक सिद्ध परियोजना UWP के लिए Telerik UI होगी।

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

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

विश्लेषक विभिन्न उपयोग परिदृश्य प्रदान करता है:

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

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

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

फ्रैगमेंट जो एनालाइज़र रिपोर्ट का अध्ययन करते समय ध्यान आकर्षित करते हैं

PVS-Studio चेतावनी : 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 , जो समान कार्य करते हैं। मुझे पक्का संदेह है कि इस कोड में कोई त्रुटि है। ध्यान दें कि 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); } 

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

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

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

उपरोक्त और निम्न कोड स्निपेट से, हम यह मान सकते हैं कि लेखक कॉपी-पेस्ट करने से पीछे नहीं हैं। हालाँकि, हम सभी की तरह ... :)

PVS-Studio चेतावनी : V3001 समान उप-अभिव्यक्तियाँ 'तत्व हैं। RenderSize == vacSize' को बाईं और दाईं ओर '' || ऑपरेटर। 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-Studio चेतावनी : 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; } .... } 

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

PVS-Studio चेतावनी : 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! = Null एक ही करता है। विश्लेषक इस पर ध्यान देता है, और क्या करना है कि किसी एक सबसेक्स को निकालना है या इसे दूसरे के साथ बदलना है (यदि कुछ और जाँच की जानी चाहिए), यह तय करने के लिए डेवलपर्स पर निर्भर है।

PVS-Studio चेतावनी : V3125 'CurrentAttachedMenu' ऑब्जेक्ट का उपयोग तब किया गया था जब इसे null के विरुद्ध सत्यापित किया गया था। जाँच लाइनें: 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 एक अपवाद बढ़ाएगा । पहली नज़र में, ऐसा लगता है कि यह एक सरल टाइपो है और इसका मतलब शून्य के साथ तुलना नहीं है, लेकिन उलटा ऑपरेशन - '=!'। लेकिन तब अपवाद की स्थिति में एक स्टेटमेंट होगा यदि CurrentAttachedMenu चर शून्य है ।

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

PVS-Studio चेतावनी : 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 का आगे उपयोग किया।

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

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

PVS-Studio चेतावनी : 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 विधि का सूचकांक पैरामीटर उपयोग किए जाने से पहले अधिलेखित हो जाता है। सबसे अधिक संभावना है, यह एक प्रोग्रामर त्रुटि को इंगित करता है।

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

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

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

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

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

विश्लेषक InfoTarget.Opacity प्रॉपर्टी को एक्सेस करते समय NullReferenceException प्रकार के अपवाद के खतरे के बारे में चेतावनी देता है। समस्या के सार को बेहतर ढंग से समझने के लिए, आपको 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; } } .... } 

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

यह कैसे संभव है? तथ्य यह है कि यदि IsAlive चेक और टारगेट कॉल के बीच कचरा संग्रह किया जाता है, जिसके तहत WeakReference द्वारा संदर्भित ऑब्जेक्ट गिर जाता है , तो यह. 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

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

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

विश्लेषक चेतावनी देता है कि अभिव्यक्ति में

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

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

पीवीएस-स्टूडियो चेतावनी : एक लूप के अंदर निरंतर सूचकांक द्वारा 'x' ऑब्जेक्ट के तत्व तक V3102 संदिग्ध पहुंच। 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-Studio : 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 के संग्रह के लिए ऑर्डरबाय को फिर से कॉल करने से संबंधित है। यहां संग्रह को पहले कॉलम, फिर पंक्तियों द्वारा क्रमबद्ध किया जाता है। इसके अलावा, पंक्तियों द्वारा छँटाई के समय, स्तंभों द्वारा पिछली छँटाई को कहीं भी ध्यान नहीं दिया जाता है। स्तंभों द्वारा छंटाई न करने और एक ही बार में कई मानदंडों द्वारा संग्रह को क्रमबद्ध करने के लिए, तब तब का उपयोग करें :

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

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

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

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

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

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

निष्कर्ष

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

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