👦🏿 😻 🌛 PVS-Studio: MISRA C और MISRA C ++ कोडिंग मानकों का समर्थन करता है 😐 🧑🏿‍🤝‍🧑🏽 🚵🏻

संस्करण 6.27 से शुरू होकर, PVS-Studio स्थिर कोड विश्लेषक MISRA C और MISRA C ++ मानकों के अनुसार अपनी चेतावनी को वर्गीकृत कर सकता है। इन मानकों के समर्थन के लिए धन्यवाद, एम्बेडेड सिस्टम के लिए कार्यक्रमों की सुरक्षा, पोर्टेबिलिटी और विश्वसनीयता में सुधार के लिए विश्लेषक का प्रभावी ढंग से उपयोग करना संभव हो गया है।

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

विभिन्न मानकों के लिए पीवीएस-स्टूडियो डायग्नोस्टिक्स की अनुपालन तालिकाएँ:

अब यह MISRA C और MISRA C ++ मानकों का समय है। ये CIS और C ++ सॉफ्टवेयर विकास मानक हैं जो MISRA (मोटर इंडस्ट्री सॉफ्टवेयर विश्वसनीयता एसोसिएशन) द्वारा बनाए गए हैं। मानकों का लक्ष्य एम्बेडेड प्रोग्राम की सुरक्षा, पोर्टेबिलिटी और विश्वसनीयता में सुधार करना है। मानक पाठ का भुगतान किया जाता है।

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

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

हमने तय किया कि पीवीएस-स्टूडियो एक विश्लेषक होगा जो त्रुटियों की खोज करता है। यह उसका प्रतिस्पर्धात्मक लाभ है। प्रोग्रामर इसे बड़े कोड बेस पर चला सकता है और यह सुनिश्चित कर सकता है कि वह कोड निष्पादन के बारे में अविश्वसनीय संख्या में संदेशों से अभिभूत नहीं होगा और वह बग्स पर ध्यान केंद्रित करने में सक्षम होगा।

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

MISRA मानक में एक नियम है जिसके अनुसार यदि कथनों के विवरण को घुंघराले ब्रेसिज़ में संलग्न किया जाना चाहिए। MISRA C में, यह नियम 15.6 है, और MISRA C ++ में यह 6-4-1 है। गलत कोड उदाहरण:

if (i == bestOffs) continue;

सही कोड है:

 if (i == bestOffs) { continue; }

इस तरह के डायग्नोस्टिक्स को ऑपरेटिंग सिस्टम Winodws, Linux या macOS के नियंत्रण में काम करने के लिए लिखी गई मौजूदा परियोजनाओं पर लागू नहीं किया जा सकता है। उदाहरण के लिए, केवल वर्णित घुंघराले कोष्ठक नियम 1947 V2507 नैदानिक संचालन (MISRA C 15.6, MISRA C ++ 6-4-1) WinMerge परियोजना के लिए देता है। लेकिन WinMerge एक छोटा प्रोजेक्ट है! केवल C और C ++ में कोड की लगभग 250,000 पंक्तियाँ।

2018 तक, पीवीएस-स्टूडियो विश्लेषक विंडोज, लिनक्स और मैकओएस पर चलने वाले डेस्कटॉप अनुप्रयोगों के परीक्षण पर केंद्रित था। तदनुसार, MISRA के लिए समर्थन ने थोड़ा व्यावहारिक अर्थ दिया। एक बड़े मौजूदा डेस्कटॉप प्रोजेक्ट में कोई भी इस मानक को लागू नहीं करेगा।

सब कुछ बदल गया जब 2018 में हमने एम्बेडेड सिस्टम का समर्थन करना शुरू कर दिया। इस वर्ष, विश्लेषक ने समर्थन किया:

विंडोज। आईएआर एंबेडेड वर्कबेंच, एआर / सी के लिए सी / सी ++ कंपाइलर, सी ++
विंडोज / लिनक्स केएल ilविज़न, डीएस-एमडीके, एआरएम कंपाइलर 5/6 सी, सी ++
विंडोज / लिनक्स टेक्सास इंस्ट्रूमेंट्स कोड कम्पोज़र स्टूडियो, एआरएम कोड जेनरेशन टूल्स सी, सी ++
विंडोज / लिनक्स / मैकओएस। जीएनयू आर्म एंबेडेड टूलचिन, आर्म एंबेडेड जीसीसी कंपाइलर, सी, सी ++

