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

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

स्थैतिक कोड विश्लेषण क्या है और हमें इसकी आवश्यकता क्यों है

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

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

कई वाणिज्यिक और मुक्त स्थिर कोड विश्लेषक हैं। स्थैतिक विश्लेषणकर्ताओं की एक बड़ी सूची उपलब्ध है: स्थैतिक कोड विश्लेषण के लिए उपकरणों की सूची । जिन भाषाओं के लिए स्थिर कोड विश्लेषक हैं उनकी सूची काफी बड़ी है (C, C ++, C #, Java, Ada, Fortran, Perl, Ruby, ...)। कहने की जरूरत नहीं है, हम आपको पीवीएस-स्टूडियो विश्लेषक के बारे में बताएंगे।

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

चित्रा 1. कोड में उनकी उपस्थिति और पता लगाने के समय के आधार पर दोषों को ठीक करने की औसत लागत (तालिका में डेटा एस। मैककॉनेल द्वारा पुस्तक 'कोड पूरा' से लिया गया है)

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

पीवीएस-स्टूडियो स्टेटिक कोड एनालाइजर

पीवीएस-स्टूडियो एक स्थिर विश्लेषक है जो विंडोज, लिनक्स और मैकओएस प्लेटफार्मों पर सी, सी ++ (अन्य समर्थित एक्सटेंशन: सी ++ / सीएलआई और सी ++ / सीएक्स ), सी # और जावा में अनुप्रयोगों के स्रोत कोड में बग और संभावित कमजोरियों का पता लगाता है। विश्लेषक शानदार रूप से विज़ुअल स्टूडियो 2010 - 2019 और इंटेलीज आईडीईए आईडीई में एकीकृत है। इस लेख में, हम PVS-Studio पर एक नज़दीकी नज़र डालेंगे, C, C ++ और C # भाषाओं में कोड की जाँच करेंगे। आप यहां IntelliJ IDEA में Java कोड की जांच करने के लिए PVS-Studio का उपयोग करने के तरीके के बारे में पढ़ सकते हैं।

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

चित्रा 2. मुख्य आइटम जो पीवीएस-स्टूडियो विश्लेषक जोड़ता है, जब विज़ुअल स्टूडियो में एकीकृत होता है।

प्रारंभिक सेटिंग्स

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

चित्र 3. निर्देशिकाओं की एक सूची का संपादन करना जो विश्लेषक जांच नहीं करेगा।

यदि पूर्ण फ़ाइल नाम में कोई निर्दिष्ट नाम है, तो विश्लेषण इस फ़ाइल के लिए नहीं किया जाएगा। डिफ़ॉल्ट रूप से, कुछ निर्देशिकाओं के नाम पहले से ही सूची में शामिल हैं। हालांकि, आपके प्रोजेक्ट में, ZLib लाइब्रेरी वाली डायरेक्टरी को "zlib" नहीं कहा जा सकता है, लेकिन, उदाहरण के लिए, "zip_lib"। इसलिए, इस सूची को संपादित किया जाना चाहिए। संपादन शुरू करने के लिए, आपको तीन बिंदुओं वाला एक बटन क्लिक करना होगा।

PathMasks सूची के लिए स्वीकार्य मास्क के उदाहरण:

• c: \ Libs \ - इस निर्देशिका और इसके उपनिर्देशिकाओं की सभी फाइलें बाहर रखी जाएंगी।
• \ Libs \ या * \ Libs \ * - निर्देशिका में सभी फाइलें, पथ जिसमें उपनिर्देशिका "Libs" शामिल है, को बाहर रखा जाएगा। यदि प्रतीक "*" निर्दिष्ट नहीं हैं, तो वे स्वचालित रूप से वैसे भी जोड़ दिए जाएंगे, इसलिए दोनों विकल्प समान हैं।
• Libs या * Libs * - सभी फाइलें, जिस पथ में उपनिर्देशिका है, जिसका नाम बराबर है या जिसमें 'Libs' सम्‍मिलित है। इस मामले में भी सभी फाइलें, जिनके नाम में Libs हैं, उदाहरण के लिए, c: \ project \ mylibs.cpp, को बाहर रखा जाएगा। भ्रम से बचने के लिए, हम हमेशा स्लैश का उपयोग करने की सलाह देते हैं।

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

प्रोजेक्ट की जाँच

जब आप प्रारंभिक सेटिंग्स को पूरा करते हैं, तो आप प्रोजेक्ट की जांच शुरू कर सकते हैं। विजुअल स्टूडियो के लिए PVS- स्टूडियो C ++ (.vcxproj) और C # (.csproj) परियोजनाओं की जाँच का समर्थन करता है। आप तुरंत संपूर्ण समाधान की जांच करने का भी प्रयास कर सकते हैं, जिसमें इस प्रकार की परियोजनाएं शामिल हैं। ऐसा करने के लिए, एक्सटेंशन मेनू आइटम एक्सटेंशन> PVS-Studio> चेक> समाधान (चित्र 4 देखें) का चयन करें।

चित्रा 4. पीवीएस-स्टूडियो विश्लेषक का उपयोग कर एक समाधान की जांच करें।

यदि चेक में कुछ कठिनाइयाँ हैं, तो हम अपनी वेबसाइट पर " PVS-Studio: Troublesourcing " खंड का संदर्भ देने की सलाह देते हैं। ये "की जाँच करें कि प्लग सॉकेट में डाला जाता है" की भावना में बेवकूफ सिफारिशें नहीं हैं। अनुभाग उपयोगकर्ताओं के अनुरोधों और विकल्पों के सुझाव की विशिष्ट स्थितियों का वर्णन करता है।

नैदानिक ​​संदेशों की सूची के साथ काम करना

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

चित्रा 5. नैदानिक ​​संदेशों के साथ एक खिड़की।

1. खैर, यहां पीवीएस-स्टूडियो विंडो है।
2. अतिरिक्त मेनू। आपको चेतावनियों को झूठे, संदेशों को छिपाने, अपवादों की फाइलों को जोड़ने (इस बारे में नीचे पढ़ें) जैसे विकल्पों तक पहुंचने की अनुमति देता है।
3. बटन संदेशों को सक्षम करता है "कुछ गलत हो गया।" उदाहरण के लिए, किसी एक फाइल को प्रीप्रोसेस नहीं किया जा सकता है।
4. पिछले / अगले संदेश पर जाएं। यह प्रासंगिक फ़ाइल खोलता है और कर्सर को संभावित त्रुटि के साथ लाइन पर रखा जाता है। इसके अलावा, आप हमेशा डबल क्लिक के साथ सूची से एक डायग्नोस्टिक का चयन कर सकते हैं। आप पिछले / अगले संदेश में बदलाव के लिए गर्म कुंजी सेट कर सकते हैं। डिफ़ॉल्ट रूप से, यह Alt + '[' और Alt + ']' है।
5. बटन जिसमें विभिन्न स्तरों की चेतावनी शामिल है। पहले दो नैदानिक ​​स्तर अब सक्षम हैं। इसी समय, विंडो पहले स्तर की 90 चेतावनियों, दूसरे स्तर की 6700 चेतावनी को दिखाती है। संदेश स्तर विंडो के बाईं ओर एक पट्टी के रूप में दिखाया गया है, जो मिलान स्तर बटन पर पट्टी रंग के अनुरूप है। इतने सारे ट्रिगर क्यों हैं? 6700 की चेतावनी क्यों? इंटरफ़ेस की क्षमताओं को प्रदर्शित करने के लिए, MISRA नियमों का एक सेट सक्षम है, जो नियमित अनुप्रयोगों के लिए अनुपयुक्त है :)।
6. नैदानिक ​​नियमों के सक्रिय सेट। सामान्य - सामान्य निदान, अनुकूलन - सूक्ष्म अनुकूलन, 64-बिट - 64-बिट निदान, MISRA - MISRA C और MISRA C ++ मानक निदान। सभी प्रकार की चेतावनियाँ अब विंडो में प्रदर्शित की गई हैं।
7. संकेतक चेतावनी की संख्या दिखाता है, जो गलत (झूठी अलार्म) के रूप में चिह्नित है। आप सेटिंग्स में चिह्नित संदेशों के प्रदर्शन को अक्षम / निष्क्रिय कर सकते हैं - पीवीएस-स्टूडियो> विकल्प ...> विशिष्ट विश्लेषक सेटिंग्स> गलत अलार्म प्रदर्शित करें।
8. त्वरित फ़िल्टर। उदाहरण के लिए, आप सूची को केवल V501 कोड वाले संदेशों और XYZ प्रोजेक्ट में संक्षिप्त कर सकते हैं।
9. कुछ निदान एक पर ध्यान देने का सुझाव देते हैं, लेकिन कई लाइनें। इस स्थिति में, रेखा संख्या के आगे बिंदु दिखाई देते हैं। उस पर क्लिक करके, आप लाइनों की सूची देख सकते हैं और उनमें से एक चुन सकते हैं।

