पीवीएस-स्टूडियो (लिनक्स, सी++) की स्वतंत्र समीक्षा

मैंने एक प्रकाशन देखा कि पीवीएस ने लिनक्स के तहत विश्लेषण करना सीखा था, और इसे अपनी परियोजनाओं पर आज़माने का फैसला किया। और उससे यही निकला.

सामग्री

1. पेशेवरों
2. विपक्ष
3. परिणाम
4. अंतभाषण

पेशेवरों

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

मैंने एक परीक्षण कुंजी का अनुरोध किया और उन्होंने इसे उसी दिन मुझे भेज दिया।

बिल्कुल स्पष्ट दस्तावेज़ीकरण

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

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

विश्लेषक के पास एक "मानक" विकल्प है -j, जिससे कई कार्यों में समानांतर रूप से विश्लेषण किया जा सके। इससे समय की काफी बचत होती है.

अच्छा दृश्यावलोकन

टेक्स्ट से लेकर छोटे वेब थूथन तक कई अलग-अलग आउटपुट स्वरूप। वेब इंटरफ़ेस सुविधाजनक, संक्षिप्त है, कोड में पंक्तियों के बगल में संकेत और नैदानिक ​​विवरणों के लिंक हैं.

असेंबली में आसान एकीकरण

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

अच्छा निदान विवरण

यदि आप मोड में आउटपुट उत्पन्न करते हैं fullhtml, तो प्रत्येक संदेश में स्पष्टीकरण, कोड उदाहरण और अतिरिक्त लिंक के साथ नैदानिक ​​विवरण का एक लिंक होता है।

विपक्ष

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

दुर्भाग्य से, पीवीएस कभी-कभी सिंटैक्स त्रुटियां करता है और कोड पूरी तरह से सही होने पर गलत सकारात्मक संदेश उत्पन्न करता है।

उदाहरण के लिए, एक फ़ंक्शन है जो रिटर्न देता है 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, यह इसी के लिए है स्वत:. लेकिन पीवीएस ने निम्नलिखित संदेश प्रस्तुत किये:

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 गेटवे टाइम-आउट.

भाषा

सभी विवरण रूसी में हैं, जो बहुत अच्छा है। लेकिन रिपोर्ट के लिंक हमेशा अंग्रेजी संस्करण की ओर ले जाते हैं। भाषा बदलने में सक्षम होना अच्छा होगा ताकि आप निदान को तुरंत रूसी में देख सकें। मुझे इंटरफ़ेस में ऐसा कोई विकल्प नहीं मिला.

कंसोल के माध्यम से डायग्नोस्टिक स्तरों के साथ काम करना असुविधाजनक है

आइए इस तथ्य से शुरू करें कि उपयोग किए गए दो कमांड (यह 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!!!) इस प्रकार है:

मल्टीथ्रेडिंग को ध्यान में नहीं रखता

कथित रूप से अपरिवर्तित चर या अंतहीन लूप के बारे में कई गलत सकारात्मक बातें हैं, जबकि इन चर के साथ काम अलग-अलग थ्रेड से होता है, और यदि ऐसा नहीं होता, तो इकाई परीक्षण काम नहीं करते।

हालाँकि, क्या कोई स्थैतिक विश्लेषक इसे भी ध्यान में रख सकता है? पता नहीं।

परिणाम

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

सामान्य तौर पर, इन सभी विश्लेषकों की धारणा लगभग समान है: हाँ, वे कुछ पकड़ते हैं, कभी-कभी कुछ महत्वपूर्ण भी, लेकिन कुल मिलाकर संकलक पर्याप्त है।

यह संभव है (और मैं व्यक्तिगत रूप से ऐसा सोचना पसंद करता हूं) कि हमारी टीम सॉफ्टवेयर विकास प्रथाओं का उपयोग करती है जो हमें न्यूनतम मात्रा में घटिया कोड उत्पन्न करने की अनुमति देती है। समस्याओं को पैदा न करना बेहतर है बजाय इसके कि वीरतापूर्वक उन पर काबू पाया जाए।

इसलिए, मैं 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

उन्हें अपने प्रोजेक्ट में सक्षम करें और अपने कोड के बारे में बहुत कुछ जानें।

मानक पर टिके रहें

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

मानक संचालन शब्दार्थ पर टिके रहें

जोड़ को जोड़ होना चाहिए, गुणन को गुणन होना चाहिए, फ़ंक्शन कॉल को फ़ंक्शन कॉल होना चाहिए, कॉपी को कॉपी करना होगा, कैरी को कैरी करना होगा, कंटेनर को पुनरावर्तनीय होना चाहिए, इटरेटर को प्रमोशन होना चाहिए ++ और डीरेफ़रेंसिंग *. और इतने पर और आगे।

मुझे लगता है विचार स्पष्ट है. ऐसी स्थापित परंपराएँ हैं जो बाध्यकारी नहीं हैं, लेकिन आपके कोड के सभी उपयोगकर्ता और पाठक इसे देखने की उम्मीद करते हैं। दूसरों को मात देने की कोशिश मत करो, नहीं तो तुम स्वयं ही मात खा जाओगे।

संगत कोड लिखें

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

बेझिझक एसटीएल और बूस्ट इंटरफेस पर एक नज़र डालें। दुर्लभ अपवादों के साथ, आपको वहां एक योग्य रोल मॉडल दिखाई देगा।

ओपन सोर्स टूल का अधिकतम लाभ उठाएं

समान स्थैतिक विश्लेषण के लिए, कम से कम दो खुले मुफ़्त उपकरण हैं जिन्हें सीएमके बिल्ड सिस्टम के साथ किसी भी प्रोजेक्ट से केवल एक बार जोड़ा जा सकता है।

आप मेरे हालिया प्रकाशन में इसके बारे में और अधिक पढ़ सकते हैं.

अंतभाषण

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

यह तो महज़ एक परिणाम है. हमें कारण की तलाश करनी होगी और उसे खत्म करना होगा।

स्रोत: www.habr.com