😾 👨🏼‍🚒 📮 पीवीएस-स्टूडियो 7.04 🥋 👨🏿‍🔧 👷🏼

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

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

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

यहां पीवीएस-स्टूडियो 7.04 रिलीज के साथ आने वाली नई सुविधाओं का अवलोकन किया गया है।

Copyleft लाइसेंस के साथ फ़ाइलों के लिए खोजें

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

विभिन्न भाषाओं के लिए नैदानिक संख्याएँ:

सी, सी ++: V1042
C #: V3144
जावा: V6071

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

/* This program is free software: you can redistribute it and/or modify * it under the terms of the GNU General Public License as published by * the Free Software Foundation, either version 3 of the License, or * (at your option) any later version. * * This program is distributed in the hope that it will be useful, * but WITHOUT ANY WARRANTY; without even the implied warranty of * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the * GNU General Public License for more details. * * You should have received a copy of the GNU General Public License * along with this program. If not, see <https://www.gnu.org/licenses/>. */

बंद परियोजनाओं के लिए

यदि आप एक बंद परियोजना में इस तरह के लाइसेंस (इस मामले में, GPL3) के साथ एक फ़ाइल जोड़ते हैं, तो आपको इस लाइसेंस की बारीकियों के कारण बाकी कोड खोलना होगा।

इस तरह के लाइसेंस को " वायरल " कहा जाता है, क्योंकि उनकी परियोजना फाइलों के बाकी हिस्सों तक विस्तारित होने की क्षमता है। समस्या यह है कि एक बंद परियोजना में इस तरह के लाइसेंस के साथ कम से कम एक फ़ाइल का उपयोग स्वचालित रूप से पूरे स्रोत कोड को खोल देता है और बाइनरी फ़ाइलों के साथ इसे वितरित करने के लिए बाध्य करता है।

नैदानिक निम्नलिखित "वायरस" लाइसेंस की तलाश में है:

AGPL-3.0
जीपीएल-2.0
जीपीएल-3.0
LGPL-3.0

यदि आप किसी बंद परियोजना में कॉपीलेफ्ट लाइसेंस के साथ फ़ाइलों के उपयोग का पता लगाते हैं, तो आप इस मामले में क्या कर सकते हैं:

अपनी परियोजना में इस तरह के कोड (पुस्तकालय) का उपयोग करने से बचना चाहिए;
प्रयुक्त पुस्तकालय;
परियोजना को खुला स्रोत बनाएं।

खुली परियोजनाओं के लिए

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

यदि आपके कोड को ऊपर के कॉपलेफ़्ट लाइसेंसों में से एक के तहत वितरित किया जाता है, तो आप इस निदान को निम्न तरीकों से अक्षम कर सकते हैं (C \ C ++ के लिए यह V1042 है):

यदि आप विज़ुअल स्टूडियो के लिए पीवीएस-स्टूडियो प्लगइन का उपयोग कर रहे हैं, तो आप विकल्प> पीवीएस-स्टूडियो> डिटेक्टेबल एरर्स> 1. जेनरल एनालिसिस> वी 1042 पर जाकर इस डायग्नोस्टिक को अक्षम कर सकते हैं । इसके बाद, इसे विश्लेषक की रिपोर्ट में नहीं दिखाया जाएगा। इस पद्धति का नकारात्मक पक्ष यह है कि त्रुटि को अभी भी इसे सहेजते समय विश्लेषक के लॉग में लिखा जाएगा (या यदि विश्लेषण कमांड लाइन से चलाया गया था)। इसलिए, जब आप किसी अन्य मशीन पर इस तरह के लॉग को खोलते हैं या विश्लेषण के परिणाम को दूसरे प्रारूप में परिवर्तित करते हैं, तो इस तरह अक्षम किए गए संदेश फिर से दिखाई दे सकते हैं।
यदि आप प्लगइन का उपयोग नहीं कर रहे हैं और पूरी टीम के लिए नियम को अवरुद्ध करना चाहते हैं, या इसे विश्लेषक की रिपोर्ट से हटा दें, तो आप कॉन्फ़िगरेशन फ़ाइल (.pvsconfig) में "// - V :: 1042" टिप्पणी जोड़ सकते हैं या। वैश्विक हेडर फ़ाइलों में से एक के लिए। डेवलपर्स के लिए, जो विज़ुअल C ++ का उपयोग करते हैं, एक अच्छा विकल्प "stdafx.h" में इस टिप्पणी को जोड़ना होगा। फ़ाइल। यह टिप्पणी विश्लेषक को V1042 नैदानिक को अक्षम करने के लिए कहती है। दस्तावेज़ टिप्पणियों का उपयोग करके निदान को अक्षम करने के बारे में अधिक विस्तृत जानकारी देता है।
यदि आप रिपोर्ट्स परिवर्तित करने के लिए Plog कनवर्टर उपयोगिता का उपयोग कर रहे हैं, तो आप "-d" कुंजी का उपयोग करके निदान को अक्षम कर सकते हैं।

