वातावरणमा C++ कार्यक्रमहरू विकास गर्दा PVS-Studio स्थिर विश्लेषकलाई चिन्ने Linux

PVS-Studio ले C, C++, C#, र Java मा लेखिएका परियोजनाहरूको विश्लेषणलाई समर्थन गर्दछ। विश्लेषक प्रणालीहरूमा प्रयोग गर्न सकिन्छ। Windows, Linux и macOSयस लेखले वातावरणमा C र C++ मा लेखिएको कोडको विश्लेषणको बारेमा छलफल गर्नेछ। Linux.

सेटिङ

PVS-Studio स्थापना गर्नुहोस् Linux वितरण प्रकारमा निर्भर गर्दै यो गर्ने धेरै तरिकाहरू छन्। सबैभन्दा सुविधाजनक र मनपर्ने विधि भनेको भण्डार प्रयोग गर्नु हो, किनकि यसले नयाँ संस्करणहरू जारी हुँदा विश्लेषकको स्वचालित अद्यावधिकहरूको लागि अनुमति दिन्छ। दोस्रो विकल्प भनेको स्थापना प्याकेज प्रयोग गर्नु हो, जुन डाउनलोड गर्न सकिन्छ। यहाँ.

स्थापनाको लागि तपाईंले चलाउनु पर्ने आदेशहरू वितरणमा निर्भर गर्दछ। Linux, जुन तपाईंले प्रयोग गर्नुहुन्छ। उदाहरणका लागि, मा आधारित प्रणालीहरूको लागि Debian, भण्डारबाट स्थापना यस्तो देखिन्छ:

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

स्थापना प्याकेजबाट PVS-स्टुडियो स्थापना गर्न, तपाईंले gdebi उपयोगिता प्रयोग गर्न सक्नुहुन्छ:

sudo gdebi pvs-studio-VERSION.deb

स्थापना प्रक्रिया खण्ड "मा थप विवरणमा वर्णन गरिएको छ।PVS-Studio स्थापना र अद्यावधिक गर्दै Linux» कागजात। त्यहाँ तपाईंले आधारित नभएका प्रणालीहरूको बारेमा जानकारी पनि पाउन सक्नुहुन्छ Debian.

स्थापना पछि, तपाईंले इजाजतपत्र डाटा प्रविष्ट गर्न आवश्यक छ। यसको लागि, आदेश प्रयोग गरिन्छ

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

कहाँ NAME и KEY - इजाजतपत्र दर्ता भएको नाम र इजाजतपत्र कुञ्जी। वैकल्पिक प्यारामिटर वा तपाईंलाई मार्ग सेट गर्न अनुमति दिन्छ जहाँ इजाजतपत्र फाइल उत्पन्न हुनेछ। पूर्वनिर्धारित रूपमा यो डाइरेक्टरीमा भण्डारण गरिएको छ ~/.config/PVS-Studio/.

तपाईंले पृष्ठमा परीक्षण कुञ्जी प्राप्त गर्न सक्नुहुन्छ "डाउनलोड गर्नुहोस् र PVS-स्टुडियो प्रयास गर्नुहोस्"।

परियोजना प्रमाणीकरण

विश्लेषक स्थापना गरेपछि, तपाईं परियोजनाहरू जाँच सुरु गर्न सक्नुहुन्छ। यो गर्न दुई मुख्य तरिकाहरू छन्:

1. संकलन निगरानी;
2. निर्माण प्रणालीबाट सीधा निर्माण प्रक्रियामा चलाउनुहोस्।

पहिले पहिलो विधि हेरौं। निगरानी सुरु गर्न Linux, तपाईंलाई उपयोगिता चाहिन्छ स्ट्रेस। विश्लेषकले यसलाई परियोजना निर्माणको क्रममा कुन प्रक्रियाहरू सुरु गरिएको थियो भन्ने जानकारी सङ्कलन गर्न प्रयोग गर्दछ।

सुरुवात निम्न आदेश द्वारा गरिन्छ:

pvs-studio-analyzer trace -- make

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

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

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

आउटपुट परिणामहरूको साथ एक एन्कोड गरिएको फाइल हुनेछ, जसलाई तपाइँ समर्थित ढाँचाहरू मध्ये एकमा रूपान्तरण गर्न सक्नुहुन्छ। हामी अर्को खण्डमा रिपोर्टहरूसँग काम गर्ने बारे हेर्नेछौं।

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

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

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

pvs-studio-analyzer analyze -c MyCompiler

यो आवश्यक हुन सक्छ जब क्रस-कम्पाइलिङ र गैर-मानक कार्यान्वयनयोग्य फाइल नामहरूको साथ कम्पाइलरहरू प्रयोग गर्नुहोस्।