डेस्कटॉप परियोजनाओं के विपरीत, कई एम्बेडेड डेवलपर्स पहले से ही MISRA सिफारिशों को ध्यान में रखते हुए परियोजनाएं लिखते हैं, और हमारे विश्लेषक में उनका समर्थन डेवलपर्स के लिए विशिष्ट रूप से उपयोगी होगा।

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

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

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

विज़ुअल स्टूडियो में या पीवीएस-स्टूडियो स्टैंडअलोन उपयोगिता में MISRA डायग्नोस्टिक्स को सक्षम करने के लिए, आपको सेटिंग्स में सभी को दिखाने के लिए अक्षम को बदलने की आवश्यकता है।

चूंकि विकलांग का मतलब है कि चेतावनियाँ बिल्कुल भी उत्पन्न नहीं होती हैं और रिपोर्ट में नहीं आती हैं, इसलिए विश्लेषण की पुनः आरंभ की आवश्यकता होगी। रिपोर्ट के आकार को कम करने के लिए डिफ़ॉल्ट रूप से अक्षम मोड सेट किया गया है। MISRA डायग्नोस्टिक्स के शामिल होने से बड़ी संख्या में ऑपरेशन हो सकते हैं और रिपोर्ट (* .plog फाइलें) के साथ फाइलों में मजबूत वृद्धि हो सकती है।

लिनक्स और मैकओएस ऑपरेटिंग सिस्टम में परियोजनाओं के विश्लेषण के लिए, एक उपयोगिता पीवी-स्टूडियो-विश्लेषक है। डिफ़ॉल्ट रूप से, केवल सामान्य उद्देश्य निदान (सामान्य विश्लेषण, जीए) वहां शामिल हैं। -A विकल्प का उपयोग करके अतिरिक्त नियम सक्षम किए जा सकते हैं:

 -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

GA और MISRA अलर्ट सक्षम करने के लिए, आपको निम्नलिखित मापदंडों के साथ विश्लेषण चलाना चाहिए:

 pvs-studio-analyzer analyze ... -a 36 ... -o /path/to/report.log ...

मान 36 एक बिटवाइज़ या 4 (GA - जनरल डायग्नोस्टिक्स) और 32 (MISRA) के लिए है।

इसके अलावा, विभिन्न प्रकार के अलर्ट के साथ कई रिपोर्ट बनाने की सिफारिश की जाती है, उदाहरण के लिए, इस तरह:

 plog-converter -a GA:1,2 -t tasklist -o /path/to/ga_results.tasks /path/to/project.log plog-converter -a MISRA:1,2,3 -t tasklist -m misra -o /path/to/misra_results.tasks /path/to/project.log

पहली ga_results.tasks रिपोर्ट में उच्च और मध्यम आत्मविश्वास स्तरों की सामान्य चेतावनियाँ होंगी।

और दूसरी रिपोर्ट "misra_results.tasks" को केवल सभी स्तरों के MISRA से संबंधित चेतावनी मिलेगी। "-M मिश्रा" स्विच इंगित करता है कि पीवीएस-स्टूडियो प्रारूप में संख्याओं के अलावा, रिपोर्ट में MISRA वर्गीकरण के अनुसार नैदानिक संख्याएं शामिल होंगी।

लिनक्स और मैकओएस में सभी विश्लेषक लॉन्च मोड, साथ ही रिपोर्ट प्रारूप, प्रलेखन में वर्णित हैं।

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

अतिरिक्त लिंक:

यदि आप इस लेख को अंग्रेजी बोलने वाले दर्शकों के साथ साझा करना चाहते हैं, तो कृपया अनुवाद के लिंक का उपयोग करें: एंड्रे कारपोव। PVS-Studio: MISRA C और MISRA C ++ कोडिंग मानकों का समर्थन ।

PVS-Studio: MISRA C और MISRA C ++ कोडिंग मानकों का समर्थन करता है

More articles: