सी और सी ++ कोड के लिए पीवीएस-स्टूडियो विश्लेषक द्वारा उत्पन्न दिलचस्प चेतावनियों को जल्दी से कैसे देखें?

समय-समय पर, प्रोग्रामर जो पीवीएस-स्टूडियो कोड विश्लेषक से परिचित होना शुरू करते हैं, पूछते हैं: "क्या चेतावनी की एक सूची है जो त्रुटियों को सटीक रूप से इंगित करती है?" इस कारण के लिए ऐसी कोई सूची नहीं है कि एक परियोजना में एकतरफा (गलत) चेतावनियाँ और दूसरी बारी में बहुत महत्वपूर्ण और उपयोगी हो। हालांकि, सबसे दिलचस्प चेतावनियों के साथ विश्लेषक के साथ परिचित होना शुरू करना काफी संभव है। आइए इस विषय पर बारीकी से विचार करें।

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

चरण 1

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

• V2506 । मिश्रा। एक फ़ंक्शन के अंत में बाहर निकलने का एकल बिंदु होना चाहिए।
• V2507 । मिश्रा। लूप \ सशर्त विवरण का मुख्य भाग ब्रेसिज़ में संलग्न होना चाहिए।
• V2523 । मिश्रा। अहस्ताक्षरित प्रकार के सभी पूर्णांक स्थिरांक में 'यू' या 'यू' प्रत्यय होना चाहिए।

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

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

चरण 2

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

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

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

चरण 3

1 स्तर से चेतावनी सीखना शुरू करें। और उसके बाद ही 2 और 3 को देखें। चेतावनी का स्तर चेतावनी की विश्वसनीयता से ज्यादा कुछ नहीं है। स्तर 1 चेतावनियाँ 2 की तुलना में एक सच्ची त्रुटि को इंगित करने की अधिक संभावना है।

हम कह सकते हैं कि "वॉच लेवल 1" का चयन करते हुए, आप "सबसे दिलचस्प त्रुटियों को देखें" बटन दबाएं।

स्तरों द्वारा पीवीएस-स्टूडियो अलर्ट के वर्गीकरण को लेख में अधिक विस्तार से वर्णित किया गया है " कैसे और क्यों स्थिर विश्लेषक झूठी सकारात्मकता से निपटते हैं "।

तो अभी भी कोई सूची क्यों नहीं है?

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

V550 पर विचार करें। एक चेतावनी इस तथ्य के कारण संभावित त्रुटि का खुलासा करती है कि ऑपरेटर == या! = का उपयोग फ्लोटिंग-पॉइंट संख्याओं की तुलना करने के लिए किया जाता है।

जिन डेवलपर्स के साथ मैंने बात की उनमें से अधिकांश का मानना ​​है कि यह निदान थोड़ा काम का है और इसे बंद कर दिया है, क्योंकि उनकी परियोजना के लिए सभी सकारात्मक गलत हैं। और यही कारण है कि इस निदान की कम विश्वसनीयता है और 3 स्तर पर स्थित है।

दरअसल, अधिकांश अनुप्रयोगों में, फ्लोट / डबल प्रकार का उपयोग बहुत ही सरल एल्गोरिदम में किया जाता है। और अक्सर एक स्थिरांक के साथ तुलना का उपयोग केवल यह जांचने के लिए किया जाता है कि क्या कोई डिफ़ॉल्ट मान सेट है, या यदि यह बदल गया है। इस मामले में, एक सटीक जाँच काफी उपयुक्त है। मैं इसे छद्म कोड के साथ समझाऊंगा।

float value = 1.0f; if (IsUserInputNewValue()) value = GetUserValue(); if (value == 1.0f) DefaultBehavior(); else Foo(value); 

यहां तुलना (मान == 1.0f) सही और सुरक्षित है।

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

तो, क्या स्थैतिक विश्लेषक यहाँ हमारा ध्यान आकर्षित करता है:

V550 एक विषम सटीक तुलना: t! = 0. यह परिभाषित सटीकता के साथ तुलना का उपयोग करना बेहतर है: फ़ैब्स (ए - बी)> एप्सिलॉन। objectextractpart.cpp 3401

 D3DXVECTOR3 N = VectorMultiplication( VectorMultiplication(V-VP, VN), VN); float t = Qsqrt(Scalar(N, N)); if (t!=0) { N/=t; V = V - N * DistPointToSurface(V, VP, N); } 

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

जैसा कि आप देख सकते हैं, कुछ परियोजनाओं में जो दिलचस्प नहीं है वह दूसरों में रुचि रखता है। इससे "सबसे दिलचस्प" की सूची बनाना असंभव हो जाता है।

नोट। सेटिंग्स का उपयोग करके चेतावनी स्तर सेट करना संभव है। उदाहरण के लिए, यदि आपको लगता है कि V550 डायग्नॉस्टिक्स को ध्यान देने योग्य है, तो आप इसे तीसरे स्तर से पहले तक ले जा सकते हैं। इस प्रकार की सेटिंग्स को प्रलेखन में वर्णित किया गया है (देखें "विशिष्ट निदान के लिए अपना स्तर कैसे निर्धारित करें")।

निष्कर्ष

अब आप जानते हैं कि उनमें से सबसे दिलचस्प को देखते हुए, विश्लेषक चेतावनी का अध्ययन कैसे शुरू करें। और चेतावनियों के विस्तृत विवरण से परिचित होने के लिए दस्तावेज़ में देखना न भूलें। कभी-कभी ऐसा होता है कि पहली नज़र में, एक चेतावनी के पीछे, चेतावनी नरक है। ऐसे निदान का एक उदाहरण: V597 , V1026 । आपका ध्यान के लिए धन्यवाद।

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