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

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

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

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

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

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

शुरू

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

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

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

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

प्रतियोगियों के बारे में क्या?

दुनिया भर में जावा के लिए कई स्वतंत्र और वाणिज्यिक स्थिर कोड विश्लेषक हैं। उन सभी को लेख में सूचीबद्ध करने का कोई मतलब नहीं है। मैं " स्थिर कोड विश्लेषण के लिए उपकरणों की सूची " (जावा और बहु-भाषा अनुभाग देखें) के लिए लिंक छोड़ दूँगा।

हालाँकि, मुझे पता है कि सबसे पहले और सबसे पहले हमें IntelliJ IDEA, FindBugs और SonarQube (सोनारजवा) के बारे में पूछा जाएगा।

इंटेलीज आईडिया

एक बहुत शक्तिशाली स्थैतिक कोड विश्लेषक IntelliJ IDEA में बनाया गया है। क्या अधिक है, विश्लेषक विकसित हो रहा है, इसके लेखक हमारी गतिविधियों का बारीकी से पालन करते हैं। इसलिए, IntelliJ IDEA हमारे लिए एक कठिन कुकी है। हम कम से कम अभी के लिए, नैदानिक ​​क्षमताओं में IntelliJ IDEA को पार नहीं कर पाएंगे। इसलिए, हम अपने अन्य लाभों पर ध्यान केंद्रित करेंगे।

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

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

FindBugs

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

स्पॉटबग्स को फाइंडबग्स का उत्तराधिकारी कहा जा सकता है। हालांकि, यह कम लोकप्रिय है, और यह अभी तक स्पष्ट नहीं है कि इसके साथ क्या होगा।

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

PS वैसे, अब खुले प्रोजेक्ट्स के साथ काम करने पर पीवीएस-स्टूडियो को मुफ्त में भी इस्तेमाल किया जा सकता है ।

सोनारक्यूब (सोनराजवा)

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

जावा के लिए पीवीएस-स्टूडियो कैसे चलाएं

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

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

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

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

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

आगे की योजना

हमारे पास बहुत सारे विचार हैं जिन्हें आगे की जांच की आवश्यकता हो सकती है, लेकिन कुछ विशेष योजनाएं, जो हमारे किसी भी विश्लेषक के लिए निहित हैं, इस प्रकार हैं:

• नए निदान और मौजूदा लोगों के सुधार का निर्माण;
• डेटाफ्लो-विश्लेषण का सुधार;
• विश्वसनीयता और उपयोगिता की वृद्धि।

शायद, हमें CLION के लिए IntelliJ IDEA प्लगइन को अनुकूलित करने का समय मिल जाएगा। जावा विश्लेषक के बारे में पढ़ने वाले C ++ डेवलपर्स के लिए :-) :-)

ओपन सोर्स प्रोजेक्ट्स में मिली त्रुटियों के उदाहरण

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

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

• इंटेलीज आईडिया कम्युनिटी एडिशन । मुझे लगता है कि यह समझाने की कोई आवश्यकता नहीं है कि इस परियोजना को क्यों चुना गया :)।
• SpotBugs । जैसा कि मैंने पहले लिखा था, फाइंडबग्स प्रोजेक्ट प्रगति नहीं कर रहा है। तो आइए स्पॉटबग्स प्रोजेक्ट के अंदर देखें, जो फाइंडबग्स का उत्तराधिकारी है। स्पॉटबग्स जावा कोड का एक क्लासिक स्थिर विश्लेषक है।
• सोनारसोर्स कंपनी की कुछ परियोजनाएं, जो कोड गुणवत्ता की निरंतर निगरानी के लिए सॉफ्टवेयर विकसित करती हैं। अब सोनारक्यूब और सोनारजवा के अंदर देखें ।

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

