🧕🏾 💍 🙍🏿 पीवीएस-स्टूडियो 7.00 🕵🏾 🏖️ 🕴🏽

$PVS-Studio C # \ Java \ C ++$ आज एक महत्वपूर्ण दिन है - छठे संस्करण के 28 रिलीज के बाद हम अपने पीवीएस-स्टूडियो 7.00 को पेश करते हैं, जिसमें प्रमुख नवाचार जावा भाषा का समर्थन है। हालाँकि, 2018 के दौरान हमने C ++, C #, बुनियादी ढांचे और कोडिंग मानकों के समर्थन से संबंधित कई अन्य महत्वपूर्ण परिवर्तन प्राप्त किए हैं। इसलिए, हम आपके ध्यान में लाते हैं कि आखिरी बार पीवीएस-स्टूडियो में हुए प्रमुख बदलावों को पूरा करता है।

पीवीएस-स्टूडियो एक उपकरण है जिसे सी, सी ++, सी #, और जावा में लिखे गए कार्यक्रमों के स्रोत कोड में त्रुटियों और संभावित कमजोरियों का पता लगाने के लिए डिज़ाइन किया गया है। यह विंडोज, लिनक्स और मैकओएस वातावरण में काम करता है।

विभिन्न खुले स्रोत परियोजनाओं की जांच के दौरान कोड में पाई गई त्रुटियों का एक व्यापक संग्रह विश्लेषक की क्षमताओं को स्पष्ट रूप से प्रदर्शित करता है।

हम एक बदलाव के साथ शुरुआत करेंगे जिसके कारण हमने संस्करण संख्या को 6.x से 7.x तक बदलने का फैसला किया। यह जावा भाषा का विश्लेषक समर्थन है, जिसकी तैयारी के लिए लंबे समय की आवश्यकता थी।

जावा

जावा विश्लेषक में सबसे महत्वपूर्ण बात यह है कि यह :) दिखाई दिया। हम जावा डेवलपर्स को टूल डाउनलोड करने और परियोजनाओं की जांच करने के लिए आमंत्रित करना चाहते हैं, जिस पर आप वर्तमान में काम कर रहे हैं।

हमने उपयोगकर्ताओं के लिए बिल्ड सिस्टम में विश्लेषक एकीकरण के सबसे लोकप्रिय तरीके उपलब्ध कराए:

मावेन के लिए प्लगइन।
ग्रेडल के लिए प्लगइन।
IntelliJ आईडिया के लिए प्लगइन।

स्व-लिखित बिल्ड सिस्टम का उपयोग करने के मामले में, हमारे पास विश्लेषक को सीधे चलाने की क्षमता है, स्रोतों और क्लासपैथ को सूचीबद्ध करना।

आप प्रलेखन पृष्ठ " कैसे पीवीएस-स्टूडियो जावा चलाने के लिए " पर विश्लेषक को चलाने के सभी तरीकों के बारे में विस्तृत जानकारी पा सकते हैं।

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

सी, सी ++

2018 में, हमारी टीम सक्रिय रूप से C ++ विश्लेषक के विकास पर काम कर रही थी। एल्गोरिदम के साथ कई नए निदान दिखाई दिए, जो वाक्यविन्यास के पेड़ से निकाले गए डेटा को इकट्ठा करने और प्रसंस्करण करने की अनुमति देते हैं।

CWE, CERT

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

इसके अतिरिक्त संदेश CERT C कोडिंग मानक और CERT C ++ कोडिंग मानक के अनुसार वर्गीकृत किए गए थे। एसईआई सीईआरटी कोडिंग मानक सॉफ्टवेयर विश्वसनीयता और सुरक्षा में सुधार के लिए CERT (CERT समन्वय केंद्र, CERT / CC) द्वारा विकसित C, C ++, Java और पर्ल में सॉफ्टवेयर लिखने के लिए मानकों का एक सेट है।

इन चेतावनियों के अनुसार C और C ++ डायग्नोस्टिक्स का वर्गीकरण PVS-Studio को एक SAST समाधान के रूप में उपयोग करने की अनुमति देता है।

मिश्रा

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

और पढ़ें: " PVS-Studio: MISRA C और MISRA C ++ कोडिंग मानकों का समर्थन ।"

MISRA के लिए समर्थन विभिन्न एम्बेडेड सिस्टम समर्थन के विकास के संबंध में प्रासंगिक हो गया है, जिस पर इस लेख के अगले भाग में चर्चा की जाएगी।

एंबेडेड डेवलपमेंट

2018 में, पीवीएस-स्टूडियो में निम्नलिखित एम्बेडेड कंपाइलरों का समर्थन किया गया है:

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

एम्बेडेड सिस्टम का समर्थन करने के विषय पर दो नोट:

कस्टम एनोटेशन का विस्तार करना

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

टिप्पणी प्रारूप:

//V_FUNC_ALIAS, implementation:sysf, function:f, namespace:ns, class:c

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

आइए एक उदाहरण देखें:

 //V_FUNC_ALIAS, implementation:memcpy, function:MyMemCpy

अब विश्लेषक MyMemCpy फ़ंक्शन के कॉल उसी तरह से हैंडल करेंगे जैसे मेमॉपी के कॉल। उदाहरण के लिए, ऐसे कोड के लिए एक V512 चेतावनी जारी की जाएगी:

 int buf[] = { 1, 2, 3, 4 }; int out[2]; MyMemCpy (out, buf, 4 * sizeof(int)); // Warning!