नैदानिक ​​संदेशों वाली तालिका को निम्नलिखित स्तंभों में विभाजित किया गया है:

• स्तर। निश्चितता का स्तर जो इंगित करता है कि त्रुटि, कोड गंध नहीं मिला। स्तर 1 (लाल) सबसे संदिग्ध स्थानों को दर्शाता है। स्तर 3 (पीला) शायद कोड में एक गैर-जरूरी अशुद्धि है।
• स्टार। इसका कोई विशिष्ट उद्देश्य नहीं है। उपयोगकर्ता अपनी इच्छानुसार इसकी व्याख्या कर सकते हैं। उदाहरण के लिए, एक उपयोगकर्ता आगे के सावधान विश्लेषण के लिए सबसे दिलचस्प चेतावनी को चिह्नित कर सकता है। सादृश्य थंडरबर्ड या आउटलुक जैसे मेल क्लाइंट में ईमेल का स्टार मार्क है।
• आईडी। अद्वितीय संदेश संख्या। बड़ी सूची से निपटने के दौरान यह उपयोगी हो सकता है। उदाहरण के लिए, आप एक विशिष्ट संख्या के साथ एक संदेश पर जा सकते हैं ( संदर्भ मेनू में "आईडी पर नेविगेट करें ..." देखें)।
• कोड। संदेश कोड। यदि आप उस पर क्लिक करते हैं, तो आप चेतावनी का वर्णन करते हुए एक पेज खोलेंगे।
• CWE। आपको CWE (सामान्य कमजोरी गणना) कोड द्वारा एक चेतावनी की पहचान करने की अनुमति देता है। जब आप लिंक पर क्लिक करते हैं, तो आप नेटवर्क में इस सीडब्ल्यूई का विवरण देख सकते हैं।
• मिश्रा। ऊपर के समान, लेकिन MISRA मानक के लिए ।
• संदेश। नैदानिक ​​संदेश का पाठ।
• परियोजना। प्रोजेक्ट नाम (आप संदर्भ मेनू का उपयोग करके इस कॉलम को अक्षम कर सकते हैं)।
• फ़ाइल। फ़ाइल का नाम।
• लाइन। पंक्ति संख्या। महत्वपूर्ण! ध्यान दें कि कुछ लाइनें डॉट्स के साथ समाप्त होती हैं। उदाहरण: "123 (...)"। इस नंबर पर क्लिक करके, आपको इस संदेश से संबंधित कोड की सभी पंक्तियों की एक सूची मिल जाएगी। इसी समय, आप सूची में प्रत्येक पंक्ति में जा सकते हैं।

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

