एक बार फिर, पीवीएस-स्टूडियो विश्लेषक एक व्यक्ति की तुलना में अधिक चौकस हो गया

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

पिछली बार मैंने एक समान नोट लिखा था, StarEngine: 2D गेम इंजन प्रोजेक्ट के स्रोत कोड का अध्ययन कर रहा था। अब क्यूटी फ्रेमवर्क सत्यापन के दौरान विश्लेषक ने मुझ पर अपनी श्रेष्ठता दिखाई है।

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

त्रुटियों के दिलचस्प उदाहरण लिखते हुए, मैं इस कोड में आया:

QWindowsCursor::CursorState QWindowsCursor::cursorState() { enum { cursorShowing = 0x1, cursorSuppressed = 0x2 }; CURSORINFO cursorInfo; cursorInfo.cbSize = sizeof(CURSORINFO); if (GetCursorInfo(&cursorInfo)) { if (cursorInfo.flags & CursorShowing) // <= V616 .... } 

पीवीएस-स्टूडियो ने इस कोड के लिए चेतावनी जारी की:

V616 CWE-480 'CursorShowing' का नाम 0 के मान के साथ स्थिर है जिसका उपयोग बिटवाइज़ ऑपरेशन में किया जाता है। qwindowscursor.cpp 669

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

मुझे पूरा यकीन था कि विश्लेषक गलत था। सब के बाद, ऊपर कुछ ही लाइनों के साथ लिखा है कि CursorShowing निरंतर 1 है।

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

मैंने कोड के इस छोटे से टुकड़े की गहन समीक्षा की और वैसे भी खराब कर दिया। विश्लेषक सही है, व्यक्ति नहीं।

स्थिति के एक विस्तृत अध्ययन में, यह पता चला कि नामित कर्सर स्थिरांक को ऊपर घोषित किया गया है , और CursorShowing स्थिरांक का उपयोग स्थिति में किया जाता है। अंतर केवल पहले अक्षर में है! एक जगह यह लोअरकेस है, और दूसरी राजधानी में।

कोड क्यों संकलित किया जा रहा है? क्योंकि CursorShowing स्थिरांक भी मौजूद है। यहाँ उसकी घोषणा है:

 class QWindowsCursor : public QPlatformCursor { public: enum CursorState { CursorShowing, CursorHidden, CursorSuppressed }; .... } 

जैसा कि आप देख सकते हैं, CursorShowing स्थिरांक 0. है। इसलिए, PVS-Studio विश्लेषक यह कहने में बिल्कुल सही है कि स्थिति (कर्सरInfo.flags और CursorShowing) का कोई मतलब नहीं है। हालत हमेशा झूठी है।

विश्लेषक को एक अद्भुत टाइपो मिला। प्रेम स्थिर कोड विश्लेषण! :)

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