💪🏾 🐞 💗 पीवीएस-स्टूडियो संस्करण 7.07 सुविधाओं का अवलोकन 👨‍⚕️ 💃🏼 👨🏽‍🤝‍👨🏼

इस लेख का उद्देश्य PVS-Studio स्थैतिक विश्लेषक की क्षमताओं का अवलोकन प्रदर्शन है। ऐसा करने का सबसे आसान और दृश्य तरीका उदाहरण के साथ उपकरण के संचालन को दिखाना है। दृश्य स्टूडियो के लिए प्लग-इन का उपयोग करके परियोजना का सत्यापन दिखाया जाएगा, लिनक्स ऑपरेटिंग सिस्टम में विश्लेषक को लॉन्च करके, सोनारक्यूब में विश्लेषण परिणामों को आयात किया जाएगा।

सामान्य जानकारी

पीवीएस-स्टूडियो एक स्थिर कोड विश्लेषक है, जिसे C, C ++, C # और Java में लिखा गया है। पीवीएस-स्टूडियो कई तरह के कोड चेक करता है, लेकिन टाइपो और असफल कॉपी-पेस्ट (उदाहरण: एक , दो , तीन , चार ) खोजने में सबसे शक्तिशाली है । स्थैतिक विश्लेषण दोषों का पता लगाने के लिए सबसे पुराने और सबसे विश्वसनीय तरीकों में से एक का एक अच्छा पूरक है - कोड समीक्षा। कुछ त्रुटियों को कोड की संयुक्त समीक्षा के दौरान खोजना मुश्किल है (उदाहरण के लिए, समान टाइपोस)। उदाहरण के लिए:

int trans_rest(transcoder_settings *trans)
{
  ....
  for(i=0; i<16; i++);
  {
    trans->eq.eq.preamp[i]   = 0.0;
    for(j=0; j<32; j++)
    {
      trans->eq.eq.boost[i][j] = 0.0;
    }
  }
}

जो लोग पहले के बाद अर्धविराम को देखा नहीं है, वेतन ध्यान के लिए के लिए । या:

private class ObjectArrayComparer : IEqualityComparer<object[]>
{
  public bool Equals(object[] x, object[] y)
  {
    ....
    for (int i = 0; i < x.Length; i++)
    {
      if (!object.Equals(x[0], y[0])) 
      {
        return false;
      }
    }
    return true;
  }
  ....
}

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

दृश्य स्टूडियो के लिए प्लगइन

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

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

यदि आपकी परियोजना छोटी है, तो विश्लेषक को लागू करना काफी सरल होगा। हालांकि, यदि परियोजना "इतिहास के साथ" है, तो आपको संभवतः इसमें संदेह है: जो प्रसंस्करण और परिणामों को फ़िल्टर करने में शामिल होगा, आपको इसे समर्पित करने के लिए कितना समय चाहिए, आदि। मैं उन्हें दूर करने की कोशिश करूँगा।

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

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

"विकल्प" टैब पर चलते हैं।

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

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

अधिक जानकारी यहाँ ।

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

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

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

स्वाभाविक रूप से, परियोजना की पहली जांच के बाद, आपको झूठी सकारात्मकता के प्रतिशत को कम करने के लिए सेटिंग्स में लौटना होगा। झूठी सकारात्मकता अपरिहार्य है, लेकिन स्वीकार्य मूल्य पर सेट करके उनके प्रतिशत को कम किया जा सकता है। लेख देखें: " ईएफएल कोर लाइब्रेरी उदाहरण का उपयोग करके पीवीएस-स्टूडियो विश्लेषक के लक्षण, झूठी सकारात्मकता का 10-15% ।"

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

एक प्रगति पट्टी के साथ एक विंडो दिखाई देगी।

और फिर हम विश्लेषक की रिपोर्ट देख सकते हैं।

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

लिनक्स

इससे पहले हमने C # प्रोजेक्ट का परीक्षण किया। अब C ++ में लिखे कोड को चेक करने का प्रयास करते हैं। लेख में विविधता जोड़ने के लिए, हम इसे लिनक्स के तहत परीक्षण करेंगे। वैसे, विंडोज, लिनक्स और मैकओएस के तहत, आप किसी भी भाषा (सी, सी ++, सी #, जावा) में परियोजनाओं की जांच कर सकते हैं।

हम एक भंडार का क्लोन बनाते हैं।

हम असेंबली के लिए एक कॉन्फ़िगरेशन स्क्रिप्ट लॉन्च करते हैं।

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

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

हम लॉग को HTML में बदलते हैं और परिणामों का आनंद लेते हैं।

मैंने लिनक्स के तहत एक परियोजना की जाँच के लिए केवल एक ही विकल्प का वर्णन किया और बहुत औपचारिक रूप से, बिना विवरण में जाए। परियोजना की जांच करने के अन्य तरीके हैं, उदाहरण के लिए, मेकफाइल में विश्लेषक कॉल लिखकर। अधिक विस्तृत समीक्षा के लिए, मैं निम्नलिखित लिंक्स का संदर्भ देता हूं:

Sonarquube

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

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

आरंभ करने के लिए, हमें विश्लेषक रिपोर्ट और सोनार-project.properties कॉन्फ़िगरेशन फ़ाइल मिलती है।

अगला, हमें एक स्कैनर लॉन्च कमांड की आवश्यकता है।

परिणाम :)

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

उपाय टैब में, विभिन्न कोड मैट्रिक्स और ग्राफ़ उपलब्ध हैं।

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

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

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

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

मेरा सुझाव है कि पीवीएस-स्टूडियो जावा को कैसे शुरू किया जाए , इस पर अधिक विस्तार से पढ़ें ।

इसके अलावा, एक जावा परियोजना की जांच करके, आप विश्लेषक संदेशों को दबा सकते हैं ताकि एक बड़ी परियोजना में एकीकरण त्वरित और दर्द रहित हो।

IntelliJ IDEA में, यह ऐसा दिखता है।

इस विंडो में हम विश्लेषक रिपोर्ट देखते हैं।

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

हम सभी विश्लेषक संदेशों को भी दबा सकते हैं।

ग्रेडल में विश्लेषक चेतावनियों को दबाने के लिए, कमांड निष्पादित करें:

./gradlew pvsSuppress "-Ppvsstudio.report=/path/to/report.json"
  "-Ppvsstudio.output=/path/to/suppress_base.json"

मावेन में विश्लेषक चेतावनियों को दबाने के लिए, कमांड चलाएं:

mvn pvsstudio:pvsSuppress "-Dpvsstudio.report=/path/to/report.json"
  "-Dpvsstudio.output=/path/to/suppress_base.json"

दमन तंत्र के बारे में यहाँ और पढ़ें ।

संक्षेप में

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

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

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