C # V3144 के लिए एक डायग्नोस्टिक की समान संख्या V6071 है - जावा के लिए।

खतरनाक लाइसेंस की सूची का विस्तार

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

नए निदान

सी, सी ++ (सामान्य)

V1040 । पूर्व-परिभाषित मैक्रो नाम की वर्तनी में संभावित टाइपो।
V1041 । क्लास सदस्य को झूलने के संदर्भ में आरम्भ किया जाता है।
V1042 । यह फ़ाइल कॉपीलेफ्ट लाइसेंस से चिह्नित है, जिसके लिए आपको व्युत्पन्न स्रोत कोड खोलना होगा।
V1043 । शीर्ष लेख में एक वैश्विक ऑब्जेक्ट चर घोषित किया जाता है। इसकी सभी प्रतियां उन सभी अनुवाद इकाइयों में बनाई जाएंगी जिनमें यह हेडर फ़ाइल शामिल है।

मैं V1040 नंबर के साथ डायग्नोस्टिक पर विशेष ध्यान देना चाहता हूं । हम बीटा चरण में भी प्रसिद्ध CMake परियोजना के पुस्तकालय में एक दिलचस्प त्रुटि खोजने में कामयाब रहे:

V1040 पूर्व-परिभाषित मैक्रो नाम की वर्तनी में संभावित टाइपो। '__MINGW32_' मैक्रो '__MINGW32__' के समान है। विनापी.ह 4112

 /* from winternl.h */ #if !defined(__UNICODE_STRING_DEFINED) && defined(__MINGW32_) #define __UNICODE_STRING_DEFINED #endif

नाम __MINGW32_ में एक टाइपो बनाया गया है। अंत में, एक रेखांकित चरित्र गायब है। यदि आप इस नाम के साथ कोड खोजते हैं, तो आप देख सकते हैं कि परियोजना में दोनों तरफ दो अंडरलाइन वर्णों वाले संस्करण का उपयोग किया गया है:

आप लेख में सीएमके परियोजना में सभी पाया त्रुटियों की जांच कर सकते हैं: " सीएमके: मामला जब परियोजना की गुणवत्ता अक्षम्य है "।

C, C ++ (MISRA)

V2551 । मिश्रा। परिवर्तनीय को उस दायरे में घोषित किया जाना चाहिए जो इसकी दृश्यता को कम करता है।
V2552 । मिश्रा। Enum अंतर्निहित प्रकार वाली अभिव्यक्तियों में गणना के प्रगणकों के अनुरूप मान होना चाहिए।
V2553 । मिश्रा। अहस्ताक्षरित ऑपरेटर को अहस्ताक्षरित प्रकार की अभिव्यक्ति पर लागू नहीं किया जाना चाहिए।
V2554 । मिश्रा। वृद्धि (++) या घटने (-) युक्त अभिव्यक्ति के अन्य दुष्प्रभाव नहीं होने चाहिए।
V2555 । मिश्रा। गलत स्थानांतरण अभिव्यक्ति।
V2556 । मिश्रा। FILE के लिए एक पॉइंटर का उपयोग जब संबद्ध स्ट्रीम पहले ही बंद हो चुका हो।
V2557 । मिश्रा। आकारऑफ़ () ऑपरेटर के ऑपरेटर के अन्य दुष्प्रभाव नहीं होने चाहिए।

C #

