लिनक्स में C ++ प्रोग्राम विकसित करते समय PVS-Studio स्थिर विश्लेषक के साथ परिचित होना

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

स्थापना

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

जिन आदेशों को आपको स्थापित करने के लिए पूरा करना होगा, वे उस लिनक्स वितरण पर निर्भर करते हैं जिसका आप उपयोग कर रहे हैं। उदाहरण के लिए, डेबियन आधारित प्रणालियों के लिए, रिपॉजिटरी से इंस्टॉल करना इस तरह दिखता है:

wget -q -O - https://files.viva64.com/etc/pubkey.txt | sudo apt-key add - sudo wget -O /etc/apt/sources.list.d/viva64.list \ https://files.viva64.com/etc/viva64.list sudo apt update sudo apt install pvs-studio 

स्थापना पैकेज से पीवीएस-स्टूडियो स्थापित करने के लिए, आप gdebi उपयोगिता का उपयोग कर सकते हैं:

 sudo gdebi pvs-studio-VERSION.deb 

इंस्टॉलेशन की प्रक्रिया " इंस्टालेशन में लिनक्स पर पीवीएस-स्टूडियो को इंस्टाल और अपडेट करना " के बारे में अधिक विस्तार से बताया गया है। आप वहां गैर-डेबियन आधारित प्रणालियों के बारे में भी जानकारी प्राप्त कर सकते हैं।

स्थापना के बाद, आपको लाइसेंस डेटा दर्ज करना होगा। ऐसा करने के लिए, कमांड का उपयोग करें

 pvs-studio-analyzer credentials NAME KEY [-o LIC-FILE] 

जहां NAME और KEY वो नाम हैं जिनके लिए लाइसेंस पंजीकृत है और लाइसेंस कुंजी। वैकल्पिक –o पैरामीटर आपको वह पथ निर्दिष्ट करने की अनुमति देता है जिसके द्वारा लाइसेंस फ़ाइल उत्पन्न होगी। डिफ़ॉल्ट रूप से, इसे ~ / .config / PVS-Studio / निर्देशिका में संग्रहीत किया जाता है।

आप " डाउनलोड करें और पीवीएस-स्टूडियो की कोशिश करें " पृष्ठ पर परीक्षण कुंजी प्राप्त कर सकते हैं।

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

विश्लेषक स्थापित करने के बाद, आप परियोजनाओं की जांच शुरू कर सकते हैं। ऐसा करने के दो मुख्य तरीके हैं:

1. संकलन की निगरानी;
2. विधानसभा की प्रक्रिया के दौरान विधानसभा प्रणाली से सीधे शुरू।

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

लॉन्च निम्न कमांड द्वारा किया जाता है:

 pvs-studio-analyzer trace -- make 

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

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

 pvs-studio-analyzer analyze -o /path/to/project.log 

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

स्ट्रेस का उपयोग करने के अलावा, विश्लेषण compile_commands.json फ़ाइल (JSON संकलन डेटाबेस) के आधार पर भी चलाया जा सकता है। कई बिल्ड सिस्टम आपको कंपाइलर कॉल कमांड को निर्यात करने की अनुमति देते हैं, या आप इसके लिए BEAR उपयोगिता का उपयोग कर सकते हैं। इस मामले में, आप कमांड के साथ विश्लेषण चला सकते हैं

 pvs-studio-analyzer analyze –f /path/to/compile_commands.json 

यह ध्यान दिया जाना चाहिए कि विश्लेषक अपनी निष्पादन योग्य फ़ाइल के नाम से उपयोग किए गए कंपाइलर को पहचानता है। यदि जाँच के दौरान आपको "कोई संकलित इकाइयाँ नहीं मिलीं" त्रुटि मिलती है, तो अपने कंपाइलर के नाम को –compiler या –सी पैरामीटर के माध्यम से निर्दिष्ट करने का प्रयास करें:

 pvs-studio-analyzer analyze -c MyCompiler 

गैर-मानक निष्पादन योग्य फ़ाइल नामों के साथ क्रॉस-संकलन और संकलक का उपयोग करते समय इसकी आवश्यकता हो सकती है।

