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

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

सामग्री

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

आकर्षण आते हैं

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

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

पर्याप्त दस्तावेज़ साफ़ करें

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

मल्टी-थ्रेडेड विश्लेषण क्षमता

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

अच्छा दृश्य

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

आसान विधानसभा एकीकरण

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

अच्छा नैदानिक ​​विवरण

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

विपक्ष

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

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

उदाहरण के लिए, एक फ़ंक्शन है जो void देता 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 ) में अलग 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 

और तभी मुझे महसूस हुआ कि ये बिट मास्क हैं! और आपको संक्षेप में बताने की जरूरत है, मूल्यों को जोड़ने की नहीं। उदाहरण के लिए, सामान्य डायग्नोस्टिक्स, माइक्रोप्टीमाइजेशन और एमआईएसआरए के लिए डायग्नोस्टिक्स प्राप्त करने के लिए, आपको उन्हें (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, ie 'GA:1,2;64:1;OP:1,2,3;CS:1;MISRA:1,2' Default: GA:1,2 

कुछ प्रकार के "स्तर" यहां दिखाई दिए, जिन्हें पहले कभी नहीं देखा गया था, और मुझे उनके बारे में कुछ भी दस्तावेज में नहीं मिला।

सामान्य तौर पर, यह स्पष्ट नहीं है। इसलिए, मैंने सब कुछ अधिकतम करने के लिए निर्धारित किया है।

कैच पर बेवकूफ कसम का एक गुच्छा

मैंने जिन तीन परियोजनाओं का विश्लेषण किया उनमें से दो कैच 2 यूनिट परीक्षण पुस्तकालय का उपयोग करती हैं। और शेरों के संदेशों का हिस्सा (एक में 138 का 90 और दूसरे में 344 का 297 !!!) का निम्न रूप है !!!

मल्टीथ्रेडिंग पर विचार नहीं करता है

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

हालाँकि, क्या कोई स्टैटिक एनालाइज़र इसे बिल्कुल ध्यान में रख सकता है? मुझे नहीं पता

परिणाम

पीवीएस को मेरी खुली परियोजनाओं बर्स्ट और प्रोक्सिमा में एक भी वास्तविक गलती नहीं मिली, साथ ही साथ एक काम के मसौदे में, जिसे मैं, स्पष्ट कारणों के लिए, प्रस्तुत नहीं कर सकता। सच है, यह ध्यान में रखा जाना चाहिए कि कुछ खामियों को पहले से ही Cppcheck और 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 

उन्हें अपने प्रोजेक्ट में शामिल करें, अपने कोड के बारे में बहुत कुछ जानें।

मानक से चिपके रहते हैं

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

स्टेंडर्ड टू स्टैण्डर्ड ऑपरेशन सेमेंटिक्स

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

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

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

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

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

अधिक से अधिक खुले साधन करें

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

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

अंतभाषण

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

यह केवल एक परिणाम है। कारण को खोजना और समाप्त करना आवश्यक है।