C और C ++ में एम्बेडेड सिस्टम के लिए विकास में PVS-Studio स्थिर विश्लेषक का उपयोग करना

इस आलेख में, आप सीखेंगे कि एम्बेडेड प्रोजेक्ट चेक कैसे चलाना है और विश्लेषक रिपोर्ट के साथ कैसे काम करना है। PVS-Studio विश्लेषक एम्बेडेड सिस्टम के लिए कई संकलक का समर्थन करता है। वर्तमान संस्करण में, विंडो, लिनक्स और मैकओएस के लिए निम्नलिखित कंपाइलरों में से एक के साथ निर्माण करते समय परियोजनाओं की जांच करना संभव है:

• IAR एंबेडेड वर्कबेंच
• आर्म के लिए केइल एंबेडेड डेवलपमेंट टूल
• TI एआरएम कोड जनरेशन टूल्स
• GNU एंबेडेड टूलचिन

स्थापना

स्थापना प्रक्रिया उस ऑपरेटिंग सिस्टम पर निर्भर करती है जिसके तहत आप विकास कर रहे हैं। लिनक्स के तहत, आप विश्लेषक को रिपॉजिटरी से या इंस्टॉलेशन पैकेज से इंस्टॉल कर सकते हैं।

डेबियन आधारित प्रणालियों के लिए उदाहरण:

wget -q -O - https://files.viva64.com/etc/pubkey.txt | sudo apt-key add - sudo wget -O /etc/apt/sources.list.d/viva64.list \ https://files.viva64.com/etc/viva64.list sudo apt update sudo apt install pvs-studio 

या

 sudo gdebi pvs-studio-VERSION.deb 

MacOS के लिए, स्थापना और अद्यतन Homebrew से किया जा सकता है:

 brew install viva64/pvs-studio/pvs-studio brew upgrade pvs-studio 

दूसरा विकल्प पैकेज को डीएमजी से स्थापित करना है या मैन्युअल रूप से संग्रह से अनपैक करना है।

विंडोज के तहत, इंस्टॉलर का उपयोग करके इंस्टॉलेशन किया जाता है:

आप सभी समर्थित प्रणालियों के लिए इंस्टॉलेशन पैकेज डाउनलोड कर सकते हैं और यदि आवश्यक हो, तो पृष्ठ पर एक परीक्षण कुंजी का अनुरोध करें " पीवीएस-स्टूडियो डाउनलोड करें और प्रयास करें "।

स्थापना के बाद, लाइसेंस कुंजी दर्ज करें। आप इसे विभिन्न प्लेटफार्मों पर कैसे करें, इसके बारे में जानकारी प्रलेखन पृष्ठ पर पा सकते हैं " पीवीएस-स्टूडियो लाइसेंस कैसे दर्ज करें, और आगे क्या करना है ।"

परियोजना का सत्यापन

एम्बेडेड सिस्टम के लिए परियोजना सत्यापन उसी तरह से किया जा सकता है जैसे कि विंडोज, लिनक्स और मैकओएस के तहत विकास के मामले में।

लिनक्स के लिए लॉन्च विकल्पों पर लेख " लिनक्स वातावरण में सी ++ प्रोग्राम विकसित करते समय पीवीएस-स्टूडियो स्थिर विश्लेषक का परिचय " पर चर्चा की जाती है। ध्यान रखें कि चूंकि क्रॉस-संकलन का उपयोग एम्बेडेड के तहत निर्माण के लिए किया जाता है, और संकलक का नाम गैर-मानक हो सकता है, आपको प्रोजेक्ट का विश्लेषण करते समय इसे निर्दिष्ट करने की आवश्यकता हो सकती है। ऐसा करने के लिए, -compiler या -c कमांड लाइन विकल्प का उपयोग करें :

 pvs-studio-analyzer analyze -c MyCompiler 

इस पैरामीटर का उपयोग तब करें जब विश्लेषक उपयोग किए गए संकलक के प्रकार को निर्धारित नहीं कर सकता है, अर्थात, जब त्रुटि "कोई संकलन इकाइयां नहीं मिली" जारी की गई है।

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

समर्थित प्लेटफ़ॉर्म: win32, x64, linux32, linux64, macos, arm।

समर्थित प्रीप्रोसेसर: gcc, clang, keil।