प्रसंग मेनू

इसलिए, संदेश पर डबल क्लिक करके, आप कोड के संबंधित टुकड़े पर जाते हैं। दायाँ माउस बटन के क्लिक से, संदर्भ मेनू खुलता है।

मेनू काफी सरल है, और मैं प्रत्येक आइटम के विवरण के साथ लेख को अव्यवस्थित नहीं करूंगा। यदि कुछ स्पष्ट नहीं है, तो आप दस्तावेज़ में देख सकते हैं।

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

मेनू विकल्प पर ध्यान दें "फाइलों की जांच न करें और सभी संदेशों को छिपाएं ..."। जब आप उस पर क्लिक करते हैं, तो आपको उन रास्तों की एक सूची मिलती है जिन्हें आप अपवादों में जोड़ सकते हैं (आंकड़ा 6 देखें)।

चित्रा 6. चेक से फ़ाइलों को छोड़कर।

आप एक अलग फ़ाइल या निर्देशिकाओं में से एक चुन सकते हैं। चित्र दिखाता है कि फ़ोल्डर "SDL2-2.0.9 \ src \ haptic \ windows" चुना गया है। इसका मतलब है कि इस फ़ोल्डर की सभी फाइलें और सभी सबफोल्डर्स को विश्लेषण से बाहर रखा जाएगा। क्या अधिक है, इन फ़ाइलों से संबंधित सभी संदेश तुरंत सूची से गायब हो जाएंगे। बहुत सुविधाजनक है। परीक्षणों से संबंधित सभी संदेशों को हटाने के लिए आपको विश्लेषण को पुनः आरंभ करने की आवश्यकता नहीं है।