मॉनिटरिंग मोड में लॉन्च के अलावा, आप विश्लेषक को अपनी विधानसभा प्रणाली या आईडीई में एकीकृत कर सकते हैं। आप PVS_Studio रिपॉजिटरी में GitHub पर पहले से कॉन्फ़िगर किए गए एकीकरण के साथ परियोजनाओं के उदाहरण पा सकते हैं:

• पी वी एस-स्टूडियो cmake-उदाहरण
• पी वी एस-स्टूडियो qmake-उदाहरण
• पी वी एस-स्टूडियो makefile-उदाहरण
• पी वी एस-स्टूडियो waf-उदाहरण
• पी वी एस-स्टूडियो-ग्रहण-उदाहरण

लिनक्स के तहत चल रहे विश्लेषण पर अधिक विस्तृत निर्देशों के लिए, प्रलेखन देखें।

रिपोर्ट के साथ काम करें

परियोजना की जाँच के बाद, विश्लेषक एक कोडित रिपोर्ट बनाता है। समर्थित स्वरूपों में से एक में परिवर्तित करने के लिए, plog- कनवर्टर उपयोगिता का उपयोग करें, जो पीवीएस-स्टूडियो के साथ मिलकर स्थापित किया गया है।

उपयोगिता निम्नलिखित स्वरूपों का समर्थन करती है:

• xml - सोनारक्यूब के लिए प्लगइन द्वारा समर्थित विश्लेषण परिणामों के अतिरिक्त प्रसंस्करण के लिए एक सुविधाजनक प्रारूप;
• टेबलव डेटा प्रस्तुत करने के लिए सीएसवी एक पाठ प्रारूप है;
• errorfile - gcc और clang के लिए आउटपुट स्वरूप;
• टास्कलिस्ट - त्रुटि प्रारूप जिसे QtCreator में खोला जा सकता है;
• HTML - HTML रिपोर्ट विश्लेषण परिणामों के एक संक्षिप्त विवरण के साथ;
• fullhtml - html रिपोर्ट विभिन्न मापदंडों और नेविगेशन द्वारा सोर्स कोड के माध्यम से विश्लेषण परिणामों को छांटती है।

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

 plog-converter -a GA:1,2 -t fullhtml /path/project.log -o /path/report_dir 

कमांड निष्पादित होने के बाद, डायरेक्टरी / पाथ / report_dir बनाया जाएगा, जिसमें रिपोर्ट फाइलें निहित होंगी।

नोट -a स्विच। यह आपको यह निर्दिष्ट करने की अनुमति देता है कि रिपोर्ट में कौन सी चेतावनी शामिल की जानी चाहिए। यह सुविधाजनक है यदि आपको विश्लेषक के आउटपुट को फ़िल्टर करने की आवश्यकता है। उपरोक्त टीम एक रिपोर्ट बनाएगी जिसमें पहले और दूसरे विश्वास स्तरों ( उच्च और मध्यम ) के सामान्य विश्लेषण समूह से केवल चेतावनी होगी।

रिपोर्ट उदाहरण:

संदेश के स्थान कक्ष में क्लिक करके, आप कोड की संबंधित पंक्ति पर जा सकते हैं:

कोड कॉलम में डायग्नोस्टिक नंबर पर क्लिक करने पर इस डायग्नोस्टिक का वर्णन करने वाला डॉक्यूमेंट खुल जाएगा।

विश्लेषक प्रतिक्रिया दमन

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

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

आप निम्न आदेश का उपयोग करके बल्क में एक रिपोर्ट में संदेशों को दबा सकते हैं:

 pvs-studio-analyzer suppress /path/to/report.log 

दबाए गए संदेशों के बारे में जानकारी suppress_base.json फ़ाइल में संग्रहीत है, जो परियोजना के बगल में स्थित है। इस तरह के संदेशों को बाद के निरीक्षण के दौरान रिपोर्ट से बाहर रखा गया है।

इस तंत्र को यहां प्रलेखन में अधिक विस्तार से वर्णित किया गया है ।

निष्कर्ष

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

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