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

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

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

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

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

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

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

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

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

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

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

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

चित्रा 2. पीवीएस-स्टूडियो विश्लेषक द्वारा विज़ुअल स्टूडियो में एकीकरण के दौरान जोड़े गए मुख्य तत्व।

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

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

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

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

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

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

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

परियोजना का सत्यापन

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

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

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

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

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

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

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

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

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

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

प्रसंग मेनू

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

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

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

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

चित्रा 8. पीवीएस-स्टूडियो सुविधाएँ।

जैसा कि आप देख सकते हैं, विश्लेषक टाइपो, कॉपी-पेस्ट के कारण हुई त्रुटियों की खोज जैसे क्षेत्रों में यथासंभव प्रकट होता है। यह उन समस्याओं का निदान करता है जो कोड सुरक्षा से संबंधित हैं।

आप यह पता लगा सकते हैं कि त्रुटि डेटाबेस को देखकर यह सब कैसे काम करता है। हम इस डेटाबेस में उन सभी त्रुटियों को एकत्र करते हैं जो हमें विभिन्न ओपन-सोर्स प्रोजेक्ट्स की जाँच करके मिली थीं।

SAST

PVS- स्टूडियो स्थैतिक अनुप्रयोग सुरक्षा परीक्षण (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: वह पोगल फ़ाइल जहाँ आप रिपोर्ट लिखना चाहते हैं।
• --प्रोग्रेस: ​​सत्यापन प्रगति दिखाएं।

यह वही है जो लॉन्च की तरह दिखाई देगा:

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

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

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

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

झूठी चेतावनियों का दमन

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

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

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

निष्कर्ष

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

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

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

अतिरिक्त संसाधन:

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

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