वृद्धिशील विश्लेषण मोड

पीवीएस-स्टूडियो का परिचय अधूरा होगा, अगर हम सबसे महत्वपूर्ण विशेषताओं में से एक को छिपाते हैं - वृद्धिशील कोड विश्लेषण ।

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

जब कोई त्रुटि मिलती है, तो पॉप-अप विंडो दिखाई देती है, खतरे की चेतावनी (चित्र 7 देखें)।

चित्रा 7. एक पॉप-अप संदेश, रिपोर्टिंग कि संपादित फ़ाइलों में संदिग्ध स्थान पाए गए हैं।

यदि आप आइकन पर क्लिक करते हैं, तो आप प्रोजेक्ट चेक के परिणाम के साथ आईडीई खोलेंगे (चित्र 2 देखें) और आप संदिग्ध कोड टुकड़ों में खुदाई कर सकते हैं।

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

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

if (in[0] == '\\' && in[1] == '.' && in[1] == '\\') { in += 2; continue; } 

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

मुझे इसे पूरा करने दो। वृद्धिशील विश्लेषण एक ऐसी चीज है जिसे आपको निश्चित रूप से करने की कोशिश करनी चाहिए। जैसे ही आपको नए कोड में कुछ ब्लंडर मिलेंगे, आपको अच्छा लगेगा।

पीवीएस-स्टूडियो क्षमताएं

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

चित्रा 8. पीवीएस-स्टूडियो क्षमताएं।

जैसा कि आप देख रहे हैं, विश्लेषक विशेष रूप से उपयोगी है ऐसे क्षेत्रों में कॉपी-पेस्ट कीड़े की तलाश है। यह कोड सुरक्षा से संबंधित समस्याओं का पता लगाने में बहुत अच्छा है।

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

SAST

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

पीवीएस-स्टूडियो निम्नलिखित त्रुटि वर्गीकरण का समर्थन करता है:

1. CWE
2. एसईआई सीईआरटी
3. मिश्रा

आप विश्लेषक विंडो में पथ मेनू कॉलम> CWE द्वारा संदर्भ मेनू द्वारा CWE कोड प्रदर्शित करने में सक्षम कर सकते हैं

चित्र 9. संदर्भ मेनू और CWE आउटपुट का उदाहरण।

या मुख्य मेनू में (एक्सटेंशन> PVS-Studio> आउटपुट विंडो में CWE कोड प्रदर्शित करें)

