PVS-Studio को स्वतन्त्र समीक्षा (Linux, C++)

मैले एउटा प्रकाशन देखेँ जुन PVS ले लिनक्स अन्तर्गत विश्लेषण गर्न सिकेको थियो, र यसलाई आफ्नै परियोजनाहरूमा प्रयास गर्ने निर्णय गर्यो। र यसबाट निस्किएको कुरा यही हो ।

सामग्रीहरू

1. Плюсы
2. Минусы
3. परिणामहरू
4. पछिशब्द

Плюсы

उत्तरदायी समर्थन

मैले ट्रायल कुञ्जी अनुरोध गरें र उनीहरूले त्यो दिन मलाई पठाए।

एकदम स्पष्ट कागजात

हामीले कुनै पनि समस्या बिना विश्लेषक सुरु गर्न व्यवस्थित गर्यौं। कन्सोल आदेशहरूको लागि मद्दत पनि उपलब्ध छ (यद्यपि यहाँ केही गुनासोहरू छन्, खण्ड हेर्नुहोस् Минусы).

बहु-थ्रेडेड विश्लेषणको सम्भावना

विश्लेषकसँग "मानक" विकल्प छ -j, धेरै कार्यहरूमा समानान्तर रूपमा विश्लेषण गर्न अनुमति दिँदै। यसले धेरै समय बचत गर्छ।

राम्रो दृश्यावलोकन

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

विधानसभा मा सजिलो एकीकरण

सबै कागजातहरू तिनीहरूको वेबसाइटमा छन्, म मात्र भन्न सक्छु कि यदि तपाईंको परियोजना CMake प्रयोग गरेर बनाइएको हो भने, त्यसपछि सबै कुरा धेरै सरल छ।

राम्रो निदान विवरण

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

Минусы

विश्लेषक द्वारा C++ भाषाको अज्ञानता

दुर्भाग्यवश, PVS ले कहिलेकाहीँ सिन्ट्याक्स त्रुटिहरू बनाउँछ र कोड पूर्ण रूपमा सही हुँदा गलत सकारात्मक सन्देशहरू उत्पन्न गर्दछ।

उदाहरणका लागि, त्यहाँ एक प्रकार्य छ जुन फर्काउँछ void:

template <typename T>
auto copy (const void * source, void * destination)
    ->
        std::enable_if_t
        <
            std::is_copy_constructible<T>::value
        >
{
    new (destination) T(*static_cast<const T *>(source));
}

हो कुञ्जी शब्द हो auto मतलब गर्न सकिन्छ void, यो के को लागी हो कार। तर PVS ले निम्न सन्देशहरू उत्पादन गर्यो:

dynamic_tuple_management.hpp:29:1: error: V591 Non-void function should return a value.
dynamic_tuple_management.hpp:29:1: error: V2542 Function with a non-void return type should return a value from all exit paths.

धेरै ढिलो साइट

हो, प्रत्येक सन्देशको छेउमा वेब इन्टरफेसमा उदाहरणहरू सहित सम्बन्धित निदान विवरणको लिङ्क छ। तर जब तपाइँ लिङ्कमा क्लिक गर्नुहुन्छ, तपाइँ धेरै लामो समय पर्खनु पर्छ, र कहिलेकाहीँ यो हुन्छ 504०XNUMX गेटवे टाइम-आउट.

भाषा

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

कन्सोल मार्फत डायग्नोस्टिक स्तरहरूसँग काम गर्न असुविधाजनक छ

यस तथ्यको साथ सुरू गरौं कि दुई आदेशहरू प्रयोग गरियो (यो pvs-studio-analyzer и plog-converter) निदान निर्दिष्ट गर्नका लागि विभिन्न ढाँचाहरू।

लागि मद्दत गर्नुहोस् pvs-studio-analyzer पढ्छ:

-a [MODE], --analysis-mode [MODE]
    MODE defines the type of warnings:
    1 - 64-bit errors;
    2 - reserved;
    4 - General Analysis;
    8 - Micro-optimizations;
    16 - Customers Specific Requests;
    32 - MISRA.
    Modes can be combined by adding the values
    Default: 4

मैले कता जाने कोसिस गर्ने कोसिस गरें जोड्नुहोस् ("मानहरू थप्दै") कुञ्जीहरू। मैले तिनीहरूलाई अल्पविरामद्वारा विभाजित सूचीबद्ध गर्ने प्रयास गरें:

pvs-studio-analyzer analyze ... -a 1,4,16

मैले धेरै पटक कुञ्जी दर्ता गर्ने प्रयास गरें:

pvs-studio-analyzer analyze ... -a 1 -a 4 -a 16

र त्यसपछि मात्र मैले महसुस गरें कि यी बिट मास्कहरू थिए! र तपाईलाई चाहिन्छ संक्षेप गर्नुहोस्र होइन जोड्नुहोस् अर्थहरू। उदाहरण को लागी, सामान्य निदान प्राप्त गर्न को लागी, माइक्रो-अप्टिमाइजेसन र MISRA को लागी निदान, तपाईले तिनीहरूलाई जोड्नु पर्छ (4 + 8 + 32 = 44):

pvs-studio-analyzer analyze ... -a 44

प्रयोगकर्ता इन्टरफेसहरूमा बिटमास्कहरू प्रयोग गर्नु सामान्यतया खराब रूप हो। यो सबै आन्तरिक रूपमा संक्षेप गर्न सकिन्छ, र झण्डाहरूको सेट प्रयोगकर्ताको लागि सेट गर्न सकिन्छ।

