🥇स्थिर विश्लेषण - परिचय देखि एकीकरण सम्म

अनन्त कोड समीक्षा वा डिबगिङबाट थकित, कहिलेकाहीँ तपाईं आफ्नो जीवन कसरी सरल बनाउने बारे सोच्नुहुन्छ। र अलिकति खोजी गरेपछि, वा संयोगवश यसमा ठोक्किएर, तपाईं जादुई वाक्यांश देख्न सक्नुहुन्छ: "स्थिर विश्लेषण।" यो के हो र यसले तपाईंको परियोजनासँग कसरी अन्तरक्रिया गर्न सक्छ हेरौं।

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

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

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

तपाईलाई स्थिर विश्लेषण किन चाहिन्छ?

संक्षेपमा: त्वरण र सरलीकरण।

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

auto x = obj.x;
auto y = obj.y;
auto z = obj.z;

तपाईंले निम्न कोड लेख्नुभयो:

auto x = obj.x;
auto y = obj.y;
auto z = obj.x;

तपाईंले देख्न सक्नुहुने रूपमा, अन्तिम लाइनमा एक टाइपो छ। उदाहरण को लागी, PVS-Studio ले निम्न चेतावनी जारी गर्दछ:

V537 'y' वस्तुको प्रयोगको शुद्धता समीक्षा गर्न विचार गर्नुहोस्।

यदि तपाईं यस त्रुटिमा आफ्नो हातहरू पोकाउन चाहनुहुन्छ भने, कम्पाइलर एक्सप्लोररमा तयार गरिएको उदाहरण प्रयास गर्नुहोस्: *रुनु*.

र तपाईंले बुझ्नुभएको रूपमा, कोडको त्यस्ता खण्डहरूमा तुरुन्तै ध्यान दिन सधैं सम्भव छैन, र यसको कारणले गर्दा, तपाईं राम्रो घण्टाको लागि डिबग गर्न बस्न सक्नुहुन्छ, किन सबै कुरा यति अनौठो रूपमा काम गर्दछ भनेर सोच्दै।

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

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

तपाईंले लेखहरूमा विश्लेषकले पत्ता लगाउन सक्ने थप रोचक त्रुटिहरू फेला पार्न सक्नुहुन्छ:

अब तपाईंले यो सामग्री पढ्नुभएको छ र स्थिर विश्लेषणका फाइदाहरू बारे विश्वस्त हुनुहुन्छ, तपाईंले यसलाई प्रयास गर्न सक्नुहुन्छ। तर कहाँ सुरु गर्ने? तपाईंको हालको परियोजनामा नयाँ उपकरण कसरी एकीकृत गर्ने? अनि उहाँलाई टोलीको परिचय कसरी दिने ? तपाईंले तल यी प्रश्नहरूको जवाफ पाउनुहुनेछ।

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

0. उपकरण चिन्दै

यो सबै एक परीक्षण संस्करण संग सुरु हुन्छ। वास्तवमा, यदि तपाईंले पहिले कहिल्यै उपकरण प्रत्यक्ष देख्नु भएको छैन भने विकास प्रक्रियामा केहि परिचय गर्ने निर्णय गर्न गाह्रो छ। त्यसकारण, तपाईंले गर्नु पर्ने पहिलो कुरा डाउनलोड हो परीक्षण संस्करण.

तपाईंले यस चरणमा के सिक्नुहुनेछ:

विश्लेषकसँग अन्तरक्रिया गर्ने तरिकाहरू के हुन्;
के विश्लेषक तपाईंको विकास वातावरण संग उपयुक्त छ?
तपाईका परियोजनाहरूमा अहिले के कस्ता समस्याहरू छन्?

तपाईले चाहिने सबै कुरा स्थापना गरिसकेपछि, तपाईले गर्नु पर्ने पहिलो कुरा सम्पूर्ण परियोजनाको विश्लेषण चलाउनु हो (Windows, लिनक्स, MacOS)। भिजुअल स्टुडियोमा PVS-स्टुडियोको मामलामा तपाईंले समान तस्वीर देख्नुहुनेछ (क्लिक गर्न सकिने):

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

