पीवीएस-स्टूडियो के साथ सीयूबीए प्लेटफॉर्म के कोड का विश्लेषण

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

परियोजना और विश्लेषक के बारे में कुछ शब्द

CUBA प्लेटफ़ॉर्म एंटरप्राइज़ एप्लिकेशन डेवलपमेंट के लिए एक उच्च-स्तरीय फ्रेमवर्क है। प्लेटफॉर्म अंतर्निहित प्रौद्योगिकियों से डेवलपर्स को अमूर्त करता है ताकि वे निम्न-स्तरीय कोड तक अप्रतिबंधित पहुंच प्रदान करके पूर्ण लचीलेपन को बनाए रखते हुए व्यावसायिक कार्यों पर ध्यान केंद्रित कर सकें। स्रोत कोड GitHub से डाउनलोड किया गया था।

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

शर्तों में त्रुटियां

चेतावनी १

V6007 अभिव्यक्ति ' StringUtils.isNotEmpty ("handleTabKey") हमेशा सच होता है। SourceCodeEditorLoader.java (60)

@Override public void loadComponent() { .... String handleTabKey = element.attributeValue("handleTabKey"); if (StringUtils.isNotEmpty("handleTabKey")) { resultComponent.setHandleTabKey(Boolean.parseBoolean(handleTabKey)); } .... } 

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

इसी तरह की त्रुटि AbstractTableLoader.java फ़ाइल में मिली:

• V6007 अभिव्यक्ति 'StringUtils.isNotEmpty ("संपादन योग्य") हमेशा सच होता है। AbstractTableLoader.java (596)

चेतावनी २

V6007 अभिव्यक्ति 'पिछले MenuItemFlatIndex > = 0' हमेशा सच होता है। क्यूबासाइडमेन्यूविजेट.जावा (328)

 protected MenuItemWidget findNextMenuItem(MenuItemWidget currentItem) { List<MenuTreeNode> menuTree = buildVisibleTree(this); List<MenuItemWidget> menuItemWidgets = menuTreeToList(menuTree); int menuItemFlatIndex = menuItemWidgets.indexOf(currentItem); int previousMenuItemFlatIndex = menuItemFlatIndex + 1; if (previousMenuItemFlatIndex >= 0) { return menuItemWidgets.get(previousMenuItemFlatIndex); } return null; } 

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

चेतावनी ३

V6009 'डिलीट' फ़ंक्शन '-1' मान प्राप्त कर सकता है जबकि गैर-नकारात्मक मान अपेक्षित है। निरीक्षण तर्क: 1. AbstractCollectionDatasource.java (556)

 protected DataLoadContextQuery createDataQuery(....) { .... StringBuilder orderBy = new StringBuilder(); .... if (orderBy.length() > 0) { orderBy.delete(orderBy.length() - 2, orderBy.length()); orderBy.insert(0, " order by "); } .... } 

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

चेतावनी ४

V6013 ऑब्जेक्ट 'मास्टरकॉलक्शन' और 'एंटिटीज़' की तुलना संदर्भ से की जाती है। संभवतः एक समानता तुलना का इरादा था। कलेक्शनप्रॉपर्टी कॉन्टेनरइम्प्ल.जावा (81)

 @Override public void setItems(@Nullable Collection<E> entities) { super.setItems(entities); Entity masterItem = master.getItemOrNull(); if (masterItem != null) { MetaProperty masterProperty = getMasterProperty(); Collection masterCollection = masterItem.getValue(masterProperty.getName()); if (masterCollection != entities) { updateMasterCollection(masterProperty, masterCollection, entities); } } } 

UpdateMasterCollection फ़ंक्शन में, एंटाइटेलमेंट के मानों को MasterCollection पर कॉपी किया जाता है । एक पंक्ति पहले, संग्रह की तुलना संदर्भ द्वारा की गई है, लेकिन प्रोग्रामर ने संभवतः इसे मूल्य से तुलना करने का इरादा किया है।

चेतावनी ५