साथै, त्यहाँ एक उपयोगिता पनि छ plog-converter, जसले मानव-पठनीय स्थिर विश्लेषण जानकारी उत्पन्न गर्दछ। उनको अन्य समस्या छ।

कार्यक्रमको लागि सहयोग plog-converter रिपोर्टहरू:

-a, --analyzer            Specifies analyzer(s) and level(s) to be
                          used for filtering, i.e.
                          'GA:1,2;64:1;OP:1,2,3;CS:1;MISRA:1,2'
                          Default: GA:1,2

केही "स्तरहरू" यहाँ देखा पर्‍यो जुन पहिले त्यहाँ थिएनन्, र मैले कागजातमा पनि तिनीहरूको बारेमा केही फेला पारेन।

सामान्य मा, यो स्पष्ट छैन। त्यसैले मैले सबै कुरालाई अधिकतम सेट गरें।

क्याच मा मूर्ख कसम को एक गुच्छा

मैले विश्लेषण गरेको तीन परियोजना मध्ये दुई एक एकाइ परीक्षण पुस्तकालय प्रयोग गर्दछ Catch2। र सन्देशहरूको सिंहको हिस्सा (!!! एउटामा 90 मध्ये 138 र अर्कोमा 297 मध्ये 344 !!!) निम्न रूपहरू छन्:

मल्टिथ्रेडिङलाई ध्यानमा राख्दैन

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

यद्यपि, एक स्थिर विश्लेषकले पनि यसलाई खातामा लिन सक्छ? थाहा छैन।

परिणामहरू

PVS ले मेरो खुला स्रोत परियोजनाहरूमा कुनै पनि वास्तविक बगहरू फेला पारेन फुट्छ и प्रोक्सीमा, साथै कार्य मस्यौदामा, जुन, स्पष्ट कारणहरूको लागि, म प्रस्तुत गर्न सक्दिन। साँचो, यो ध्यानमा राख्न लायक छ कि केहि कमजोरीहरू पहिले नै पक्रिएको छ र पहिले प्रयोग गरेर सुधारिएको छ Cppcheck и scan-build.

सामान्यतया, यी सबै विश्लेषकहरूबाट छाप लगभग समान छ: हो, तिनीहरूले केहि समात्छन्, कहिलेकाहीँ केहि महत्त्वपूर्ण पनि, तर समग्रमा कम्पाइलर पर्याप्त छ।

यो सम्भव छ (र म व्यक्तिगत रूपमा सोच्न चाहन्छु) कि हाम्रो टोलीले सफ्टवेयर विकास अभ्यासहरू प्रयोग गर्दछ जसले हामीलाई न्यूनतम मात्रामा shitty कोड उत्पन्न गर्न अनुमति दिन्छ। वीरतापूर्वक समाधान गर्नु भन्दा समस्याहरू सिर्जना नगर्नु राम्रो हो।

तसर्थ, कसैको खुट्टामा गोली हान्न वा कसैको निधारमा र्याकले प्रहार नगर्ने गरी C++ मा कसरी लेख्ने भनेर केही सल्लाह दिने स्वतन्त्रता लिन्छु।

कम्पाइलर निदान को अधिकतम बनाउनुहोस्

हाम्रो टोलीले निम्न संकलन विकल्पहरू प्रयोग गर्दछ (र तपाईंलाई सल्लाह दिन्छ):

-Werror

-Wall
-Wextra
-Wpedantic

-Wcast-align
-Wcast-qual
-Wconversion
-Wctor-dtor-privacy
-Wenum-compare
-Wfloat-equal
-Wnon-virtual-dtor
-Wold-style-cast
-Woverloaded-virtual
-Wredundant-decls
-Wsign-conversion
-Wsign-promo

तिनीहरूलाई तपाईंको परियोजनामा ​​सक्षम गर्नुहोस् र तपाईंको कोडको बारेमा धेरै जान्नुहोस्।

मानकमा टाँस्नुहोस्

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

मानक सञ्चालन सिमान्टिक्समा टाँस्नुहोस्

थप हुनु अनिवार्य छ, गुणन गुणन हुनुपर्छ, प्रकार्य कल फंक्शन कल हुनुपर्छ, प्रतिलिपि प्रतिलिपि हुनुपर्छ, बोक्नुपर्छ, कन्टेनर पुनरावृत्ति हुनुपर्दछ, पुनरावृत्तिमा पदोन्नति हुनुपर्छ ++ र सन्दर्भ *। र यस्तै र यस्तै अगाडि।

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

मिल्दो कोड लेख्नुहोस्

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

STL र बूस्ट इन्टरफेसहरूमा एक नजर लिन स्वतन्त्र महसुस गर्नुहोस्। दुर्लभ अपवादहरूको साथ, तपाईंले त्यहाँ एक योग्य रोल मोडेल देख्नुहुनेछ।

खुला स्रोत उपकरणहरूको अधिकतम बनाउनुहोस्

एउटै स्थिर विश्लेषणको लागि, त्यहाँ कम्तिमा दुईवटा खुला निःशुल्क उपकरणहरू छन् जुन CMake निर्माण प्रणालीसँग कुनै पनि परियोजनामा ​​एक पटक जडान गर्न सकिन्छ।

तपाईं मेरो भर्खरको प्रकाशनमा यस बारे थप पढ्न सक्नुहुन्छ.

पछिशब्द

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

यो एउटा परिणाम मात्र हो। हामीले कारण खोज्न र हटाउन आवश्यक छ।

स्रोत: www.habr.com