C #

इस साल C # विश्लेषक के कोई महत्वपूर्ण परिवर्तन नहीं थे। डायग्नोस्टिक्स और त्रुटियों के सुधार के कुछ सुधार थे। C # एनालाइज़र की चेतावनियाँ, साथ ही C ++ एनालाइज़र की चेतावनियों को कॉमन वेकनेस एन्यूमरेशन ( CWE ) के अनुसार वर्गीकृत किया गया है। CWE पहचानकर्ताओं के साथ C # डायग्नोस्टिक्स की मैपिंग यहां दी गई है (डायग्नोस्टिक्स को 3xxx के साथ देखें)।

हम 2019 में C # विश्लेषक के अधिक सक्रिय विकास पर लौटने की योजना बना रहे हैं। हम नए निदान विकसित करने और डेटा-फ्लो विश्लेषण तंत्र में सुधार करने की भी योजना बना रहे हैं।

रिपोर्ट कन्वर्टर्स

PlogConverter.exe और plog- कनवर्टर उपयोगिताओं को क्रमशः Windows और Linux / macOS के लिए PVS-Studio वितरण में शामिल किया गया है। इसके अलावा, इन उपयोगिताओं का स्रोत कोड GitHub पर उपलब्ध है ।

जावा के लिए पीवीएस-स्टूडियो के आगमन के साथ हमने सी, सी ++, सी # के लिए हाइलाइटिंग कोड को फिर से डिज़ाइन किया है और फुलएचटीएमएल प्रारूप ( वेब-ब्राउज़र के लिए ) में जावा को जोड़ा है ।

इसके अलावा, इस प्रारूप में रिपोर्ट के लिए MISRA कॉलम जोड़ा गया था।

CWE आईडी के साथ-साथ, MISRA कॉलम वैकल्पिक है और विश्लेषण परिणामों की जांच करते समय कोड सुरक्षा के समीक्षकों द्वारा सक्षम है।

सोनारक्यूब प्लगइन्स

1. पूर्ण अद्यतन

हमने नए API का उपयोग करके अपने प्लगइन्स को फिर से लिखा है। इसने हमें नई सुविधाओं को जोड़ने और सोनारक्यूब 7 एक्स के साथ संगतता प्रदान करने की अनुमति दी। न्यूनतम समर्थित संस्करण अब सोनारक्यूब 6.7 एलटीएस है ।

2. जावा के लिए पीवीएस-स्टूडियो

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

3. MISRA मानक

हमने हाल ही में MISRA C और MISRA C ++ मानकों के समर्थन की घोषणा की है। नए प्लगइन्स में उनका समर्थन भी शामिल है। उदाहरण के लिए, निम्न पैरामीटर जोड़ा गया था (CWE के अतिरिक्त):

 sonar.pvs-studio.misra=active

जिसमें विश्लेषक चेतावनी के लिए MISRA पहचानकर्ता को जोड़ना शामिल है:

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

4. नए मेट्रिक्स

मेनू प्रोजेक्ट्स में -> आपका प्रोजेक्ट -> उपाय, अलग-अलग कोड मेट्रिक्स उपलब्ध हैं, जिनके बीच अब पीवी-स्टूडियो से विभिन्न जानकारी है:

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

4. बहुपरत संक्रमण

कुछ विश्लेषक डायग्नोस्टिक्स कोड की कई लाइनों के लिए चेतावनी जारी करते हैं। कभी-कभी वे बहुत दूर हैं। नए संस्करण में, हमने मल्टीलाइन बदलाव जोड़े:

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

6. प्रलेखन

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

SAST

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

PVS-Studio एक स्थैतिक अनुप्रयोग सुरक्षा परीक्षण उपकरण (SAST) है। दूसरे शब्दों में, पीवीएस-स्टूडियो विश्लेषक न केवल टाइपोस, डेड कोड और अन्य त्रुटियों का पता लगाता है, बल्कि संभावित कमजोरियों का भी पता लगाता है।

विशेषज्ञों की सुविधा के लिए जो पीवीएस-स्टूडियो को एक एसएएसटी उपकरण के रूप में उपयोग करेंगे, विश्लेषक निम्नलिखित प्रारूपों में चेतावनी उत्पन्न कर सकते हैं: सामान्य कमजोरी गणना , एसईआई सीईआरटी कोडिंग मानक । पीवीएस-स्टूडियो डायग्नोस्टिक्स के टेबल को विभिन्न मानकों पर मैप करना:

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

हम इन प्रकाशनों को देखने का सुझाव भी देते हैं:

पीवीएस-स्टूडियो फ्री

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

विवरण: " ओपन सोर्स प्रोजेक्ट विकसित करने वालों के लिए मुफ्त पीवीएस-स्टूडियो "।

MacOS

2018 में, PVS-Studio ने macOS के तहत काम करना शुरू कर दिया है। हमारी टीम ने XNU कर्नेल चेक को इस घटना के साथ मेल खाने के लिए करने का फैसला किया: " PVS-Studio अब macOS पर उपलब्ध है: Apple के XNU कर्नेल में 64 कमजोरियाँ "।

XNU Apple द्वारा विकसित और ऑपरेटिंग सिस्टम OS X ऑपरेटिंग सिस्टम (macOS, iOS, TVOS, घड़ी) में उपयोग किया जाता है।

पीवीएस-स्टूडियो 7.00