अनुगमन मोडमा चल्नुको अतिरिक्त, तपाइँ विश्लेषकलाई तपाइँको निर्माण प्रणाली वा IDE मा एकीकृत गर्न सक्नुहुन्छ। पहिले नै कन्फिगर गरिएको एकीकरण संग परियोजनाहरु को उदाहरण मा पाउन सकिन्छ GitHub PVS_Studio भण्डारमा:

• pvs-studio-cmake-उदाहरणहरू
• pvs-studio-qmake-उदाहरणहरू
• pvs-studio-makefile-उदाहरणहरू
• pvs-studio-waf-उदाहरणहरू
• pvs-studio-eclipse-उदाहरणहरू

विश्लेषण कसरी सञ्चालन गर्ने भन्ने बारे थप विस्तृत निर्देशनहरू तल उपलब्ध छन्। Linux भित्र हेर्नुहोस् कागजात.

रिपोर्ट संग काम

डिजाइन जाँच गरेपछि, विश्लेषकले कोडित रिपोर्ट उत्पन्न गर्दछ। यसलाई समर्थित ढाँचाहरू मध्ये एकमा रूपान्तरण गर्न, तपाईंले उपयोगिता प्रयोग गर्नुपर्छ plog-converter, जुन PVS-Studio सँग स्थापित छ।

उपयोगिताले निम्न ढाँचाहरूलाई समर्थन गर्दछ:

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

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

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

आदेश कार्यान्वयन पछि, डाइरेक्टरी सिर्जना हुनेछ /path/report_dir, जसमा रिपोर्ट फाइलहरू समावेश हुनेछन्।

कुञ्जीमा ध्यान दिनुहोस् -a। यसले तपाइँलाई प्रतिवेदनमा कुन चेतावनीहरू समावेश गर्नुपर्छ भनेर निर्दिष्ट गर्न अनुमति दिन्छ। यदि विश्लेषकको आउटपुट फिल्टर गर्न आवश्यक छ भने यो सुविधाजनक छ। माथिको आदेशले एउटा रिपोर्ट सिर्जना गर्नेछ जसमा पहिलो र दोस्रो आत्मविश्वास स्तरको सामान्य विश्लेषण समूहबाट मात्र चेतावनीहरू हुनेछन् (उच्च и मध्यम).

नमूना रिपोर्ट:

सेलमा क्लिक गर्नुहोस् स्थान सन्देशहरू, तपाईं कोडको सम्बन्धित लाइनमा जान सक्नुहुन्छ:

स्तम्भमा डायग्नोस्टिक नम्बरमा क्लिक गर्नुहोस् कोड यस निदानको वर्णन गर्ने कागजात खोल्नेछ।

दमन विश्लेषक ट्रिगरहरू

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

साथै, पुरानो कोडको विश्लेषण गर्दा, सबै सन्देशहरूलाई व्यापक रूपमा दबाउन आवश्यक हुन सक्छ। सामान्यतया, यो अवस्थित कोडबेसमा थपिएको कोड मात्र जाँच गर्न आवश्यक छ। यो गर्न, प्यारामिटर प्रयोग गर्नुहोस् दबाउनु उपयोगिताहरु pvs-studio-विश्लेषक.

तपाईंले निम्न आदेशको साथ रिपोर्टमा सन्देशहरूलाई बल्क दबाउन सक्नुहुन्छ:

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

दबाइएका सन्देशहरूको बारेमा जानकारी फाइलमा भण्डार गरिएको छ suppress_base.json, जुन परियोजनाको छेउमा छ। त्यस्ता सन्देशहरू पछिको जाँचहरूमा रिपोर्टबाट हटाइएको छ।

यस संयन्त्रलाई कागजातमा थप विवरणमा वर्णन गरिएको छ यहाँ.

निष्कर्षमा

यो PVS-स्टुडियो विश्लेषक प्रयोग गर्ने बारे संक्षिप्त परिचय थियो Linuxमलाई आशा छ कि यो उपयोगी थियो र तपाईंले सोध्ने केही बारम्बार सोधिने प्रश्नहरूको जवाफ दियो। तपाईं यस विषयको बारेमा थप कागजातमा पढ्न सक्नुहुन्छ। यहाँ.

यदि तपाइँ यो लेख अंग्रेजी बोल्ने दर्शकहरूसँग साझा गर्न चाहनुहुन्छ भने, कृपया अनुवाद लिङ्क प्रयोग गर्नुहोस्: युरी मिनाएभ। C++ विकासको लागि PVS-स्टुडियो स्ट्याटिक एनालाइजरसँग सुरु गर्दै Linux.

स्रोत: www.habr.com