चित्र 10. एक्सटेंशन का मेनू।

MISRA डायग्नोस्टिक्स अलग से सेटिंग्स में सक्षम हैं:

चित्रा 11. पता चला त्रुटियों की एक सूची।

आप यहाँ इन वर्गीकरणों के बारे में अधिक पढ़ सकते हैं।

कमांड लाइन से परियोजनाओं की जाँच

PVS-Studio_Cmd.exe - कमांड लाइन से C ++ / C # विज़ुअल स्टूडियो प्रोजेक्ट्स (.vcxproj / .csproj) और .sln समाधानों की जाँच करने के लिए एक उपयोगिता। विश्लेषण को स्वचालित करने के लिए यह उपयोगी हो सकता है। प्रोग्राम उस निर्देशिका में है जहां स्थापना की गई थी - डिफ़ॉल्ट रूप से यह 'C: \ Program Files (x86) \ PVS-Studio' है।

कार्यक्रम के कई पैरामीटर हैं , लेकिन पहले हमें उनमें से केवल 3 की आवश्यकता है:

• --target: प्रोजेक्ट या समाधान फ़ाइल जिसे जांचना आवश्यक है।
• --output: plog फ़ाइल जहाँ रिपोर्ट लिखने की आवश्यकता है।
• --प्रक्रिया: एक चेक की प्रगति दिखाएं।

यहाँ रन कैसा दिखेगा:

चित्रा 12. PVS-Studio_Cmd.exe प्रोग्राम का आउटपुट।

दौड़ने के बाद हमें एक रिपोर्ट के साथ एक plog फ़ाइल मिलेगी, जिस पर हम चलने वाले विकल्पों में निर्दिष्ट करते हैं। आप PlogConverter.exe उपयोगिता का उपयोग करके इस रिपोर्ट को अन्य प्रारूपों में बदल सकते हैं। IDE में रिपोर्ट देखने के लिए, खोजक में एक plog फ़ाइल पर डबल क्लिक करें।

इसके अलावा, आप एक्सटेंशन मेनू में पथ एक्सटेंशन> PVS-Studio> खोलें / सहेजें> ओपन विश्लेषण रिपोर्ट द्वारा रिपोर्ट फ़ाइल खोल सकते हैं ...

उपयोगिता और इसके मापदंडों पर विस्तृत जानकारी प्रलेखन में पाई जा सकती है।

झूठी सकारात्मकता दमन

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

झूठी सकारात्मकता से लड़ने के लिए, विश्लेषक विभिन्न तंत्रों का एक सेट प्रदान करता है। वे प्रलेखन के निम्नलिखित वर्गों में विस्तृत हैं:

• ठीक ट्यूनिंग ।
• एक मोटा तरीका जो केवल आपको नए या संशोधित कोड से संबंधित चेतावनियों के साथ काम करने की अनुमति देता है।

निष्कर्ष

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

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

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

अतिरिक्त लिंक:

1. कोड समीक्षा ।
2. स्टेटिक कोड विश्लेषण ।
3. स्थैतिक कोड विश्लेषण उपकरण ।
4. स स स ।
5. पीवीएस-स्टूडियो विश्लेषक में उपयोग की जाने वाली तकनीकें ।
6. डाउनलोड करें और पीवीएस-स्टूडियो की कोशिश करें।
7. विजुअल स्टूडियो 2019 सपोर्ट ।
8. आपकी टीम के लिए पीवीएस-स्टूडियो विश्लेषक की कीमत और इसे कैसे खरीदा जाए: पीवीएस-स्टूडियो खरीदें ।
9. एक स्थिर विश्लेषक का उपयोग करने का उदाहरण ।
10. उन सवालों के जवाब जो अक्सर सम्मेलनों में पूछे जाते हैं।
11. पीवीएस-स्टूडियो जावा कैसे चलाएं
12. लिनक्स और मैकओएस पर पीवीएस-स्टूडियो कैसे चलाएं