📴 👨🏽‍⚕️ 🦃 पीवीएस-स्टूडियो 7.04 🖥️ 🤯 🅿️

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

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

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

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

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

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

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

सी, सी ++: 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/>. */

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

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

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

निदान "वायरल" लाइसेंस के लिए खोज करता है:

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

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

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

ओपन सोर्स प्रोजेक्ट्स के लिए

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

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

यदि आप Visual Studio के लिए PVS-Studio प्लग-इन का उपयोग करते हैं, तो विकल्प> PVS-Studio> Detectable Errors> 1.General Analysis> V1042 पर जाकर, आप विश्लेषक विंडो में इस डायग्नोस्टिक के प्रदर्शन को अक्षम कर सकते हैं। इस पद्धति का नुकसान यह है कि त्रुटि अभी भी विश्लेषक लॉग को लिखी जाएगी जब इसे बचाया जाता है (या यदि विश्लेषण कमांड लाइन से लॉन्च किया गया था)। इसलिए, जब किसी अन्य मशीन पर इस तरह के लॉग को खोलते हैं या विश्लेषण के परिणाम को एक अलग प्रारूप में परिवर्तित करते हैं, तो इस तरह से अक्षम संदेश फिर से दिखाई दे सकते हैं।
यदि आप प्लगइन का उपयोग नहीं करते हैं, तो आप पूरे कमांड के लिए नियम को ब्लॉक करना चाहते हैं या विश्लेषक रिपोर्ट से इसके संदेशों को हटा सकते हैं, तो आप कॉन्फ़िगरेशन फ़ाइल (.pvsconfig) या वैश्विक शीर्ष लेख फ़ाइलों में से एक में "// - V :: 1042" टिप्पणी जोड़ सकते हैं। विजुअल C ++ का उपयोग करने वाले डेवलपर्स के लिए, इस टिप्पणी को stdafx.h फ़ाइल में जोड़ना एक अच्छा विकल्प होगा। यह टिप्पणी विश्लेषक को V1042 नैदानिक को अक्षम करने के लिए कहती है। टिप्पणियों का उपयोग करके निदान को अक्षम करने के बारे में अधिक जानकारी के लिए, दस्तावेज़ देखें।
यदि पोगल कन्वर्टर उपयोगिता का उपयोग रिपोर्ट बदलने के लिए किया जाता है, तो आप "-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_ नाम से एक टाइपो बनाया। अंत में, एक अंडरस्कोर गायब है। यदि आप इस नाम के साथ कोड खोजते हैं, तो आप यह सुनिश्चित कर सकते हैं कि परियोजना वास्तव में दोनों तरफ दो अंडरस्कोर वाले संस्करण का उपयोग करती है:

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

C, C ++ (MISRA)

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

C #

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

सी # एनालाइजर में भी प्रॉपर्टी ऐक्सेस मेथड्स और एसिंक्स मेथड्स से रिटर्न / राइट वैल्यू की गणना जोड़ी गई है।

हम वर्तमान में फ़ील्ड मानों और ऑब्जेक्ट्स के गुणों की ट्रैकिंग में सुधार कर रहे हैं, जब उन्हें विधियों में पास किया जा रहा है, साथ ही साथ टुपल्स की सामग्री को ट्रैक कर रहे हैं। ये सुधार विश्लेषक की अगली रिलीज में उपलब्ध होंगे।

जावा

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 डेवलपर संस्करण)

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

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

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

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

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

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

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

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

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

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

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

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

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

अन्य सुधार

पी वी एस-Studio_Cmd

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

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

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

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

CLMonitor

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

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

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

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

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

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