V3140 । प्रॉपर्टी ऐक्सेसर्स विभिन्न बैकिंग फ़ील्ड्स का उपयोग करते हैं।
V3141 । 'थ्रो' के तहत अभिव्यक्ति एक संभावित अशक्तता है, जिससे NullReferenceException हो सकती है।
V3142 । पता नहीं लगने वाला कोड। यह संभव है कि कोई त्रुटि मौजूद हो।
V3143 । 'मान' पैरामीटर को एक संपत्ति सेटर के अंदर फिर से लिखा जाता है, और उसके बाद इसका उपयोग नहीं किया जाता है।
V3144 । यह फ़ाइल कॉपीलेफ्ट लाइसेंस से चिह्नित है, जिसके लिए आपको व्युत्पन्न स्रोत कोड खोलना होगा।
V3145। एक WeakReference लक्ष्य का असुरक्षित वर्गीकरण। 'टारगेट' प्रॉपर्टी के एक्सेस से पहले ऑब्जेक्ट को कचरा एकत्र किया जा सकता था।

C # विश्लेषक के लिए, हमने संपत्ति पाने वालों और वासियों से, साथ ही साथ async विधियों से read \ written मानों का मूल्यांकन जोड़ा।

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

जावा

V6068 । BigDecimal वर्ग का संदिग्ध उपयोग।
V6069 । निगेटिव 'बाइट' / 'शॉर्ट' वैल्यू का अनइंस्टॉल राइट शिफ्ट असाइनमेंट।
V6070 । किसी वस्तु पर असुरक्षित सिंक्रनाइज़ेशन।
V6071 । यह फ़ाइल कॉपीलेफ्ट लाइसेंस से चिह्नित है, जिसके लिए आपको व्युत्पन्न स्रोत कोड खोलना होगा।

सोनारक्यूब 7.9 एलटीएस

लंबे समय से प्रतीक्षित रिलीज

सोनारक्यूब 6.7 के एलटीएस-संस्करण की अंतिम रिलीज के लगभग 2 साल हो गए हैं। नए संस्करण का बेसब्री से SQ 7.x से शुरू होने का इंतजार किया जा रहा था और जब एलटीएस जारी किया गया, तो उपयोगकर्ताओं ने इसे सक्रिय रूप से स्विच करना शुरू कर दिया, जिससे विभिन्न समस्याएं हुईं। जल्द ही SQ 7.9.1 LTS मामूली सुधारों के साथ सामने आया और तीसरे पक्ष के प्लगइन डेवलपर्स ने भी पैच बनाए।

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

हमें पुराने सोनारक्यूब संस्करणों के साथ संगतता भी रखी गई है और अब समर्थित संस्करणों की सूची निम्नानुसार है: सोनारक्यूब 6.7 एलटीएस और बाद में

अधिक समर्थित भाषा प्लगइन्स

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

समर्थित भाषा प्लगइन्स की पूरी सूची इस तरह दिखती है:

सोनार C ++ समुदाय
सोनार c समुदाय
सोनार #
SonarJava
SonarCFamily (SQ डेवलपर संस्करण)

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

प्लगइन्स चुनते समय, इस तथ्य पर विचार करें कि सामुदायिक प्लगइन्स सोनारफैमिली के साथ संगत नहीं हैं। लेकिन अगर आप केवल सोनारक्यूब सामुदायिक संस्करण का उपयोग करते हैं, तो ऐसी कोई समस्या नहीं होगी।

नई सेटिंग्स पेज

पहले, कोई केवल कॉन्फ़िगरेशन फ़ाइल sonar-project.properties के माध्यम से विश्लेषक को कॉन्फ़िगर कर सकता है। इस पद्धति के बारे में कोई शिकायत नहीं है। यह बहुत सुविधाजनक है और 99% समय का उपयोग किया जाता है, लेकिन हमने सोनारक्यूब के सर्वर साइड पर प्रशासन> कॉन्फ़िगरेशन> पीवीएस-स्टूडियो में एक अतिरिक्त सेटिंग पेज बनाया है, क्योंकि यह कुछ परिदृश्यों के लिए अधिमानतः उपयोग किया जा सकता है।

सेटिंग पृष्ठ इस तरह दिखता है:

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

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

