🧝🏾 🍙 🤾🏽 विज़ुअल सी ++ के लिए पीवीएस-स्टूडियो स्टैटिक विश्लेषक के साथ शुरुआत करना 👶🏾 🐿️ 🌝

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

विश्लेषक स्थापित कर रहा है

PVS-Studio Microsoft Visual Studio 2019, 2017, 2015, 2013, 2012 और 2010 का समर्थन करता है। सिस्टम आवश्यकताओं के लिए प्रलेखन देखें। वर्तमान में, पीवीएस-स्टूडियो सी, सी ++, सी #, और जावा में लिखी गई परियोजनाओं का विश्लेषण कर सकते हैं। हालाँकि, यह आलेख प्रोग्रामर पर ध्यान केंद्रित करता है जो विज़ुअल सी ++ में काम करते हैं और विश्लेषक के साथ शुरुआत करने के लिए मदद की तलाश कर रहे हैं।

स्थापना पैकेज यहां डाउनलोड किया जा सकता है । इसे चलाने के बाद, आपको चुनने के लिए कई एकीकरण विकल्प (चित्र 1) की पेशकश की जाएगी। अनुपलब्ध विकल्प को बाहर निकाल दिया जाता है।

चित्रा 1. एकीकरण घटकों चयन खिड़की।

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

किसी प्रोजेक्ट की जाँच कर रहा है

एक बार इंस्टॉलेशन पूरा हो जाने पर, आप अपने प्रोजेक्ट की जांच कर सकते हैं। आप संपूर्ण समाधान का विश्लेषण करने का भी प्रयास कर सकते हैं। ऐसा करने के लिए, एक्सटेंशन → पीवीएस-स्टूडियो → चेक → समाधान (चित्र 2) पर क्लिक करें।

चित्रा 2. पीवीएस-स्टूडियो के साथ एक समाधान की जाँच।

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

चेतावनी सूची को संभालना

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

चित्रा 3. चेतावनी खिड़की। बड़ा करने के लिए चित्र पर क्लिक करें।

विंडो के तत्वों का पूरा अवलोकन प्रलेखन में पाया जा सकता है, लेकिन अब हम केवल मूल लोगों पर ध्यान केंद्रित करेंगे:

चेतावनियाँ निश्चित स्तर। ऊपर दिया गया स्क्रीनशॉट मध्यम और उच्च स्तर को सक्षम दिखाता है। निम्न स्तर "कोड गंध" के साथ अधिक व्यवहार करता है और चेतावनी देता है कि दुर्भाग्य से, बहुत सारे झूठे सकारात्मक उत्पादन करते हैं। क्यों इतने कम-और मध्यम-स्तर की चेतावनियां हैं लेकिन इतने कम उच्च-स्तर वाले हैं? इसका उत्तर यह है कि MISRA डायग्नोस्टिक्स सक्षम किया गया है, जिसमें "फंक्शन में केवल एक एक्जिट पॉइंट होना चाहिए" जैसे नियम हैं। बेशक, आपको आमतौर पर इन निदान की आवश्यकता नहीं है, इसलिए वे डिफ़ॉल्ट रूप से अक्षम हैं। नोट: " सी और सी ++ कोड के लिए पीवीएस-स्टूडियो विश्लेषक द्वारा दी गई दिलचस्प चेतावनियों को जल्दी से कैसे देखें? "।
फ़िल्टर। आप कोड, CWE, पाठ, परियोजना या फ़ाइल द्वारा संदेशों को फ़िल्टर कर सकते हैं।
ट्रिगरिंग लाइन की संख्या। कुछ डायग्नोस्टिक्स कई लाइनों का उल्लेख कर सकते हैं: इस तरह की चेतावनियों में लाइन नंबर के बगल में एक दीर्घवृत्त होता है।

SAST

PVS-Studio स्थैतिक अनुप्रयोग सुरक्षा परीक्षण (SAST) के लिए एक उपकरण है, जिसका अर्थ है कि यह स्रोत कोड में संभावित कमजोरियों का पता लगा सकता है और किसी विशेष वर्गीकरण के अनुसार संबंधित कमजोर पहचानकर्ता को दिखा सकता है।

PVS-Studio निम्न कमजोरी वर्गीकरण का समर्थन करता है:

CWE
एसईआई सीईआरटी
मिश्रा

CWE कोड को सक्षम करने के लिए, विश्लेषक विंडो का ड्रॉप-डाउन मेनू खोलें और फिर शो कॉलम> CWE पर टिक करें

चित्र 4. ड्रॉप-डाउन मेनू से CWE कोड को सक्षम करना।

ऐसा करने का एक और तरीका है एक्सटेंशन्स> पीवीएस-स्टूडियो> विजुअल स्टूडियो के मेन्यू बार में आउटपुट विंडो में CWE कोड प्रदर्शित करें

चित्र 5. एक्सटेंशन मेनू में पीवीएस-स्टूडियो सबमेनू।

इसके विपरीत, MISRA निदान विकल्प विंडो में सक्षम हैं:

चित्रा 6. पता लगाने योग्य कमजोरियों की सूची।

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

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

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

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

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

यह वही है जो आप चेक शुरू करने के बाद देखेंगे:

चित्रा 7. पीवीएस- Studio_Cmd.exe उपयोगिता का आउटपुट

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

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

चित्रा 8. प्लगइन के मेनू से एक विश्लेषण रिपोर्ट खोलना।

उपयोगिता और इसके मापदंडों पर विवरण के लिए प्रलेखन देखें।

झूठे सकारात्मक को दबाना

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

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

नमूना चेतावनी

आइए विश्लेषक द्वारा जारी एक चेतावनी के उदाहरण पर एक नज़र डालें। निम्न कोड स्निपेट को ReactOS प्रोजेक्ट से लिया गया है:

VOID NTAPI AtapiDmaInit(....) { .... ULONG treg = 0x54 + (dev < 3) ? (dev << 1) : 7; .... }

PVS-Studio का डायग्नोस्टिक संदेश: V502 शायद '?:' ऑपरेटर अपेक्षा के अनुरूप काम करता है। '?:' ऑपरेटर की '+' ऑपरेटर की तुलना में कम प्राथमिकता है। uniata id_dma.cpp 1610

0x54 + (देव <3) अभिव्यक्ति हमेशा सच का मूल्यांकन करेगी: गैर-शून्य स्थिर 0x54 को पहले (देव <3) अभिव्यक्ति के परिणाम में जोड़ा जाता है, जो या तो 0 या 1 का मूल्यांकन कर सकता है, और उसके बाद ही शून्य के साथ तुलना में परिणामी मूल्य।

यह वही है जो सही संस्करण दिखता है:

 VOID NTAPI AtapiDmaInit(....) { .... ULONG treg = 0x54 + ((dev < 3) ? (dev << 1) : 7); .... }

हमने '?:' कोष्ठक में संचालित करके समस्या का हल किया है ताकि इसका परिणाम अब (देव <3) अभिव्यक्ति के परिणाम पर निर्भर हो।

निष्कर्ष

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

विज़ुअल सी ++ के लिए पीवीएस-स्टूडियो स्टैटिक विश्लेषक के साथ शुरुआत करना