पीव्हीएस-स्टुडिओचे स्वतंत्र पुनरावलोकन (लिनक्स, सी++)

मी एक प्रकाशन पाहिले जे पीव्हीएस ने लिनक्स अंतर्गत विश्लेषण करणे शिकले आहे आणि माझ्या स्वतःच्या प्रकल्पांवर ते वापरण्याचे ठरवले. आणि त्यातून हेच ​​पुढे आले.

सामग्री

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 गेटवे वेळ - आउट.

भाषा

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

कन्सोलद्वारे निदान पातळीसह कार्य करणे गैरसोयीचे आहे

दोन आज्ञा वापरल्या या वस्तुस्थितीपासून सुरुवात करूया (हे 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

काही "स्तर" येथे दिसू लागले जे आधी नव्हते आणि मला त्यांच्याबद्दल कागदपत्रांमध्ये काहीही सापडले नाही.

सर्वसाधारणपणे, हे स्पष्ट नाही. म्हणूनच मी सर्वकाही जास्तीत जास्त सेट केले आहे.

कॅच वर मूर्ख शपथेचा एक घड

मी विश्‍लेषित केलेल्या तीनपैकी दोन प्रकल्प युनिट चाचणी लायब्ररी वापरतात पकड2. आणि संदेशांचा सिंहाचा वाटा (!!! एकामध्ये 90 पैकी 138 आणि दुसऱ्यामध्ये 297 पैकी 344!!!) खालील फॉर्म आहेत:

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

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

तथापि, स्थिर विश्लेषक हे देखील विचारात घेऊ शकतात का? माहीत नाही.

परिणाम

PVS ला माझ्या ओपन सोर्स प्रोजेक्ट्समध्ये कोणतेही वास्तविक बग आढळले नाहीत फुटणे и प्रॉक्सिमा, तसेच कार्यरत मसुद्यात, जे, स्पष्ट कारणांमुळे, मी सादर करू शकत नाही. खरे आहे, हे लक्षात ठेवण्यासारखे आहे की काही उणीवा आधीच पकडल्या गेल्या आहेत आणि पूर्वी वापरून सुधारल्या गेल्या आहेत 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

त्यांना तुमच्या प्रोजेक्टमध्ये सक्षम करा आणि तुमच्या कोडबद्दल बरेच काही जाणून घ्या.

मानकांना चिकटून रहा

मानक अॅनालॉग्स असल्यास प्लॅटफॉर्मवर अवलंबून असलेल्या गोष्टी न वापरण्याचा प्रयत्न करा आणि जर तुम्ही त्यांच्याशिवाय करू शकत नसाल तर त्यांना मॅक्रो (किंवा दुसरे काहीतरी) साठी विशेष ब्लॉक्समध्ये गुंडाळा आणि फक्त असमर्थित परिस्थितीत तुमचा कोड संकलित होऊ देऊ नका.

मानक ऑपरेशन सिमेंटिक्सला चिकटून रहा

बेरीज बेरीज असणे आवश्यक आहे, गुणाकार गुणाकार असणे आवश्यक आहे, फंक्शन कॉल फंक्शन कॉल असणे आवश्यक आहे, कॉपी कॉपी असणे आवश्यक आहे, कॅरी असणे आवश्यक आहे, कंटेनर पुनरावृत्ती करण्यायोग्य असणे आवश्यक आहे, पुनरावृत्ती करणारा प्रमोशन असणे आवश्यक आहे ++ आणि संदर्भ देणे *. आणि अशीच आणि पुढे.

मला वाटते की कल्पना स्पष्ट आहे. असे स्थापित नियम आहेत जे बंधनकारक नाहीत, परंतु आपल्या कोडचे सर्व वापरकर्ते आणि वाचक पाहण्याची अपेक्षा करतात. इतरांना चकित करण्याचा प्रयत्न करू नका, अन्यथा तुम्ही स्वतःला मागे टाकाल.

सुसंगत कोड लिहा

सर्व प्रथम, मला मानक लायब्ररी म्हणायचे आहे. तुमच्या क्लासेस आणि फंक्शन्सचे इंटरफेस मानक आणि इतर लायब्ररी (उदाहरणार्थ, बूस्ट) सह वापरले जाऊ शकतात हे अत्यंत इष्ट आहे.

STL आणि बूस्ट इंटरफेसवर मोकळ्या मनाने एक नजर टाका. दुर्मिळ अपवादांसह, तुम्हाला तेथे एक योग्य आदर्श दिसेल.

मुक्त स्रोत साधनांचा जास्तीत जास्त वापर करा

त्याच स्थिर विश्लेषणासाठी, किमान दोन खुली विनामूल्य साधने आहेत जी CMake बिल्ड सिस्टमसह कोणत्याही प्रकल्पाशी एकदाच जोडली जाऊ शकतात.

आपण माझ्या अलीकडील प्रकाशनात याबद्दल अधिक वाचू शकता.

नंतरचा शब्द

शेवटी, मी यावर जोर देऊ इच्छितो की मी PVS किंवा इतर कोणतेही स्थिर विश्लेषक न वापरण्याचा सल्ला देत नाही. परंतु स्थिर विश्लेषक आपल्या कोडमध्ये सतत महत्त्वपूर्ण त्रुटी शोधत असल्याचे कसे घडले याचा विचार करण्यासाठी मी तुम्हाला प्रोत्साहित करतो.

हा फक्त एक परिणाम आहे. आपण कारण शोधणे आणि दूर करणे आवश्यक आहे.

स्त्रोत: www.habr.com