पीवीएस-स्टूडियो 6.26 रिलीज

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

जल्द ही जावा

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

सी और सी ++ के लिए नए निदान

नए संस्करण में, हम थोड़ा दूर चले गए और तुरंत C और C ++ (V1021-V1035) के लिए 15 सामान्य-उद्देश्य निदान जोड़ दिए। एक मामूली रिलीज में, इतने सारे निदान एक साथ कभी नहीं जोड़े गए हैं। प्रत्येक निदान के बारे में अधिक विवरण प्रलेखन में पाया जा सकता है। मेरी राय में, नए निदान में सबसे दिलचस्प हैं:

• V1026। चर को लूप में बढ़ाया जाता है। हस्ताक्षरित पूर्णांक अतिप्रवाह के मामले में अपरिभाषित व्यवहार होगा।
• V1033। चर को सी में ऑटो के रूप में घोषित किया गया है। इसका डिफ़ॉल्ट प्रकार इंट है।

डायग्नोस्टिक्स V1026 मंच linux.org.ru पर चर्चा के आधार पर बनाया गया। प्रोग्रामर ने जीसीसी 8 कंपाइलर में एक गड़बड़ के बारे में शिकायत की, लेकिन, जैसा कि बाद में पता चला, गलती गलत कोड थी, जिसके कारण अपरिभाषित व्यवहार किया गया था। आइए इस मामले को देखें।

नोट। मूल चर्चा में, चर s const चार प्रकार का है। इसके अलावा, लक्ष्य प्लेटफ़ॉर्म पर, चर प्रकार अहस्ताक्षरित है। इसलिए, स्पष्टता के लिए, मैंने तुरंत उदाहरण में लिखा कि पॉइंटर का प्रकार const अहस्ताक्षरित चार * है ।

int foo(const unsigned char *s) { int r = 0; while(*s) { r += ((r * 20891 + *s *200) | *s ^ 4 | *s ^ 3) ^ (r >> 1); s++; } return r & 0x7fffffff; } 

कंपाइलर बिटवाइज और ऑपरेटर (&) के लिए कोड उत्पन्न नहीं करता है। इस वजह से, फ़ंक्शन नकारात्मक मान लौटाता है, हालांकि यह प्रोग्रामर के इरादे से नहीं होना चाहिए।

डेवलपर का मानना ​​है कि यह कंपाइलर में एक गड़बड़ है। लेकिन जिस प्रोग्रामर ने ऐसा कोड लिखा है, वह वास्तव में गलत है। इस तथ्य के कारण फ़ंक्शन ठीक से काम नहीं करता है कि इसमें अपरिभाषित व्यवहार होता है।

संकलक देखता है कि चर आर में एक निश्चित राशि मानी जाती है। चर आर का अतिप्रवाह नहीं होना चाहिए। अन्यथा, यह अपरिभाषित व्यवहार है जिसे संकलक को विचार नहीं करना चाहिए और इसे ध्यान में रखना चाहिए। तो, संकलक का मानना ​​है कि चूंकि चक्र के अंत के बाद चर आर में मूल्य नकारात्मक नहीं हो सकता है, साइन बिट को रीसेट करने के लिए ऑपरेशन r & 0x7fffffff अतिशयोक्तिपूर्ण है और संकलक केवल फ़ंक्शन से चर आर का मान लौटाता है।

डायग्नोस्टिक्स V1026 को ऐसी त्रुटियों का पता लगाने के लिए डिज़ाइन किया गया है। कोड को ठीक करने के लिए, अहस्ताक्षरित चर का उपयोग करके हैश को पढ़ना पर्याप्त है। कोड का सही संस्करण:

 int foo(const unsigned char *s) { unsigned r = 0; while(*s) { r += ((r * 20891 + *s *200) | *s ^ 4 | *s ^ 3) ^ (r >> 1); s++; } return (int)(r & 0x7fffffff); } 

अब एक और V1033 डायग्नोस्टिक देखें। यह दिलचस्प है कि संभावित त्रुटियों का कारण नया ऑटो कीवर्ड था, जो C ++ 11 में दिखाई दिया। और यह C ++ 11 भाषा का नवाचार नहीं है जो खुद दोषी है, लेकिन मनोवैज्ञानिक योजना की बारीकियां :)। मैं अब समझाता हूँ। इस कोड पर एक नज़र डालें:

 float d = 3.14f; int i = 1; auto sum = d + i; 

इसे गलती के रूप में देखें? इसके बारे में सोचो। यहाँ एक तस्वीर है ताकि आप तुरंत पाठ को आगे न पढ़ें।

लगता है कि क्या गलत हो सकता है? यदि नहीं, तो यहां कुछ और रोचक जानकारी है। योग चर 4 होगा, 4.14 नहीं। क्यों?

अब पाठक कहेंगे कि यह एक बेईमान पहेली थी! बात यह है कि यह सी ++ नहीं है, लेकिन सी।

ऐसा होता है कि एक परियोजना C ++ और अच्छे पुराने C. दोनों का उपयोग करती है। प्रोग्रामर C ++ में ऑटो का उपयोग करने के लिए अभ्यस्त हो जाता है और गलती से इस शब्द का उपयोग C में कर सकता है, लेकिन इसका मतलब कुछ और है:

ऑटो

स्थानीय चर को स्थानीय जीवनकाल के रूप में परिभाषित करता है। कीवर्ड ऑटो निम्नलिखित सिंटैक्स का उपयोग करता है:

 [auto] data-definition; 

जैसा कि स्थानीय जीवनकाल स्थानीय चर के लिए डिफ़ॉल्ट है, ऑटो कीवर्ड का उपयोग बहुत कम किया जाता है।

यह पता चला है कि चर राशि का प्रकार int है , और यही कारण है कि इसका मूल्य 4 होगा।

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

अन्य नवाचार

Waf निर्माण प्रणाली के लिए परियोजनाओं की जांच करने की क्षमता जोड़ा गया।

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

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

विंडोज पर CLMonitor / स्टैंडअलोन से pvsconfig फ़ाइलों का उपयोग करने की क्षमता जोड़ा गया।

Pvs-studio-analzyer / CMake मॉड्यूल के लिए एक वृद्धिशील विश्लेषण मोड जोड़ा गया है। PVS-Studio CMake मॉड्यूल अब विज़ुअल C ++ कंपाइलर (cl.exe) का उपयोग करके प्रोजेक्ट्स के लिए विंडोज पर उपयोग किया जा सकता है।

.NET कोर / .NET मानक विज़ुअल स्टूडियो परियोजनाओं के लिए वृद्धिशील विश्लेषण के लिए समर्थन जोड़ा गया।

संबंधित लिंक

1. पी वी एस-स्टूडियो। संस्करण इतिहास ।
2. एंड्री कारपोव। अनिश्चित व्यवहार आपके विचार से अधिक निकट है ।
3. विल डिट्ज़, पेंग ली, जॉन रेगर और विक्रम अडवे। C / C ++ में Integer Overflow को समझना ।
4. ईगोर ब्रेडिकिन। एक नए स्थिर विश्लेषक का विकास: पीवीएस-स्टूडियो जावा ।