जावा के लिए पीवीएस-स्टूडियो स्टेटिक एनालाइजर से जानें

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

अवलोकन

PVS- स्टूडियो जावा स्टैटिक कोड एनालाइज़र में 2 मुख्य भाग होते हैं: कर्नेल, जो विश्लेषण करता है, और बिल्ड सिस्टम (ग्रैडल, मेवेन) और IDE (IntelliJ IDEA) में एकीकरण के लिए प्लग इन करता है।

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

सूत्रों और क्लासपैथ को सूचीबद्ध करते हुए, विश्लेषक को सीधे चलाना भी संभव है।

यदि आपका कंप्यूटर निम्नलिखित सिस्टम आवश्यकताओं को पूरा करता है, तो विश्लेषण किया जा सकता है:

ऑपरेटिंग सिस्टम: विंडोज, लिनक्स, मैकओएस;

विश्लेषक को चलाने के लिए न्यूनतम जावा संस्करण आवश्यक है: जावा 8 (64-बिट)। नोट: विश्लेषण की जा रही परियोजना किसी भी जावा संस्करण का उपयोग कर सकती है;

IntelliJ IDEA का न्यूनतम संस्करण: 2017.2।

मावेन के लिए प्लगइन

यदि आप जिस प्रोजेक्ट पर काम कर रहे हैं वह मावेन बिल्ड सिस्टम पर आधारित है, तो आप प्लगइन pvsstudio-maven-plugin का उपयोग कर सकते हैं। ऐसा करने के लिए, आपको pom.xml फ़ाइल में निम्न जोड़ना होगा:

<pluginRepositories> <pluginRepository> <id>pvsstudio-maven-repo</id> <url>http://files.viva64.com/java/pvsstudio-maven-repository/</url> </pluginRepository> </pluginRepositories> <build> <plugins> <plugin> <groupId>com.pvsstudio</groupId> <artifactId>pvsstudio-maven-plugin</artifactId> <version>{VERSION_PVS_JAVA}</version> <configuration> <analyzer> <outputType>text</outputType> <outputFile>path/to/output.txt</outputFile> .... </analyzer> </configuration> </plugin> </plugins> </build> 

विश्लेषण चलाने से पहले आपको लाइसेंस डेटा दर्ज करना होगा:

 mvn pvsstudio:pvsCredentials "-Dpvsstudio.username=USR" "-Dpvsstudio.serial=KEY" 

उसके बाद, लाइसेंस की जानकारी % APPDATA% / PVS-Studio-Java / PVS-Studio.lic पर Windows में या ~ / .config / PVS-Studio-Java / PVS-Studio.lic में macOS और Linux पर सेव की जाएगी ।

उसके बाद आप विश्लेषण चला सकते हैं:

 $ mvn pvsstudio:pvsAnalyze 

ब्लॉक में <विश्लेषक> आप विश्लेषक को कॉन्फ़िगर कर सकते हैं। सभी सेटिंग्स की एक सूची यहां पाई जा सकती है ।

ढाल के लिए प्लगइन

यदि आप जिस प्रोजेक्ट पर काम कर रहे हैं, वह ग्रैड बिल्ड सिस्टम पर आधारित है, तो आप प्लगइन pvsstudio-gradle-plugin का उपयोग कर सकते हैं। ऐसा करने के लिए, आपको build.gradle फ़ाइल में निम्न जोड़ना होगा:

 buildscript { repositories { mavenCentral() maven { url uri('http://files.viva64.com/java/pvsstudio-maven-repository/') } } dependencies { classpath group: 'com.pvsstudio', name: 'pvsstudio-gradle-plugin', version: '{VERSION_PVS_JAVA}' } } 

 apply plugin: com.pvsstudio.PvsStudioGradlePlugin pvsstudio { outputType = 'text' outputFile = 'path/to/output.txt' .... } 

विश्लेषण चलाने से पहले आपको लाइसेंस डेटा दर्ज करना होगा:

 ./gradlew pvsCredentials "-Ppvsstudio.username=USR" "-Ppvsstudio.serial=KEY" 

उसके बाद, लाइसेंस जानकारी विंडोज ओएस पर % APPDATA% / PVS-Studio-Java / PVS-Studio.lic या ~ / .config / PVS-Studio-Java / PVS-Studio.lic में macOS और Linux पर सेव की जाएगी। ।

उसके बाद आप विश्लेषण चला सकते हैं:

 $ ./gradlew pvsAnalyze 

ब्लॉक 'pvsstudio' में आप विश्लेषक को कॉन्फ़िगर कर सकते हैं। सभी सेटिंग्स की एक सूची यहां पाई जा सकती है ।

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

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

IDEA के लिए PVS-Studio प्लगइन स्थापित किया जा सकता है:

• JetBrains प्लगइन्स के आधिकारिक भंडार से ;
• viva64.com साइट पर भंडार से;
• विंडोज के लिए पीवीएस-स्टूडियो इंस्टॉलर के माध्यम से, डाउनलोड पृष्ठ पर उपलब्ध है।

एक बार प्लगइन स्थापित करने के बाद, आपको लाइसेंस डेटा दर्ज करना होगा:

1) विश्लेषण -> पीवीएस-स्टूडियो -> सेटिंग्स

2) पंजीकरण टैब:

फिर आप वर्तमान परियोजना का विश्लेषण चला सकते हैं:

लाइसेंसिंग

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

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

झूठी सकारात्मकता दमन

झूठी सकारात्मकता से लड़ने के लिए, विश्लेषक विभिन्न तंत्रों का एक सेट प्रदान करता है।

1. कोड में विशेष टिप्पणियों का उपयोग करना:

 void f() { int x = 01000; //-V6061 } 

2. दमन फ़ाइल का उपयोग करना।

3. @SuppressWarnings (....) एनोटेशन का उपयोग करना।

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

 @SuppressWarnings("OctalInteger") void f() { int x = 01000; } 

निष्कर्ष

जो हमने अभी देखा है वह केवल एक छोटा सा हिस्सा है जिसे बताया जा सकता है। उदाहरण के लिए, सोनारक्यूब और बहुत कुछ के साथ एकीकृत करना भी संभव है। पीवीएस-स्टूडियो जावा एक नई दिशा है जो सक्रिय रूप से विकसित हो रही है:

• नई कार्यक्षमता जोड़ी गई है,
• क्षमताओं का विस्तार हो रहा है,
• नैदानिक ​​नियम जोड़े और सुधारे गए,
• और भी बहुत कुछ।

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