इन सबके बावजूद, मुझे इन परियोजनाओं के साथ शुरुआत करनी होगी। मेरे पास उनके बारे में लिखने का दूसरा मौका नहीं होगा। मुझे यकीन है कि जावा के लिए पीवीएस-स्टूडियो जारी होने के बाद, सूचीबद्ध परियोजनाओं के डेवलपर्स पीवीएस-स्टूडियो को बोर्ड पर ले जाएंगे और नियमित या कम से कम, उनके कोड की कभी-कभार जांच के लिए इसका उपयोग करना शुरू कर देंगे। उदाहरण के लिए, मुझे पता है कि टैगबी वलेव ( lany ), JetBrains के डेवलपर्स में से एक, इंटेलीज आईडीईए स्टेटिक कोड विश्लेषक पर काम कर रहा है, इस समय, जब मैं लेख लिख रहा हूं तो पहले से ही पीवीएस-स्टूडियो के बीटा संस्करण के साथ खेल रहा है । उन्होंने बग रिपोर्ट और सिफारिशों के साथ हमें लगभग 15 ई-मेल लिखे। धन्यवाद, टैगिर!

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

इंटेलीज आईडिया, इंटेगर डिवीजन

private static boolean checkSentenceCapitalization(@NotNull String value) { List<String> words = StringUtil.split(value, " "); .... int capitalized = 1; .... return capitalized / words.size() < 0.2; // allow reasonable amount of // capitalized words } 

PVS-Studio चेतावनी: V6011 [CWE-682] 'डबल' प्रकार के '0.2' शाब्दिक की तुलना 'int' प्रकार के मान से की जाती है। टाइटलकैपिटलाइज़ेशनइन्स्पेक्शन.जावा 169

मुद्दा यह था कि यदि 20% से कम शब्द कैपिटल लेटर से शुरू होते हैं तो फंक्शन सही होना चाहिए। दरअसल, चेक काम नहीं कर रहा है, क्योंकि पूर्णांक विभाजन होता है। विभाजन के परिणामस्वरूप हम केवल दो मान प्राप्त कर सकते हैं: 0 या 1।

फ़ंक्शन गलत होगा, केवल तभी जब सभी शब्द बड़े अक्षर से शुरू हों। अन्य सभी मामलों में, डिवीजन ऑपरेशन का परिणाम 0 होगा और फ़ंक्शन सही लौटेगा।

इंटेलीज आईडीईए, संदिग्ध लूप

 public int findPreviousIndex(int current) { int count = myPainter.getErrorStripeCount(); int foundIndex = -1; int foundLayer = 0; if (0 <= current && current < count) { current--; for (int index = count - 1; index >= 0; index++) { // <= int layer = getLayer(index); if (layer > foundLayer) { foundIndex = index; foundLayer = layer; } } .... } 

पीवीएस-स्टूडियो चेतावनी: V6007 [CWE-571] अभिव्यक्ति 'सूचकांक> = 0' हमेशा सच होता है। अपडेटर.जावा 184

सबसे पहले, स्थिति को देखें (0 <= current && current <count) । इसे केवल तभी निष्पादित किया जाता है जब गणना चर मान 0 से अधिक हो।

अब लूप को देखें:

 for (int index = count - 1; index >= 0; index++) 

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

सबसे अधिक संभावना है, यह सिर्फ एक टाइपो है, और एक क्षरण, एक चर की वृद्धि को निष्पादित नहीं किया जाना है:

 for (int index = count - 1; index >= 0; index--) 

इंटेलीज आईडिया, कॉपी-पेस्ट

 @NonNls public static final String BEFORE_STR_OLD = "before:"; @NonNls public static final String AFTER_STR_OLD = "after:"; private static boolean isBeforeOrAfterKeyword(String str, boolean trimKeyword) { return (trimKeyword ? LoadingOrder.BEFORE_STR.trim() : LoadingOrder.BEFORE_STR).equalsIgnoreCase(str) || (trimKeyword ? LoadingOrder.AFTER_STR.trim() : LoadingOrder.AFTER_STR).equalsIgnoreCase(str) || LoadingOrder.BEFORE_STR_OLD.equalsIgnoreCase(str) || // <= LoadingOrder.BEFORE_STR_OLD.equalsIgnoreCase(str); // <= } 

पीवीएस-स्टूडियो चेतावनी: V6001 [CWE-570] समान उप-अभिव्यक्तियाँ हैं 'लोड हो रहे हैं' ऑपरेटर। चेक लाइनें: 127, 128. एक्सटेंशनऑडरक्रोनरेटर.जावा 127

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

इंटेलीज आईडिया, टाइपो

 public synchronized boolean isIdentifier(@NotNull String name, final Project project) { if (!StringUtil.startsWithChar(name,'\'') && !StringUtil.startsWithChar(name,'\"')) { name = "\"" + name; } if (!StringUtil.endsWithChar(name,'"') && !StringUtil.endsWithChar(name,'\"')) { name += "\""; } .... } 

PVS-Studio चेतावनी: V6001 [CWE-571] समान उप-अभिव्यक्तियाँ हैं '! StringUtil.endsWithChar (नाम,' '' ') बाईं ओर और' && 'ऑपरेटर के दाईं ओर। JsonNamesValidator.java 27

यह कोड टुकड़ा जाँचता है कि नाम एकल या दोहरे उद्धरण चिह्नों में संलग्न है। यदि ऐसा नहीं है, तो दोहरे उद्धरण चिह्न अपने आप जुड़ जाते हैं।

एक टाइपो के कारण, नाम के अंत की जाँच केवल दोहरे उद्धरण चिह्नों की उपस्थिति के लिए की जाती है। परिणामस्वरूप, एकल उद्धरण चिह्नों में नाम गलत तरीके से संसाधित किया जाएगा।

नाम

 'Abcd' 

अतिरिक्त दोहरे उद्धरण जोड़ने के कारण इसमें बदल जाएगा:

 'Abcd'" 

इंटेलीज आईडिया, एरे ओवररन से गलत संरक्षण

 static Context parse(....) { .... for (int i = offset; i < endOffset; i++) { char c = text.charAt(i); if (c == '<' && i < endOffset && text.charAt(i + 1) == '/' && startTag != null && CharArrayUtil.regionMatches(text, i + 2, endOffset, startTag)) { endTagStartOffset = i; break; } } .... } 

पीवीएस-स्टूडियो चेतावनी: V6007 [CWE-571] अभिव्यक्ति 'i <endOffset' हमेशा सच होती है। EnterAfterJavadocTagHandler.java 183

यदि ऑपरेटर को समझ में नहीं आता है तो उपप्रकारक i <एंडऑफसेट की स्थिति में। I वैरिएबल हमेशा किसी भी मामले में एंडऑफसेट से कम होता है, जो लूप निष्पादन की स्थिति से होता है।

सबसे अधिक संभावना है, एक डेवलपर कॉल करते समय एक स्ट्रिंग ओवररन से रक्षा करना चाहता था:

• text.charAt (i + 1)
• CharArrayUtil.regionMatches (टेक्स्ट, i + 2, एंडऑफ़सेट, स्टार्टटैग)

इस स्थिति में, सूचकांक की जाँच करने के लिए सब-डेप्रेशन होना चाहिए: (i) <एंडऑफसेट -2 ।

IntelliJ आईडिया, बार-बार जाँच

 public static String generateWarningMessage(....) { .... if (buffer.length() > 0) { if (buffer.length() > 0) { buffer.append(" ").append( IdeBundle.message("prompt.delete.and")).append(" "); } } .... } 

PVS-Studio चेतावनी: V6007 [CWE-571] अभिव्यक्ति 'बफर .length ()> 0' हमेशा सच है। DeleteUtil.java 62

यह एक सहज निरर्थक कोड या एक महत्वपूर्ण त्रुटि हो सकती है।

यदि कोई नकली जाँच गलती से दिखाई देती है, जैसे कि रिफैक्टरिंग के दौरान, वहाँ कुछ भी गलत नहीं है। आप बस दूसरा चेक हटा सकते हैं।

एक अन्य परिदृश्य भी संभव है। दूसरा चेक काफी अलग होना चाहिए और कोड जैसा व्यवहार करता है वैसा न हो। फिर यह एक वास्तविक त्रुटि है।

नोट। वैसे, बहुत सारे बेमानी चेक हैं। खैर, अक्सर यह स्पष्ट है कि यह एक त्रुटि नहीं है। हालाँकि, हम विश्लेषक चेतावनियों को झूठी सकारात्मकता नहीं मान सकते। एक स्पष्टीकरण के लिए, मैं ऐसे उदाहरण का हवाला देना चाहूंगा, जिसे IntelliJ IDEA से भी लिया गया है:

 private static boolean isMultiline(PsiElement element) { String text = element.getText(); return text.contains("\n") || text.contains("\r") || text.contains("\r\n"); } 

विश्लेषक का कहना है कि फ़ंक्शन text.contains ("\ r \ n") हमेशा गलत होता है। वास्तव में, यदि वर्ण "\ n" और "\ r" नहीं मिला है, तो "\ r \ n" की खोज करने का कोई मतलब नहीं है। यह बग नहीं है, और कोड केवल खराब है क्योंकि यह थोड़ा धीमा काम करता है, एक विकल्प के लिए अर्थहीन खोज का प्रदर्शन करता है।

इस तरह के कोड से कैसे निपटें, प्रत्येक मामले में, डेवलपर्स के लिए एक सवाल है। लेख लिखते समय, मैं आमतौर पर ऐसे कोड पर ध्यान नहीं देता।

इंटेलीज आईडिया, कुछ गलत है

 public boolean satisfiedBy(@NotNull PsiElement element) { .... @NonNls final String text = expression.getText().replaceAll("_", ""); if (text == null || text.length() < 2) { return false; } if ("0".equals(text) || "0L".equals(text) || "0l".equals(text)) { return false; } return text.charAt(0) == '0'; } 

पीवीएस-स्टूडियो चेतावनी: V6007 [CWE-570] अभिव्यक्ति '"0"। असमान (पाठ)' हमेशा गलत होता है। ConvertIntegerToDecimalPredicate.java 46

कोड में सुनिश्चित करने के लिए तार्किक त्रुटि है। मुझे यह कहना मुश्किल है कि प्रोग्रामर क्या जाँचना चाहता था और दोष को कैसे ठीक करना चाहता था। तो यहाँ, मैं सिर्फ एक निरर्थक जाँच पर इशारा करता हूँ।

शुरुआत में यह जांचना होगा कि स्ट्रिंग में कम से कम दो प्रतीक हैं। यदि ऐसा नहीं है, तो फ़ंक्शन गलत है ।

इसके बाद चेक "0" आता है। असमान (पाठ) । यह अर्थहीन है, क्योंकि किसी भी तार में केवल एक वर्ण नहीं हो सकता है।

इसलिए, यहां कुछ गलत है, और कोड तय किया जाना चाहिए।

स्पॉटबग्स (फाइंडबग्स का उत्तराधिकारी), परिवर्तन की संख्या पर सीमा की त्रुटि

 public static String getXMLType(@WillNotClose InputStream in) throws IOException { .... String s; int count = 0; while (count < 4) { s = r.readLine(); if (s == null) { break; } Matcher m = tag.matcher(s); if (m.find()) { return m.group(1); } } throw new IOException("Didn't find xml tag"); .... } 

पीवीएस-स्टूडियो चेतावनी: V6007 [CWE-571] अभिव्यक्ति 'गिनती <4' हमेशा सच होती है। उत्पल.जावा 394

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

सबसे पहले, यह एक बहुत ही धीमी गति से ऑपरेशन हो सकता है, और दूसरी बात, कहीं न कहीं फ़ाइल के बीच में, कुछ ऐसा पाया जा सकता है जिसे xml टैग माना जाएगा, यह नहीं।

स्पॉटबग्स (फाइंडबग्स का उत्तराधिकारी), एक मूल्य का समाशोधन

 private void reportBug() { int priority = LOW_PRIORITY; String pattern = "NS_NON_SHORT_CIRCUIT"; if (sawDangerOld) { if (sawNullTestVeryOld) { priority = HIGH_PRIORITY; // <= } if (sawMethodCallOld || sawNumericTestVeryOld && sawArrayDangerOld) { priority = HIGH_PRIORITY; // <= pattern = "NS_DANGEROUS_NON_SHORT_CIRCUIT"; } else { priority = NORMAL_PRIORITY; // <= } } bugAccumulator.accumulateBug( new BugInstance(this, pattern, priority).addClassAndMethod(this), this); } 

पीवीएस-स्टूडियो चेतावनी: V6021 [CWE-563] मान को 'प्राथमिकता' चर को सौंपा गया है, लेकिन इसका उपयोग नहीं किया गया है। FindNonShortCircuit.java 197

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

सोनारक्यूब, कॉपी-पेस्ट

 public class RuleDto { .... private final RuleDefinitionDto definition; private final RuleMetadataDto metadata; .... private void setUpdatedAtFromDefinition(@Nullable Long updatedAt) { if (updatedAt != null && updatedAt > definition.getUpdatedAt()) { setUpdatedAt(updatedAt); } } private void setUpdatedAtFromMetadata(@Nullable Long updatedAt) { if (updatedAt != null && updatedAt > definition.getUpdatedAt()) { setUpdatedAt(updatedAt); } } .... } 

PVS-Studio: V6032 यह विचित्र है कि विधि 'setUpdatedAtFromDefinition' का शरीर किसी अन्य विधि 'setUpdatedAtFromMetadata' के शरीर के समतुल्य है। चेक लाइन्स: 396, 405. RuleDto.java 396

एक परिभाषा क्षेत्र का उपयोग विधि setUpdatedAtFromMetadata में किया जाता है। सबसे अधिक संभावना है, मेटाडेटा फ़ील्ड का उपयोग किया जाना चाहिए। यह एक असफल कॉपी-पेस्ट के प्रभावों के समान है।

सोनारजवा, प्रारंभिक मानचित्र को दोहराता है

 private final Map<JavaPunctuator, Tree.Kind> assignmentOperators = Maps.newEnumMap(JavaPunctuator.class); public KindMaps() { .... assignmentOperators.put(JavaPunctuator.PLUSEQU, Tree.Kind.PLUS_ASSIGNMENT); .... assignmentOperators.put(JavaPunctuator.PLUSEQU, Tree.Kind.PLUS_ASSIGNMENT); .... } 

पीवीएस-स्टूडियो चेतावनी: V6033 [CWE-462] समान कुंजी 'JavaPunctuator.PLUSEQU' के साथ एक आइटम पहले ही जोड़ा जा चुका है। चेक लाइनें: 104, 100. KindMaps.java 104

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

निष्कर्ष

जब यह इतना स्पष्ट है तो निष्कर्ष क्यों लिखें? मेरा सुझाव है कि आप सभी अभी पीवीएस-स्टूडियो डाउनलोड करें और जावा भाषा पर अपनी कार्य परियोजनाओं की जांच करने का प्रयास करें! पीवीएस-स्टूडियो डाउनलोड करें ।

ध्यान देने के लिए आप सभी का धन्यवाद। मुझे उम्मीद है कि जल्द ही हम अपने पाठकों को विभिन्न खुले स्रोत जावा परियोजनाओं की जांच करने पर लेखों की एक श्रृंखला के साथ खुश करेंगे।