V6013 ऑब्जेक्ट्स की 'वैल्यू' और 'ओल्डवैल्यू' की तुलना संदर्भ से की जाती है। संभवतः एक समानता तुलना का इरादा था। WebOptionsList.java (278)

 protected boolean isCollectionValuesChanged(Collection<I> value, Collection<I> oldValue) { return value != oldValue; } 

यह मामला पिछले एक के समान है। संग्रह की तुलना isCollectionValuesChanged फ़ंक्शन में की जाती है, और संदर्भ की तुलना शायद यह नहीं है कि यहां क्या उद्देश्य था।

निरर्थक स्थितियां

चेतावनी १

V6007 एक्सप्रेशन 'mask.charAt (i + ऑफसेट)! = प्लेसहोल्डर' हमेशा सच होता है। DatePickerDocument.java (238)

 private String calculateFormattedString(int offset, String text) .... { .... if ((mask.charAt(i + offset) == placeHolder)) { // <= .... } else if ((mask.charAt(i + offset) != placeHolder) && // <= (Character.isDigit(text.charAt(i)))) { .... } .... } 

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

V6007 अभिव्यक्ति 'कनेक्टर == नल' हमेशा गलत होता है। HTML5Support.java (169)

 private boolean validate(NativeEvent event) { .... while (connector == null) { widget = widget.getParent(); connector = Util.findConnectorFor(widget); } if (this.connector == connector) { return true; } else if (connector == null) { // <= return false; } else if (connector.getWidget() instanceof VDDHasDropHandler) { return false; } return true; } 

जबकि लूप छोड़ने के बाद, कनेक्टर चर का मूल्य शून्य के बराबर नहीं होगा, इसलिए अनावश्यक चेक को हटाया जा सकता है।

इस प्रकार की एक और संदिग्ध चेतावनी की जांच करने की आवश्यकता है:

• V6007 अभिव्यक्ति 'StringUtils.isBlank (strValue)' हमेशा सच होता है। परम.जावा (818)

परीक्षणों में अनुपलब्ध कोड

V6019 अनुपलब्ध कोड का पता चला। यह संभव है कि कोई त्रुटि मौजूद हो। TransactionTest.java (283)

 private void throwException() { throw new RuntimeException(TEST_EXCEPTION_MSG); } @Test public void testSuspendRollback() { Transaction tx = cont.persistence().createTransaction(); try { .... Transaction tx1 = cont.persistence().createTransaction(); try { EntityManager em1 = cont.persistence().getEntityManager(); assertTrue(em != em1); Server server1 = em1.find(Server.class, server.getId()); assertNull(server1); throwException(); // <= tx1.commit(); // <= } catch (Exception e) { // } finally { tx1.end(); } tx.commit(); } finally { tx.end(); } } 

थ्रो एक्ससेप्शन फ़ंक्शन एक अपवाद को फेंकता है जो tx1.commit के कॉल के निष्पादन को रोकता है। कोड को ठीक से काम करने के लिए उन दो लाइनों को स्वैप किया जाना चाहिए।

अन्य परीक्षणों में भी कुछ समान समस्याएं थीं:

• V6019 अनुपलब्ध कोड का पता चला। यह संभव है कि कोई त्रुटि मौजूद हो। TransactionTest.java (218)
• V6019 अनुपलब्ध कोड का पता चला। यह संभव है कि कोई त्रुटि मौजूद हो। TransTestest.java (163)
• V6019 अनुपलब्ध कोड का पता चला। यह संभव है कि कोई त्रुटि मौजूद हो। TransactionTest.java (203)
• V6019 अनुपलब्ध कोड का पता चला। यह संभव है कि कोई त्रुटि मौजूद हो। TransactionTest.java (137)
• V6019 अनुपलब्ध कोड का पता चला। यह संभव है कि कोई त्रुटि मौजूद हो। UpdateDetachedTest.java (153)
• V6019 अनुपलब्ध कोड का पता चला। यह संभव है कि कोई त्रुटि मौजूद हो। EclipseLinkDetachedTest.java (132)
• V6019 अनुपलब्ध कोड का पता चला। यह संभव है कि कोई त्रुटि मौजूद हो। दृढ़ता Tj.java (223)

संदेहास्पद तर्क

चेतावनी १

V6023 पैरामीटर 'नमक' हमेशा इस्तेमाल होने से पहले विधि शरीर में फिर से लिखा जाता है। BCryptEnc एन्क्रिप्शनModule.java (47)

 @Override public String getHash(String content, String salt) { salt = BCrypt.gensalt(); return BCrypt.hashpw(content, salt); } 

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

इस फ़ंक्शन में, दर्ज की गई स्ट्रिंग दर्ज करने के बाद सही लिखी गई है। फ़ंक्शन को दिए गए मान को अनदेखा करना एक संभावित भेद्यता है।

चेतावनी २

इस समारोह ने एक साथ दो चेतावनियों को चालू किया:

• V6023 पैरामीटर 'ऑफसेटविदथ' हमेशा उपयोग किए जाने से पहले विधि निकाय में फिर से लिखा जाता है। क्यूबासुग्मेंटेशनफिल्डवेट.जावा (433)
• V6023 पैरामीटर 'ऑफसेटहाइट' हमेशा उपयोग किए जाने से पहले विधि निकाय में फिर से लिखा जाता है। क्यूबासुग्मेंटेशनफिल्डवेट.जावा (433)

 @Override public void setPosition(int offsetWidth, int offsetHeight) { offsetHeight = getOffsetHeight(); .... if (offsetHeight + getPopupTop() > ....)) { .... } .... offsetWidth = containerFirstChild.getOffsetWidth(); if (offsetWidth + getPopupLeft() > ....)) { .... } else { left = getPopupLeft(); } setPopupPosition(left, top); } 

यह काफी उत्सुक स्निपेट है। फ़ंक्शन को केवल दो वेरिएबल्स के साथ तर्क के रूप में कहा जाता है, ऑफ़सेटविंड और ऑफ़सेट , और उपयोग से पहले दोनों को ओवरराइट किया जाता है।

चेतावनी ३

V6022 पैरामीटर 'शॉर्टकट' का उपयोग कंस्ट्रक्टर बॉडी के अंदर नहीं किया जाता है। DeclarativeTrackingAction.java (47)

 public DeclarativeTrackingAction(String id, String caption, String description, String icon, String enable, String visible, String methodName, @Nullable String shortcut, ActionsHolder holder) { super(id); this.caption = caption; this.description = description; this.icon = icon; setEnabled(enable == null || Boolean.parseBoolean(enable)); setVisible(visible == null || Boolean.parseBoolean(visible)); this.methodName = methodName; checkActionsHolder(holder); } 

फ़ंक्शन शॉर्टकट पैरामीटर के रूप में पारित मूल्य का उपयोग नहीं करता है। हो सकता है कि फ़ंक्शन का इंटरफ़ेस अप्रचलित हो गया है, या यह चेतावनी केवल एक झूठी सकारात्मक है।

इस प्रकार के कुछ और दोष:

• V6022 पैरामीटर 'टाइप' का उपयोग कंस्ट्रक्टर बॉडी के अंदर नहीं किया जाता है। QueryNode.java (36)
• V6022 पैरामीटर 'text2' का उपयोग कंस्ट्रक्टर बॉडी के अंदर नहीं किया जाता है। MarkerAddition.java (22)
• V6022 पैरामीटर 'चयन' का उपयोग कंस्ट्रक्टर बॉडी के अंदर नहीं किया जाता है। AceEditor.java (114)
• V6022 पैरामीटर 'विकल्प' का उपयोग कंस्ट्रक्टर बॉडी के अंदर नहीं किया जाता है। EntitySerialization.java (379)

विभिन्न कार्यों, एक ही कोड

चेतावनी १

V6032 यह विचित्र है कि विधि 'firstItemId' का शरीर किसी अन्य विधि 'lastItemId' के शरीर के समतुल्य है। कंटेनरटेबल इट्स.जावा (213), कंटेनरटेबल इट्स.जावा (219)

 @Override public Object firstItemId() { List<E> items = container.getItems(); return items.isEmpty() ? null : items.get(0).getId(); } @Override public Object lastItemId() { List<E> items = container.getItems(); return items.isEmpty() ? null : items.get(0).getId(); } 

फ़र्स्ट इटइमआईड और लास्ट इटिमिड में समान कार्यान्‍वयन होते हैं। उत्तरार्द्ध संभवतः इंडेक्स 0 पर तत्व प्राप्त करने के बजाय अंतिम तत्व का सूचकांक प्राप्त करने के लिए था।

चेतावनी २

V6032 यह अजीब है कि विधि का शरीर पूरी तरह से किसी अन्य विधि के शरीर के बराबर है। SearchComboBoxPainter.java (495), SearchComboBoxPainter.java (501)

 private void paintBackgroundDisabledAndEditable(Graphics2D g) { rect = decodeRect1(); g.setPaint(color53); g.fill(rect); } private void paintBackgroundEnabledAndEditable(Graphics2D g) { rect = decodeRect1(); g.setPaint(color53); g.fill(rect); } 

संदिग्ध समान निकायों के साथ दो और कार्य। मेरा अनुमान है कि उनमें से एक को color53 के बजाय किसी और रंग के साथ काम करना था।

अशक्तपन

चेतावनी १

V6060 नल के खिलाफ सत्यापित होने से पहले 'descriptionPopup' संदर्भ का उपयोग किया गया था। SuggestPopup.java (252), SuggestPopup.java (251)

 protected void updateDescriptionPopupPosition() { int x = getAbsoluteLeft() + WIDTH; int y = getAbsoluteTop(); descriptionPopup.setPopupPosition(x, y); if (descriptionPopup!=null) { descriptionPopup.setPopupPosition(x, y); } } 

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

चेतावनी २

V6060 नल के खिलाफ सत्यापित होने से पहले 'tableModel' संदर्भ का उपयोग किया गया था। DesktopAbstractTable.java (1580), DesktopAbstractTable.java (1564)

 protected Column addRuntimeGeneratedColumn(String columnId) { // store old cell editors / renderers TableCellEditor[] cellEditors = new TableCellEditor[tableModel.getColumnCount() + 1]; // <= TableCellRenderer[] cellRenderers = new TableCellRenderer[tableModel.getColumnCount() + 1]; // <= for (int i = 0; i < tableModel.getColumnCount(); i++) { // <= Column tableModelColumn = tableModel.getColumn(i); if (tableModel.isGeneratedColumn(tableModelColumn)) { // <= TableColumn tableColumn = getColumn(tableModelColumn); cellEditors[i] = tableColumn.getCellEditor(); cellRenderers[i] = tableColumn.getCellRenderer(); } } Column col = new Column(columnId, columnId); col.setEditable(false); columns.put(col.getId(), col); if (tableModel != null) { // <= tableModel.addColumn(col); } .... } 

यह मामला पिछले एक के समान है। जब तक टेबलमॉडल ऑब्जेक्ट को शून्य के लिए जाँच लिया जाता है, तब तक इसे पहले ही कई बार एक्सेस किया जा सकता है।

एक और उदाहरण:

• V6060 नल के खिलाफ सत्यापित होने से पहले 'tableModel' संदर्भ का उपयोग किया गया था। DesktopAbstractTable.java (596), DesktopAbstractTable.java (579)

संभवत: एक तर्क त्रुटि

V6026 यह मान पहले से ही 'SortAscending' चर को सौंपा गया है। क्यूबास्क्रोलटेबलवेगेट.जावा (488)

 @Override protected void sortColumn() { .... if (sortAscending) { if (sortClickCounter < 2) { // special case for initial revert sorting instead of reset sort order if (sortClickCounter == 0) { client.updateVariable(paintableId, "sortascending", false, false); } else { reloadDataFromServer = false; sortClickCounter = 0; sortColumn = null; sortAscending = true; // <= client.updateVariable(paintableId, "resetsortorder", "", true); } } else { client.updateVariable(paintableId, "sortascending", false, false); } } else { if (sortClickCounter < 2) { // special case for initial revert sorting instead of reset sort order if (sortClickCounter == 0) { client.updateVariable(paintableId, "sortascending", true, false); } else { reloadDataFromServer = false; sortClickCounter = 0; sortColumn = null; sortAscending = true; client.updateVariable(paintableId, "resetsortorder", "", true); } } else { reloadDataFromServer = false; sortClickCounter = 0; sortColumn = null; sortAscending = true; client.updateVariable(paintableId, "resetsortorder", "", true); } } .... } 

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

एक अलग फ़ाइल से एक समान उदाहरण:

• V6026 यह मान पहले से ही 'SortAscending' चर को सौंपा गया है। क्यूबाट्रीटेबलवेट.जावा (444)

अजीब वापसी मूल्य

चेतावनी १

V6037 लूप के भीतर बिना शर्त 'वापसी'। QueryCacheManager.java (128)

 public <T> T getSingleResultFromCache(QueryKey queryKey, List<View> views) { .... for (Object id : queryResult.getResult()) { return (T) em.find(metaClass.getJavaClass(), id, views.toArray(....)); } .... } 

विश्लेषक ने लूप के लिए बहुत पहले पुनरावृत्ति पर लौटने के लिए बिना शर्त कॉल का पता लगाया है। या तो वह लाइन गलत है या लूप को एक स्टेटमेंट के रूप में दोबारा लिखा जाना चाहिए।

चेतावनी २

V6014 यह अजीब है कि यह विधि हमेशा एक और एक ही मान लौटाती है। DefaultExceptionHandler.java (40)

 @Override public boolean handle(ErrorEvent event, App app) { Throwable t = event.getThrowable(); if (t instanceof SocketException || ExceptionUtils.getRootCause(t) instanceof SocketException) { return true; } if (ExceptionUtils.getThrowableList(t).stream() .anyMatch(o -> o.getClass().getName().equals("...."))) { return true; } if (StringUtils.contains(ExceptionUtils.getMessage(t), "....")) { return true; } AppUI ui = AppUI.getCurrent(); if (ui == null) { return true; } if (t != null) { if (app.getConnection().getSession() != null) { showDialog(app, t); } else { showNotification(app, t); } } return true; } 

यह फ़ंक्शन प्रत्येक मामले में सही रहता है, जबकि अंतिम पंक्ति स्पष्ट रूप से झूठी कॉल करती है। यह एक गलती की तरह लग रहा है।

यहां अन्य समान संदिग्ध कार्यों की पूरी सूची दी गई है:

• V6014 यह अजीब है कि यह विधि हमेशा एक और एक ही मान लौटाती है। ErrorNodesFinder.java (31)
• V6014 यह अजीब है कि यह विधि हमेशा एक और एक ही मान लौटाती है। FileDownloadController.java (69)
• V6014 यह अजीब है कि यह विधि हमेशा एक और एक ही मान लौटाती है। IdVarSelector.java (73)
• V6014 यह अजीब है कि यह विधि हमेशा एक और एक ही मान लौटाती है। IdVarSelector.java (48)
• V6014 यह अजीब है कि यह विधि हमेशा एक और एक ही मान लौटाती है। IdVarSelector.java (67)
• V6014 यह अजीब है कि यह विधि हमेशा एक और एक ही मान लौटाती है। IdVarSelector.java (46)
• V6014 यह अजीब है कि यह विधि हमेशा एक और एक ही मान लौटाती है। JoinVariableNode.java (57)

चेतावनी ३

V6007 अभिव्यक्ति 'जरूरतरैलोद' हमेशा झूठी होती है। WebAbstractTable.java (2702)

 protected boolean handleSpecificVariables(Map<String, Object> variables) { boolean needReload = false; if (isUsePresentations() && presentations != null) { Presentations p = getPresentations(); if (p.getCurrent() != null && p.isAutoSave(p.getCurrent()) && needUpdatePresentation(variables)) { Element e = p.getSettings(p.getCurrent()); saveSettings(e); p.setSettings(p.getCurrent(), e); } } return needReload; } 

फ़ंक्शन की जरूरत है रिटर्न वेरिएबल चर जिसका मान हमेशा गलत है । उस मूल्य को बदलने के लिए कुछ कोड शायद शर्तों में से एक से गायब है।

चेतावनी ४

V6062 'इनफोकस' पद्धति के अंदर संभावित अनंत पुनरावृत्ति। GwtAceEditor.java (189), GwtAceEditor.java (190)

 public final native void focus() /*-{ this.focus(); }-*/; public final boolean isFocused() { return this.isFocused(); } 

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

विविध

चेतावनी १

V6002 स्विच स्टेटमेंट 'ऑपरेशन' एनम के सभी मूल्यों को शामिल नहीं करता है: ADD। DesktopAbstractTable.java (665)

 /** * Operation which caused the datasource change. */ enum Operation { REFRESH, CLEAR, ADD, REMOVE, UPDATE } @Override public void setDatasource(final CollectionDatasource datasource) { .... collectionChangeListener = e -> { switch (e.getOperation()) { case CLEAR: case REFRESH: fieldDatasources.clear(); break; case UPDATE: case REMOVE: for (Object entity : e.getItems()) { fieldDatasources.remove(entity); } break; } }; .... } 

स्विच स्टेटमेंट में ADD के मान के लिए कोई मामला नहीं है। यह एकमात्र ऐसा मूल्य है जिसकी जाँच नहीं की जा रही है, इसलिए डेवलपर्स को इस कोड पर एक नज़र डालनी चाहिए।

चेतावनी २

V6021 चर 'स्रोत' का उपयोग नहीं किया जाता है। डिफाल्ट हॉरिज़ॉन्टल लाईटड्रॉपहैंडलर.जावा (177)

 @Override protected void handleHTML5Drop(DragAndDropEvent event) { LayoutBoundTransferable transferable = (LayoutBoundTransferable) event .getTransferable(); HorizontalLayoutTargetDetails details = (HorizontalLayoutTargetDetails) event .getTargetDetails(); AbstractOrderedLayout layout = (AbstractOrderedLayout) details .getTarget(); Component source = event.getTransferable().getSourceComponent(); // <= int idx = (details).getOverIndex(); HorizontalDropLocation loc = (details).getDropLocation(); if (loc == HorizontalDropLocation.CENTER || loc == HorizontalDropLocation.RIGHT) { idx++; } Component comp = resolveComponentFromHTML5Drop(event); if (idx >= 0) { layout.addComponent(comp, idx); } else { layout.addComponent(comp); } if (dropAlignment != null) { layout.setComponentAlignment(comp, dropAlignment); } } 

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

अप्रयुक्त चर के साथ अन्य कार्य:

• V6021 चर 'स्रोत' का उपयोग नहीं किया जाता है। DefaultHor क्षैतिजलूटआउटड्रॉपलर .java (175)
• V6021 मान को 'r' वेरिएबल में असाइन किया गया है, लेकिन इसका उपयोग नहीं किया गया है। ExcelExporter.java (262)
• V6021 चर 'ओवर' का उपयोग नहीं किया जाता है। DefaultCssLoutoutDropHandler.java (49)
• V6021 चर 'हस्तांतरणीय' का उपयोग नहीं किया जाता है। डिफॉल्टहोरलॉयआउटड्रॉपहैंडलर.जावा (171)
• V6021 चर 'हस्तांतरणीय' का उपयोग नहीं किया जाता है। DefaultHor क्षैतिजलूटआउटड्रॉपलर .java (169)
• V6021 परिवर्तनीय 'बीनलोकेटर' का उपयोग नहीं किया जाता है। ScreenEventMixin.java (28)

चेतावनी ३

V6054 वर्गों की उनके नाम से तुलना नहीं की जानी चाहिए। MessageTools.java (283)

 public boolean hasPropertyCaption(MetaProperty property) { Class<?> declaringClass = property.getDeclaringClass(); if (declaringClass == null) return false; String caption = getPropertyCaption(property); int i = caption.indexOf('.'); if (i > 0 && declaringClass.getSimpleName().equals(caption.substring(0, i))) return false; else return true; } 

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

CUBA प्लेटफ़ॉर्म डेवलपर्स द्वारा टिप्पणी

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

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

इसके अलावा, पीवीएस-स्टूडियो टीम वाक्यांश का कोई नोटिस नहीं ले सकती है "ऐसा लगता है कि हमें खुद कुछ अतिरिक्त निदान लिखना चाहिए" और इस तस्वीर के बिना करें :)

निष्कर्ष

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