वास्तवमा, 178 चेतावनीहरू धेरै हजार भन्दा धेरै सजिलो छन् ...

ट्याबहरूमा मध्यम и कम प्रायः त्यहाँ राम्रो चेतावनीहरू छन्, तर यी कोटीहरूमा ती निदानहरू समावेश छन् जसमा कम सटीकता (विश्वसनीयता) छ। चेतावनी स्तरहरू र Windows अन्तर्गत काम गर्ने विकल्पहरूको बारेमा थप जानकारी यहाँ फेला पार्न सकिन्छ: *रुनु*.

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

1. अटोमेटिजासिया

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

तपाईंले यस चरणमा के सिक्नुहुनेछ:

उपकरणले के स्वचालन विकल्पहरू प्रदान गर्दछ;
के विश्लेषक तपाइँको विधानसभा प्रणाली संग उपयुक्त छ?

सिद्ध कागजातहरू अवस्थित नभएकोले, कहिलेकाहीं तपाईंले लेख्नु पर्छ समर्थन। यो सामान्य हो र हामी तपाईंलाई मद्दत गर्न पाउँदा खुसी छौं। 🙂

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

PVS-Studio_Cmd.exe (समाधानहरूको विश्लेषण, विन्डोजमा C#, C++ परियोजनाहरू)
CLMonitor.exe (संकलन अनुगमन)
pvs-studio-विश्लेषक (लिनक्स / macOS मा C++ परियोजनाहरूको विश्लेषण)
pvs-studio-dotnet (समाधान विश्लेषण, लिनक्स / macOS मा C# परियोजनाहरू)
pvs-studio.jar (जाभा परियोजनाहरूको विश्लेषण)
PlogConverter (रिपोर्ट फाइल कन्भर्टर)

CI मा विश्लेषण एकीकृत गर्न, तपाईंले तीन चीजहरू गर्न आवश्यक छ:

विश्लेषक स्थापना गर्नुहोस्;
विश्लेषण चलाउनुहोस्;
परिणामहरू प्रदान गर्नुहोस्।

उदाहरणका लागि, लिनक्स (डेबियन-बेस) मा PVS-स्टुडियो स्थापना गर्न, तपाईंले निम्न आदेशहरू चलाउन आवश्यक छ:

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-get update -qq
sudo apt-get install -qq pvs-studio

विन्डोज चलिरहेको प्रणालीहरूमा, प्याकेज प्रबन्धकबाट विश्लेषक स्थापना गर्ने कुनै तरिका छैन, तर कमाण्ड लाइनबाट विश्लेषक तैनाथ गर्न सम्भव छ:

PVS-Studio_setup.exe /verysilent /suppressmsgboxes 
/norestart /nocloseapplications

तपाइँ Windows चलिरहेको प्रणालीहरूमा PVS-स्टुडियो डिप्लोय गर्ने बारे थप पढ्न सक्नुहुन्छ *यहाँ*.

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

लन्च विधि प्लेटफर्म र परियोजना सुविधाहरूमा निर्भर भएकोले, म उदाहरणको रूपमा C++ (Linux) को विकल्प देखाउनेछु:

pvs-studio-analyzer analyze -j8 
                            -o PVS-Studio.log
plog-converter -t errorfile PVS-Studio.log --cerr -w

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

नोट। पाठ ढाँचा असुविधाजनक छ। यो केवल एक उदाहरण को रूप मा प्रदान गरिएको छ। थप रोचक रिपोर्ट ढाँचामा ध्यान दिनुहोस् - FullHtml। यसले तपाईंलाई कोड मार्फत नेभिगेट गर्न अनुमति दिन्छ।

तपाइँ लेख मा CI मा विश्लेषण सेटअप बारे थप पढ्न सक्नुहुन्छ "PVS-स्टुडियो र निरन्तर एकीकरण"(विन्डोज) वा"Travis CI मा PVS-Studio कसरी सेट अप गर्ने"(लिनक्स)।

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

सामान्यतया, पुल अनुरोध विश्लेषण सेट अप गर्नु CI मा विश्लेषणको सामान्य सुरुवात भन्दा धेरै फरक छैन। परिवर्तन गरिएका फाइलहरूको सूची प्राप्त गर्न आवश्यकता बाहेक। यी सामान्यतया git प्रयोग गरेर शाखाहरू बीचको भिन्नताहरू क्वेरी गरेर प्राप्त गर्न सकिन्छ:

git diff --name-only HEAD origin/$MERGE_BASE > .pvs-pr.list

अब तपाईंले इनपुटको रूपमा विश्लेषकमा फाइलहरूको यो सूची पास गर्न आवश्यक छ। उदाहरण को लागी, PVS-Studio मा यो झण्डा प्रयोग गरी लागू गरिएको छ -S:

pvs-studio-analyzer analyze -j8 
                            -o PVS-Studio.log 
                            -S .pvs-pr.list

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

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

यो सबै पक्कै राम्रो छ, तर म सबै चेतावनीहरू एकै ठाउँमा हेर्न सक्षम हुन चाहन्छु। स्थिर विश्लेषकबाट मात्र होइन, तर एकाइ परीक्षण वा गतिशील विश्लेषकबाट पनि। यसका लागि विभिन्न सेवाहरू र प्लगइनहरू छन्। PVS-स्टुडियो, उदाहरण को लागी, छ SonarQube मा एकीकरण को लागी प्लगइन.

2. विकासकर्ता मेसिनहरूमा एकीकरण

अब यो दैनिक विकास प्रयोगको लागि विश्लेषक स्थापना र कन्फिगर गर्ने समय हो। यस बिन्दुमा तपाई पहिले नै काम गर्ने धेरै तरिकाहरूसँग परिचित हुनुभएको छ, त्यसैले यसलाई सबैभन्दा सजिलो भाग भन्न सकिन्छ।

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

त्यसो भए तपाईले आवश्यक प्लगइनहरू स्थापना गर्न आवश्यक पर्दछ, उदाहरणका लागि दृश्य स्टूडियो, आइडिया, सवार आदि

3. दैनिक प्रयोग

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

यदि विश्लेषकले भर्खरै परिवर्तन गरिएको कोडमा समस्याहरू पत्ता लगाएमा, यसले स्वतन्त्र रूपमा रिपोर्ट गर्नेछ। उदाहरणका लागि, PVS-Studio ले तपाईंलाई यसबारे अलर्ट प्रयोग गरेर बताउनेछ:

अवश्य पनि, विकासकर्ताहरूलाई उपकरण प्रयोग गर्न भन्नु पर्याप्त छैन। हामीले तिनीहरूलाई यो के हो र यो कस्तो छ भनेर बताउन आवश्यक छ। यहाँ, उदाहरणका लागि, PVS-स्टुडियोको लागि द्रुत सुरुवातको बारेमा लेखहरू छन्, तर तपाईंले मनपर्ने कुनै पनि उपकरणको लागि समान ट्यूटोरियलहरू फेला पार्न सक्नुहुन्छ:

त्यस्ता लेखहरूले दैनिक प्रयोगको लागि आवश्यक सबै जानकारी प्रदान गर्दछ र धेरै समय लाग्दैन। 🙂

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

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

एकीकरण पछि

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

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

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

यदि तपाइँ यो लेख अंग्रेजी बोल्ने दर्शकहरूसँग साझा गर्न चाहनुहुन्छ भने, कृपया अनुवाद लिङ्क प्रयोग गर्नुहोस्: Maxim Zvyagintsev। स्थिर विश्लेषण: शुरुवात देखि एकीकरण सम्म.

स्रोत: www.habr.com

स्थिर विश्लेषण - परिचय देखि एकीकरण सम्म