😘 👨‍🚀 📂 पीवीएस-स्टूडियो 7.00 🔗 👰🏼 ✊🏽

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

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

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

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

जावा

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

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

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

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

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

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

सी, सी ++

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

CWE, CERT

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

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

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

मिश्रा

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

अधिक जानकारी: " पीवीएस-स्टूडियो: कोडिंग मानकों के लिए समर्थन 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 पर भी उपलब्ध है ।

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

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

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

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

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

हमने नए एपीआई का उपयोग करके अपने प्लगइन्स को फिर से लिखा है। इससे नई कार्यक्षमता को जोड़ना और सोनारक्यूब 7.x के साथ संगतता सुनिश्चित करना संभव हो गया। न्यूनतम समर्थित संस्करण अब सोनारक्यूब 6.7 एलटीएस है ।

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

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

3. MISRA मानक

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

 sonar.pvs-studio.misra=active

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

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

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

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

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

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

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

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

6. प्रलेखन

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

SAST

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

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

PVS-Studio को SAST टूल के रूप में उपयोग करने वाले विशेषज्ञों की सुविधा के लिए, विश्लेषक सामान्य कमजोरता गणना , SEI CERT कोडिंग मानकों पर अपनी चेतावनी प्रदर्शित करता है। विभिन्न मानकों के लिए पीवीएस-स्टूडियो डायग्नोस्टिक्स की अनुपालन तालिकाएँ:

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

हम प्रकाशनों से परिचित होने की पेशकश भी करते हैं:

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

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

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

MacOS

2018 में, PVS-Studio ने macOS के नियंत्रण में काम करना सीखा। हमारी टीम ने इस घटना के लिए एक्सएनयू कर्नेल जांच समर्पित की: " मैकओएस के लिए पीवीएस-स्टूडियो रिलीज: एप्पल एक्सएनयू कर्नेल में 64 कमजोरियां "।

XNU Apple द्वारा विकसित कंप्यूटर ऑपरेटिंग सिस्टम का मूल है और इसका उपयोग OS (OSOS, iOS, tvOS, watchOS) के OS X परिवार में किया जाता है।

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

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