डिफ़ॉल्ट रूप से, लिनक्स linux64 प्लेटफॉर्म और gcc प्रीप्रोसेसर का चयन करता है।

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

" प्रारंभ निगरानी " बटन पर क्लिक करें और बिल्ड को चलाएं। इसके पूरा होने के बाद, स्क्रीन के निचले दाएं कोने में संवाद बॉक्स में " स्टॉप मॉनिटरिंग " बटन पर क्लिक करें:

परीक्षा परिणाम को " C और C ++ कंपाइलर मॉनिटरिंग UI " उपयोगिता की मुख्य विंडो में देखा जा सकता है।

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

 CLMonitor.exe monitor 

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

 CLMonitor.exe analyze -l "<path>\out.plog" 

विश्लेषक परियोजना की जांच करेगा और परिणामों को -l पैरामीटर में निर्दिष्ट फ़ाइल में बचाएगा।

प्रलेखन अनुभाग " पीवीएस-स्टूडियो में संकलन निगरानी प्रणाली " भी देखें।

रिपोर्ट के साथ काम करें

लिनक्स के तहत रिपोर्ट देखने के लिए, आपको पॉली-कनवर्टर उपयोगिता का उपयोग करके समर्थित स्वरूपों में से एक को विश्लेषक के परिणामस्वरूप प्राप्त फ़ाइल को कनवर्ट करने की आवश्यकता है। आप निम्न आदेश के साथ स्रोत कोड को देखने की क्षमता के साथ HTML प्रारूप में रिपोर्ट प्राप्त कर सकते हैं:

 plog-converter -a GA:1,2 -t fullhtml /path/project.log -o /path/report_dir 

रिपोर्ट के रूपांतरण को " लिनक्स में सी ++ प्रोग्राम विकसित करते समय पीवीएस-स्टूडियो स्थिर विश्लेषक के साथ परिचित " लेख में अधिक विस्तार से वर्णित किया गया है।

विंडोज के तहत, एक PlogConverter उपयोगिता भी है जो आपको रिपोर्ट फ़ाइलों को एक समान तरीके से परिवर्तित करने की अनुमति देती है:

 PlogConverter.exe <path>\out.plog --renderTypes= FullHtml --analyzer=GA:1,2 

या

 PlogConverter.exe D:\Projct\out.plog -t FullHtml -a GA:1,2 

इसके अलावा, plog प्रारूप में एक रिपोर्ट को मेनू फ़ाइल के माध्यम से उपयोगिता " C और C ++ कंपाइलर मॉनिटरिंग UI " का उपयोग करके देखा जा सकता है-> PVS- स्टूडियो लॉग खोलें ...

एक उदाहरण:

यदि आवश्यक हो, तो इस उपयोगिता से आप फ़ाइल मेनू के माध्यम से रिपोर्ट को एक समर्थित प्रारूप में निर्यात कर सकते हैं।

MISRA मानक

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

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

लिनक्स के तहत MISRA विश्लेषण को सक्षम करने के लिए, आपको -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/report.log 

पोगल-कन्वर्टर का उपयोग करते समय , आपको यह भी संकेत देना चाहिए कि MISRA डायग्नोस्टिक्स को रिपोर्ट में शामिल किया जाना चाहिए:

 plog-converter -a MISRA:1,2,3 -m misra .... 

विंडोज के तहत, आप " C और C ++ कंपाइलर मॉनिटरिंग UI " उपयोगिता सेटिंग्स संवाद का उपयोग कर सकते हैं:

MISRA समर्थन के बारे में अधिक विवरण " PVS-Studio: MISRA C और MISRA C ++ एन्कोडिंग मानकों के लिए समर्थन " लेख में वर्णित हैं।

निष्कर्ष

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

• पीवीएस-स्टूडियो स्थिर कोड विश्लेषक के साथ परिचितता ;
• पीवीएस-स्टूडियो में संकलन निगरानी प्रणाली ;
• लिनक्स और मैकओएस पर पीवीएस-स्टूडियो कैसे चलाएं ;
• पीवीएस-स्टूडियो एसएएसटी (स्टैटिक एप्लीकेशन सिक्योरिटी टेस्टिंग, एसएएसटी) ;
• झूठी चेतावनियों का दमन ।

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