नई इंटेलीजे आईडीईए और पीवीएस-स्टूडियो संस्करणों की रिलीज़ की तारीखें अलग-अलग हैं। हाल ही में हमारे पास एक ऐसी स्थिति आई है जब IntelliJ IDEA 192. * जारी किया गया था, लेकिन इसमें PVS-Studio प्लगइन स्थापित नहीं किया जा सका। इस रिलीज़ में, हमने नवीनतम IntelliJ IDEA संस्करणों के लिए समर्थन जोड़ा है, साथ ही भविष्य में इसी तरह की समस्याओं से बचने के लिए परिशोधन भी किया है।

जेनकींस के लिए प्लगइन्स

पीवीएस-स्टूडियो प्लगइन

PVS-Studio Plugin का अर्थ है कि HTML प्रारूप में जेनकींस निरंतर एकीकरण प्रणाली में PVS-Studio विश्लेषक परिणामों की रिपोर्ट प्रकाशित करना। पहले, यह प्लगइन केवल विंडोज उपयोगकर्ताओं के लिए उपलब्ध था क्योंकि यह रिपोर्ट कनवर्टर को स्वचालित रूप से कहता था और केवल विंडोज के लिए ही करता था। पीवीएस-स्टूडियो 7.04 में, प्लगइन केवल एचटीएमएल-रिपोर्ट का समर्थन करता है जिसे एक ही चरण में उत्पन्न करना होता है, लेकिन इस उपाय ने प्लगइन को क्रॉस-प्लेटफॉर्म बनाया।

चेतावनी एनजी प्लगइन

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

अन्य सुधार

पी वी एस-Studio_Cmd

PVS-Studio_Cmd.exe में अब एक विशेष परिचालन मोड है - क्रेडेंशियल। यह मोड आपको GUI इंटरफ़ेस (उदाहरण के लिए, विजुअल स्टूडियो प्लगइन या C और C ++ कंपाइलर मॉनिटरिंग यूआई उपयोगिता) का उपयोग किए बिना एक सेटिंग फ़ाइल बनाने और लाइसेंस जानकारी दर्ज करने में सक्षम बनाता है। क्लाउड सर्वर के साथ एकीकरण करते समय कंटेनरों में, बिल्ड सर्वर (जहां GUI उपयोगिताओं अनुपस्थित हो सकता है) पर उपयोग किए जाने पर यह मोड विशेष रूप से प्रासंगिक है।

अवास्तविक इंजन परियोजनाओं का विश्लेषण

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

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

CLMonitor

CLMonitor उपयोगिता के लिए, हमने एक विशिष्ट प्रक्रिया के लिए संकलक रन की निगरानी करने की क्षमता जोड़ी है। यह आपको कंपाइलर रन की निगरानी करने देगा, जो केवल एक विशिष्ट परियोजना से संबंधित है, यहां तक कि कई परियोजनाओं के समानांतर निर्माण के दौरान भी। इस मोड में काम करने के लिए, झंडे --parentProcessID% PID% (CLMonitor प्रक्रियाओं को निर्दिष्ट एक से संबंधित बच्चे की निगरानी करता है) और --attach (CLMonitor मॉनिटर प्रक्रियाओं को एक वर्तमान कंसोल के लिए बच्चे से संबंधित) का उपयोग किया जाता है।

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

--Ignore-ccache ध्वज pvs-studio-विश्लेषक उपयोगिता में जोड़ा गया है, जो लिनक्स और macOS में परियोजनाओं की जाँच के लिए है:

 pvs-studio-analyzer analyze ... --ignore-ccache ...

यदि ccache उपयोगिता का उपयोग प्रोजेक्ट बिल्ड में किया जाता है, तो PVS-Studio वृद्धिशील विश्लेषण मोड में काम कर रहा है। Ccache उपयोगिता के कैश को रीसेट किए बिना पूरे प्रोजेक्ट की जांच करने के लिए, इस ध्वज को चुनें।

अतिरिक्त लिंक

हमारे नए प्रकाशनों के बारे में सूचित करने के लिए सदस्यता लें:

ट्विटर: @ कोड_अनलिसिस
Youtube: PVS-Studio
फेसबुक: @StaticCodeAnalyzer
इंस्टाग्राम: @pvsstudio
टेलीग्राम: पीवीएस-स्टूडियो
RSS: viva64-blog-en

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

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