😥 ❇️ 👋🏼 Qt 5 फ्रेमवर्क की जाँच 🧖🏿 🔱 🤛🏽

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

क्यूटी

Qt C ++ प्रोग्रामिंग भाषा में एक क्रॉस-प्लेटफ़ॉर्म सॉफ़्टवेयर डेवलपमेंट टूलकिट है। आपको स्रोत कोड को बदले बिना प्रत्येक ओएस के लिए एक कार्यक्रम को संकलित करके अधिकांश आधुनिक ऑपरेटिंग सिस्टम में इसकी मदद से लिखे गए सॉफ़्टवेयर को चलाने की अनुमति देता है। इसमें उन सभी बुनियादी वर्गों को शामिल किया गया है जो कि आवश्यक हो सकते हैं जब एप्लिकेशन सॉफ़्टवेयर विकसित कर रहे हों, नेटवर्क, डेटाबेस और XML के साथ काम करने के लिए GUI तत्वों से लेकर कक्षाओं तक। Qt पूरी तरह से ऑब्जेक्ट ओरिएंटेड है, आसानी से एक्स्टेंसिबल है, और घटक प्रोग्रामिंग तकनीकों का समर्थन करता है। [स्रोत: विकिपीडिया]

संदर्भ:

विकिपीडिया - क्यूटी ;
Qt प्रोजेक्ट वेबसाइट;
2011 में Qt 4.7.3 के हमारे सत्यापन के बारे में एक लेख ।

हम Qt संस्करण 5.2.1 के साथ काम करेंगे। विश्लेषण के लिए, हम पीवीएस-स्टूडियो संस्करण 5.15 का उपयोग करते हैं।

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

Qt परियोजना सत्यापन की विशेषताएं

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

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

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

कंपाइलर ट्रैकिंग एप्लीकेशन GUI से और कमांड लाइन दोनों से की जा सकती है। यह सब कैसे काम करता है और नए मोड का उपयोग करने के तरीके पर अधिक विवरण लेख में वर्णित हैं:

एव्जेनी रियाज़कोव। पीवीएस-स्टूडियो अब विंडोज पर किसी भी बिल्ड सिस्टम और किसी भी कंपाइलर का समर्थन करता है। आसान और आउट ऑफ द बॉक्स ।

यह आलेख बताता है कि Qt प्रोजेक्ट को कमांड-लाइन मॉनिटरिंग स्टार्ट मोड में कैसे परीक्षण किया गया था।

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

मान्यता परिणाम

सामान्य तौर पर, मुझे कोड की निम्नलिखित छाप मिली:

Qt कोड उच्च-गुणवत्ता वाला है और व्यावहारिक रूप से C ++ भाषा की खतरनाक विशेषताओं से जुड़ी त्रुटियां नहीं हैं। लेकिन बहुत सारे साधारण टाइपो।

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

टाइपोस की अद्भुत दुनिया में डुबकी

टाइपो की एक अद्भुत दुनिया में आपका स्वागत है

टाइपो N १

bool QWindowsUser32DLL::initTouch() { QSystemLibrary library(QStringLiteral("user32")); registerTouchWindow = ....; unregisterTouchWindow = ....; getTouchInputInfo = ....; closeTouchInputHandle = ....; return registerTouchWindow && unregisterTouchWindow && getTouchInputInfo && getTouchInputInfo; }

PVS-Studio चेतावनी: V501 समान उप-अभिव्यक्तियाँ हैं 'getTouchInputInfo' बाईं ओर और '&&' ऑपरेटर के दाईं ओर। qwindowscontext.cpp 216

चार चर असाइन किए गए मान हैं। इन चार चरों की जाँच की जानी चाहिए। लेकिन एक टाइपो के कारण, केवल 3 की जाँच की जाती है। अंतिम पंक्ति में, 'getTouchInputInfo' के बजाय 'closeTouchInputHandle' लिखा जाना चाहिए।

टाइपो एन 2

 QWindowsNativeImage *QWindowsFontEngine::drawGDIGlyph(....) { .... int iw = gm.width.toInt(); int ih = gm.height.toInt(); if (iw <= 0 || iw <= 0) return 0; .... }

PVS-Studio चेतावनी: V501 बाईं और 'दाईं ओर' के समान उप-अभिव्यक्तियाँ हैं। ऑपरेटर: iw <= 0 || iw <= 0 qwindowsfontengine.cpp 1095

चर 'ih' में संग्रहित कोई ऊँचाई जाँच नहीं है।

टाइपो एन 3, एन 4

यह त्रुटि परीक्षणों पर लागू होती है। स्थैतिक विश्लेषण कैसे यूनिट इकाइयों का परीक्षण करता है, इसका एक अच्छा उदाहरण है। इस विषय पर अधिक: " कैसे स्थैतिक विश्लेषण टीडीडी का पूरक है ।"

 inline bool qCompare(QImage const &t1, QImage const &t2, ....) { .... if (t1.width() != t2.width() || t2.height() != t2.height()) { .... }

चेतावनी PVS-Studio: V501 बाईं और 'के दाईं ओर समान उप-अभिव्यक्तियाँ हैं! = संचालक: t2.height ()! = T2.height () qtest_gui.h 101

दो छवियों की तुलना करने के लिए फ़ंक्शन सही ढंग से उनकी ऊंचाई की तुलना नहीं करता है। अधिक सही मायने में, तुलना नहीं करता है।

कॉपी-पेस्ट का उपयोग करते हुए त्रुटि। ठीक उसी तरह की तुलना एक ही फाइल में नीचे (लाइन 135) में देखी जा सकती है।

टाइपो एन 5

मुझे खेद है कि मैंने कोड को बदसूरत बना दिया। लाइनें बहुत लंबी थीं।

 void QXmlSimpleReader::setFeature( const QString& name, bool enable) { .... } else if ( name == QLatin1String( "http://trolltech.com/xml/features/report-start-end-entity") || name == QLatin1String( "http://trolltech.com/xml/features/report-start-end-entity")) { .... }

PVS-Studio चेतावनी: V501 बाईं और 'दाईं ओर' के समान उप-अभिव्यक्तियाँ हैं। ऑपरेटर। qxml.cpp 3249

चर 'नाम' की तुलना एक ही तार से दो बार की जाती है। कोड में ऊपर, एक समान तुलना है। चर को इन दोनों के साथ तार के साथ तुलना की जाती है:

http: // trolltech.com / xml / features / report-whitespace-only-CharData
http: // qt-project.org / xml / features / report-whitespace-only-CharData

सादृश्य से, हम मान सकते हैं कि उपरोक्त कोड में चर 'नाम' की तुलना इसके साथ होनी चाहिए:

http: // trolltech.com / xml / features / report-start-end- unit
http: // qt-project.org / xml / features / report-start-end- unit

टाइपो एन 6, एन 7, एन 8, एन 9

 QString DayTimeDuration::stringValue() const { .... if(!m_hours && !m_minutes && !m_seconds && !m_seconds) .... }

PVS-Studio चेतावनी: V501 समान उप-अभिव्यक्तियाँ हैं! 'M_seconds' बाईं ओर और '&&' ऑपरेटर के दाईं ओर। qdaytimeduration.cpp 148

मिलीसेकंड के बारे में भूल गए। Milliseconds को 'm_mseconds' वेरिएबल में स्टोर किया जाता है। जाँच इस तरह होनी चाहिए:

 if(!m_hours && !m_minutes && !m_seconds && !m_mseconds)

मिलीसेकंड के साथ तीन और समान त्रुटियां हैं:

qdaytimeduration.cpp 170
qduration.cpp 167
qduration.cpp 189

टाइपो एन 10

 QV4::ReturnedValue QQuickJSContext2DPrototype::method_getImageData( QV4::CallContext *ctx) { .... qreal x = ctx->callData->args[0].toNumber(); qreal y = ctx->callData->args[1].toNumber(); qreal w = ctx->callData->args[2].toNumber(); qreal h = ctx->callData->args[3].toNumber(); if (!qIsFinite(x) || !qIsFinite(y) || !qIsFinite(w) || !qIsFinite(w)) .... }

PVS-Studio चेतावनी: V501 समान उप-अभिव्यक्तियाँ हैं! 'QIsFinite (w)' बाईं और दाईं ओर '' || ऑपरेटर। qquickcontext2d.cpp 3305

चर 'ह' का कोई सत्यापन नहीं है। इसके बजाय, चर 'w' को दो बार जांचा जाता है।

टाइपो एन 11

 AtomicComparator::ComparisonResult IntegerComparator::compare(const Item &o1, const AtomicComparator::Operator, const Item &o2) const { const Numeric *const num1 = o1.as<Numeric>(); const Numeric *const num2 = o1.as<Numeric>(); if(num1->isSigned() || num2->isSigned()) .... }

V656 वेरिएबल्स 'num1', 'num2' को एक ही फ़ंक्शन के लिए कॉल के माध्यम से प्रारंभ किया जाता है। यह शायद एक त्रुटि या अन-अनुकूलित कोड है। 'O1.as <न्यूमेरिक> ()' अभिव्यक्ति का निरीक्षण करने पर विचार करें। जाँच लाइनें: 220, 221

वैरिएबल 'num1' और 'num2' एक ही मूल्य के साथ आरंभीकृत होते हैं। इन दोनों चर को नीचे चेक किया गया है। यह संदिग्ध है। आखिरकार, यह केवल एक चर के मूल्य की जांच करने के लिए पर्याप्त है।

सबसे अधिक संभावना है, चर 'num2' को एक अभिव्यक्ति के साथ आरम्भ किया जाना चाहिए जहाँ तर्क 'o2' का प्रयोग किया जाता है:

 const Numeric *const num1 = o1.as<Numeric>(); const Numeric *const num2 = o2.as<Numeric>();

टाइपो एन 12

 void Atlas::uploadBgra(Texture *texture) { const QRect &r = texture->atlasSubRect(); QImage image = texture->image(); if (image.format() != QImage::Format_ARGB32_Premultiplied || image.format() != QImage::Format_RGB32) { .... }

V547 अभिव्यक्ति हमेशा सच है। संभवतः '&&' ऑपरेटर का उपयोग यहां किया जाना चाहिए। qsgatlastexture.cpp 271

इस कोड में शर्त का कोई मतलब नहीं है। वह हमेशा सच है। यह समझना आसान बनाने के लिए कि यहां क्या गलत है, मैं एक सरल उदाहरण दूंगा:

 int a = ...; if (a != 1 || a != 2)

एक चर हमेशा कुछ के लिए असमान होगा।

मुझे नहीं पता कि सही कोड कैसा दिखना चाहिए। शायद यह इस तरह होना चाहिए:

 if (image.format() == QImage::Format_ARGB32_Premultiplied || image.format() == QImage::Format_RGB32) {

या तो:

 if (image.format() != QImage::Format_ARGB32_Premultiplied && image.format() != QImage::Format_RGB32) {

टाइपो एन 13

 void QDeclarativeStateGroupPrivate::setCurrentStateInternal( const QString &state, bool ignoreTrans) { .... QDeclarativeTransition *transition = (ignoreTrans || ignoreTrans) ? 0 : findTransition(currentState, state); .... }

PVS-Studio चेतावनी: V501 बाईं और 'दाईं ओर' के समान उप-अभिव्यक्तियाँ हैं। ऑपरेटर: ignTrans || IgnTrans qdeclarativestategroup.cpp 442

यहाँ कुछ गड़बड़ है। वे वास्तव में एक चेक कैसे लिखना चाहते थे, यह मेरे लिए स्पष्ट नहीं है।

टाइपो एन 14

 QV4::ReturnedValue QQuickJSContext2DPrototype::method_createPattern(....) { .... if (repetition == QStringLiteral("repeat") || repetition.isEmpty()) { pattern->patternRepeatX = true; pattern->patternRepeatY = true; } else if (repetition == QStringLiteral("repeat-x")) { pattern->patternRepeatX = true; } else if (repetition == QStringLiteral("repeat-y")) { pattern->patternRepeatY = true; } else if (repetition == QStringLiteral("no-repeat")) { pattern->patternRepeatY = false; pattern->patternRepeatY = false; } else { //TODO: exception: SYNTAX_ERR } .... }

PVS-Studio चेतावनी: V519 'पैटर्न-> patternRepeatY' चर को क्रमिक रूप से दो बार मान दिया गया है। शायद यह एक गलती है। लाइनों की जाँच करें: 1775, 1776। qquickcontext2d.cpp 1776

लगातार दो कार्य चर 'पैटर्न रिपेटी' से किए जाते हैं:

 pattern->patternRepeatY = false; pattern->patternRepeatY = false;

मुझे लगता है कि इसे यहां लिखा जाना चाहिए:

 } else if (repetition == QStringLiteral("no-repeat")) { pattern->patternRepeatX = false; pattern->patternRepeatY = false; } else {

C ++ का दुरुपयोग

जैसा कि मैंने कहा, अधिकांश गलतियाँ सामान्य टाइपोस हैं। C ++ भाषा के अनुचित उपयोग से जुड़ी लगभग कोई त्रुटियां नहीं हैं। लेकिन इस तरह की कुछ त्रुटियां अभी भी पाई गईं।

ऑपरेशन प्राथमिकता से संबंधित सुंदर त्रुटि

 bool QConfFileSettingsPrivate::readIniLine(....) { .... char ch; while (i < dataLen && ((ch = data.at(i) != '\n') && ch != '\r')) ++i; .... }

V593 'ए = बी! = सी' प्रकार की अभिव्यक्ति की समीक्षा करने पर विचार करें। अभिव्यक्ति की गणना निम्न प्रकार से की जाती है: 'ए = (बी! = सी)'। qsettings.cpp 1702

लूप को एक पंक्ति के अंत का पता लगाने के लिए डिज़ाइन किया गया है। पंक्ति वर्ण का अंत वर्ण '\ n' या '\ r' है।

शर्त के अंदर, एक वर्ण लिया जाना चाहिए और '\ n' और 'r' के साथ तुलना की जानी चाहिए। त्रुटि इसलिए होती है क्योंकि '=' 'ऑपरेटर की प्राथमिकता ऑपरेटर' = 'से अधिक होती है। इस वजह से, यह वर्ण कोड नहीं है जो चर 'ch' को लिखा गया है, लेकिन 'सही' या 'गलत' है। परिणामस्वरूप, तुलना '\ r' अब कोई भूमिका नहीं निभाता है।

हम कोष्ठक को रखते हैं ताकि त्रुटि बेहतर नजर आए:

 while (i < dataLen && ((ch = (data.at(i) != '\n')) && ch != '\r'))

त्रुटि के कारण, केवल '\ n' वर्ण को पंक्ति का अंत माना जाता है। यदि रेखाएँ '\ r' अक्षर से समाप्त होती हैं, तो फ़ंक्शन ठीक से काम नहीं करेगा।

सही कोड है:

 while (i < dataLen && (ch = data.at(i)) != '\n' && ch != '\r')

सटीकता की हानि

 bool QWindowsTabletSupport::translateTabletPacketEvent() { .... const double radAzim = (packet.pkOrientation.orAzimuth / 10) * (M_PI / 180); .... }

V636 'packet.pkOrientation.orAzimuth / 10' की अभिव्यक्ति को 'int' प्रकार से 'डबल' प्रकार में निहित किया गया था। एक आंशिक भाग के नुकसान से बचने के लिए एक स्पष्ट प्रकार के कलाकारों का उपयोग करने पर विचार करें। एक उदाहरण: डबल ए = (डबल) (एक्स) / वाई ;; qwindowstabletsupport.cpp 467

चर 'packet.pkOrientation.orAzimuth' प्रकार 'int' का है। इस पूर्णांक चर को संख्या 10 से विभाजित किया जाता है। यह संदेह है कि तब विभाजन का परिणाम टाइप 'डबल' के मूल्यों के साथ संयोजन में उपयोग किया जाता है। अंतिम परिणाम भी टाइप 'डबल' के एक चर में रखा गया है।

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

उदाहरण के लिए, 'packet.pkOrientation.orAzimuth' को 55 होने दें। फिर गणना का परिणाम होगा:

(55/10) * (3.14159 ... / 180) = 5 * 0.01745 ... = 0.087266 ...

सटीकता में काफी वृद्धि की जा सकती है। यह निरंतर 10 को दोहरे प्रकार के रूप में घोषित करने के लिए पर्याप्त है: "(packet.pkOrientation.orAzimuth / 10.0 ) * (M_PI / 180)"। अब गणना का परिणाम है:

(55 / 10.0) * (3.14159 ... / 180) = 5.5 * 0.01745 ... = 0.095993 ...

इस तरह की अशुद्धियां अक्सर होती हैं, क्योंकि प्रोग्रामर उन अभिव्यक्तियों के प्रति असावधान होते हैं जहां विभिन्न प्रकार के चर मिश्रित होते हैं। इस तरह की असावधानी अक्सर 64-बिट त्रुटियों ( मिश्रित अंकगणित देखें) की ओर भी ले जाती है।

विश्लेषक अन्य 51 संदिग्ध पूर्णांक विभाजनों का पता लगाता है। शायद कुछ भाव डेवलपर्स की इच्छा से कम सटीक होंगे। मैं उन्हें सूचीबद्ध करता हूं: qt-v636.txt ।

प्वाइंटलेस पॉइंटर चेक

यदि स्मृति को 'नए' संचालक के उपयोग से आवंटित किया जाता है, तो लंबे समय तक यह सूचक को शून्य की समानता के लिए जांचने का कोई मतलब नहीं है। यदि मेमोरी आवंटित नहीं की जा सकती है, तो एक अपवाद फेंक दिया जाएगा। बेशक, आप ऑपरेटर को 'नया' रिटर्न 0 बना सकते हैं, लेकिन अब हम इन मामलों के बारे में बात नहीं कर रहे हैं।

हालांकि, समय-समय पर, प्रोग्रामर भूल जाते हैं, और एक अर्थहीन चेक कोड में फिर से दिखाई देता है।

 HRESULT STDMETHODCALLTYPE QWindowsEnumerate::Clone( IEnumVARIANT **ppEnum) { QWindowsEnumerate *penum = 0; *ppEnum = 0; penum = new QWindowsEnumerate(array); if (!penum) return E_OUTOFMEMORY; .... }

PVS-Studio चेतावनी: V668 नल के खिलाफ 'penum' पॉइंटर के परीक्षण में कोई समझदारी नहीं है, क्योंकि स्मृति को 'नए' ऑपरेटर का उपयोग करके आवंटित किया गया था। मेमोरी आवंटन त्रुटि के मामले में अपवाद उत्पन्न होगा। qwindowsmsaaaccessible.cpp 141

ऐसे कुछ और चेक हैं: main.cpp 127, qaudiodevicefactory.cpp 236, qaudiodevicefactory.cpp 263, qaudiobuffer.cpp 488, mfvideorenderercrolrol.cpp 143, mfvideorenderercontrol.cpp 158, mfvideorenderercontrol। , स्थितिपॉलिफैक्टी.सीपी 60।

अंधेरा पक्ष

कोड के दो टुकड़े हैं जिनके बारे में मैं यह नहीं कह सकता कि यह निश्चित रूप से एक गलती है। मुझे परियोजना की वास्तुकला और कार्यान्वयन की विशेषताएं नहीं पता हैं। हालांकि, भले ही ये त्रुटियां न हों, तो यह C ++ प्रोग्रामिंग का काला पक्ष है।

 class Q_CORE_EXPORT QObject { .... virtual ~QObject(); virtual bool event(QEvent *); virtual bool eventFilter(QObject *, QEvent *); .... }; QObject *QQmlVME::run(....) { .... QObject *o = (QObject *)operator new(instr.typeSize + sizeof(QQmlData)); ::memset(static_cast<void *>(o), 0, instr.typeSize + sizeof(QQmlData)); .... }

PVS- स्टूडियो चेतावनी: V598 'मेमसेट' फ़ंक्शन का उपयोग 'QObject' वर्ग के क्षेत्रों को शून्य करने के लिए किया जाता है। वर्चुअल विधि तालिका इससे क्षतिग्रस्त हो जाएगी। qqmlvme.cpp 658

QObject क्लास में वर्चुअल फ़ंक्शंस हैं। इसका मतलब यह है कि ऑब्जेक्ट पॉइंटर को वर्चुअल तरीकों की तालिका में संग्रहीत करता है। ऐसा लगता है कि मेमसेट () फ़ंक्शन का उपयोग करके ऐसी वस्तुओं को इनिशियलाइज़ करना एक अच्छा विचार नहीं है।

एक अन्य चेतावनी: V598 'मेमसेट' फ़ंक्शन का उपयोग 'QObject' वर्ग के क्षेत्रों को अशक्त करने के लिए किया जाता है। वर्चुअल विधि तालिका इससे क्षतिग्रस्त हो जाएगी। qdeclarativevme.cpp 286

डेरेफ्रेंसिंग नल पॉइंटर्स

शायद इन त्रुटियों को टाइपोस के लिए जिम्मेदार ठहराया जा सकता है। लेकिन मैं उन्हें एक अलग समूह में अलग करना पसंद करता हूं। इसलिए वे गहरे और अधिक गंभीर लगते हैं।

नोट। समूहों में त्रुटियों का विभाजन हमेशा काफी मनमाना होता है। अक्सर एक ही त्रुटि को टाइपो के रूप में वर्गीकृत किया जा सकता है, एक भेद्यता के रूप में, एक सरणी के सीमा से बाहर जाने के रूप में और इसी तरह।

चलो अशक्त बिंदुओं पर वापस जाते हैं।

टाइपो के कारण टाइपो डीफ्रेंसिंग

 QV4::ReturnedValue QQuickJSContext2DPixelData::getIndexed( QV4::Managed *m, uint index, bool *hasProperty) { .... if (!m) return m->engine()->currentContext()->throwTypeError(); .... }

PVS-Studio चेतावनी: V522 अशक्त सूचक 'm' की डेरेफेरिंग हो सकती है। qquickcontext2d.cpp 3169

जाहिर है, ऑपरेटर '!' यहाँ बहुत बढ़िया है। एक साधारण टाइपो एक गंभीर गलती की ओर ले जाता है।

एक त्रुटि हैंडलर में नल पॉइंटर डिफरेंस

 void QDocIndexFiles::readIndexSection(....) { .... DocNode* dn = qdb_->findGroup(groupNames[i]); if (dn) { dn->addMember(node); } else { .... qDebug() << "DID NOT FIND GROUP:" << dn->name() << "for:" << node->name(); } .... }

PVS-Studio चेतावनी: V522 अशक्त सूचक 'dn' के स्थान पर हो सकता है। qdocindexfiles.cpp 539

यदि कोई त्रुटि होती है, तो एक नैदानिक संदेश मुद्रित किया जाना चाहिए। वे इसमें एक नगण्य वस्तु से एक नाम लेने की कोशिश करेंगे: dn-> नाम ()।

82 संभावित नल पॉइंटर डेफरेंस

Qt सहित लगभग सभी परियोजनाओं में, शून्य बिंदुओं के साथ काम करने में खामियां हैं। अक्सर, सूचक का उपयोग किए जाने के बाद सत्यापन किया जाता है। यह हमेशा एक गलती नहीं है। ऐसा होता है कि एक सूचक, सिद्धांत रूप में, शून्य के बराबर नहीं हो सकता है।

किसी भी मामले में, ऐसे स्थानों का अध्ययन करने और फिर से तैयार करने के लायक है। यहां तक कि अगर कोई त्रुटि नहीं है, तो कोड को पढ़ने पर पॉइंटर पर एक अतिरिक्त चेक प्रोग्रामर को भ्रमित करता है।

खतरनाक कोड के टुकड़ों में से एक पर विचार करें:

 static int gray_raster_render(....) { const QT_FT_Outline* outline = (const QT_FT_Outline*)params->source; .... /* return immediately if the outline is empty */ if ( outline->n_points == 0 || outline->n_contours <= 0 ) return 0; if ( !outline || !outline->contours || !outline->points ) return ErrRaster_Invalid_Outline; .... }

PVS-Studio चेतावनी: V595 'आउटलाइन' पॉइंटर को nullptr के खिलाफ सत्यापित होने से पहले उपयोग किया गया था। चेक लाइनें: 1746, 1749. qgrayraster.c 1746

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

 /* return immediately if the outline is empty */ if ( outline->n_points == 0 || outline->n_contours <= 0 ) return 0;

परेशानी यह है कि 'आउटलाइन' पॉइंटर से अशक्त हो सकता है। यह जाँचना कि पॉइंटर शून्य है, थोड़ा कम है।

विश्लेषक को अन्य 81 संभावित त्रुटियां मिलीं। मैं एक सूची के रूप में नैदानिक संदेश दूंगा : qt-v595.txt ।

अनुत्तरित प्रश्न

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

डबल चेक

 QWindowsFontEngine::~QWindowsFontEngine() { .... if (QWindowsContext::verboseFonts) if (QWindowsContext::verboseFonts) qDebug("%s: font='%s", __FUNCTION__, qPrintable(_name)); .... }

PVS-Studio चेतावनी: V571 आवर्ती जाँच। 'If (QWindowsContext :: verboseFonts)' की स्थिति पहले से ही 369 लाइन में सत्यापित थी। qwindowsfontengine.cpp 370

एक ही चीज की दोबारा जांच क्यों? शायद एक चेक अनावश्यक है। शायद वे कुछ और जांचना भूल गए।

दोहरा काम

 void Moc::parse() { .... index = def.begin + 1; namespaceList += def; index = rewind; .... }

PVS-Studio चेतावनी: V519 'सूचकांक' चर को क्रमिक रूप से दो बार मान दिया गया है। शायद यह एक गलती है। चेक लाइनें: 568, 570. moc.cpp 570

चर 'सूचकांक' को अलग-अलग मान क्यों दिए गए हैं?

कुछ अन्य समान अजीब कोड स्निपेट हैं:

V519 'एक्जिटकोड' वेरिएबल को क्रमिक रूप से दो बार मान दिया गया है। शायद यह एक गलती है। चेक लाइनें: 807, 815. qprocess.cpp 815
V519 'डिटेक्टिंग' वेरिएबल को क्रमिक रूप से दो बार मान दिया गया है। शायद यह एक गलती है। जाँच लाइनें: 163, 164। qhoversensorgesturerecognizer.cpp 164
V519 'वृद्धिकाउंट' चर को क्रमिक रूप से दो बार मान दिया गया है। शायद यह एक गलती है। जाँच लाइनें: 185, 186। qtwistsensorgesturerecognizer.cpp 186

संदिग्ध लापता संचालक

 bool GSuggestCompletion::eventFilter(QObject *obj, QEvent *ev) { .... switch (key) { case Qt::Key_Enter: case Qt::Key_Return: doneCompletion(); consumed = true; case Qt::Key_Escape: editor->setFocus(); popup->hide(); consumed = true; case Qt::Key_Up: case Qt::Key_Down: case Qt::Key_Home: case Qt::Key_End: case Qt::Key_PageUp: case Qt::Key_PageDown: break; .... }

PVS-Studio चेतावनी: V519 'उपभोग' चर को क्रमिक रूप से दो बार मान दिया गया है। शायद यह एक गलती है। चेक लाइनें: 110, 115. googlesuggest.cpp 115

ब्रेक स्टेटमेंट यहां भूल गया है या नहीं?

विश्लेषक को यह अजीब लग रहा था कि चर 'उपभोग' को एक पंक्ति में दो बार 'सही' मान दिया जा सकता है। यह संभावना है कि ब्रेक स्टेटमेंट यहां भूल गया है। लेकिन मुझे इतना यकीन नहीं है। शायद आपको केवल पहला असाइनमेंट निकालने की आवश्यकता है: "भस्म = सत्य;"।

एक अतिरिक्त ब्रेक स्टेटमेंट का संदेह

 bool QHelpGenerator::registerVirtualFolder(....) { .... while (d->query->next()) { d->namespaceId = d->query->value(0).toInt(); break; } .... }

पीवीएस-स्टूडियो चेतावनी: वी 612 एक लूप के भीतर बिना शर्त 'ब्रेक'। qhelpgenerator.cpp 429

क्या यह सही है कि 'ब्रेक' स्टेटमेंट के कारण लूप तुरंत बंद हो जाता है?

इस तरह का एक और टुकड़ा यहाँ रहता है: qhelpgenerator.cpp 642

अनेक वस्तुओं का संग्रह

धैर्य रखें। लेख जल्द ही समाप्त हो जाएगा। अभी भी कुछ motley त्रुटियाँ हैं।

टॉवलर () फ़ंक्शन का गलत उपयोग

 int main(int argc, char **argv) { .... QByteArray arg(argv[a]); .... arg = arg.mid(1); arg.toLower(); if (arg == "o") .... }

PVS-Studio चेतावनी: V530 'toLower' फ़ंक्शन के रिटर्न मान का उपयोग करने की आवश्यकता है। main.cpp 72

'Tolower ()' फ़ंक्शन ऑब्जेक्ट को संशोधित नहीं करता है। यह ऑब्जेक्ट की एक प्रति लौटाता है, जो लोअरकेस वर्णों को संग्रहीत करेगा।

एक और गलती: V530 फ़ंक्शन 'लौवर' की वापसी मूल्य का उपयोग करने की आवश्यकता है। main.cpp 1522

किसी व्यूह की सीमा से परे जाना

स्थिति जटिल है। कृपया ध्यान केंद्रित करें।

इस तरह की एक संख्या है:

 typedef enum { JNone, JCausing, JDual, JRight, JTransparent } Joining;

याद रखें कि JTransparent == 4

अब getNkoJoining () फ़ंक्शन पर विचार करें:

 static Joining getNkoJoining(unsigned short uc) { if (uc < 0x7ca) return JNone; if (uc <= 0x7ea) return JDual; if (uc <= 0x7f3) return JTransparent; if (uc <= 0x7f9) return JNone; if (uc == 0x7fa) return JCausing; return JNone; }

हमारे लिए क्या मायने रखता है कि यह फ़ंक्शन 'JTransparent' लौटा सकता है। यही है, फ़ंक्शन 4 वापस कर सकता है।

कार्यक्रम में एक दो आयामी सरणी है 'join_table':

 static const JoiningPair joining_table[5][4] = { .... };

और अब वास्तविक स्थान जहां त्रुटि हो सकती है:

 static void getNkoProperties(....) { .... Joining j = getNkoJoining(chars[0]); ArabicShape shape = joining_table[XIsolated][j].form2; .... }

PVS- स्टूडियो चेतावनी: V557 ऐरे ओवररन संभव है। 'J' इंडेक्स का मान 4. harfbuzz-arabic.c 516 तक पहुंच सकता है

जैसा कि हम याद करते हैं, getNkoJoining () फ़ंक्शन मान 4 वापस कर सकता है। इस प्रकार, हम join_table [...] [4] सरणी के सेल को संदर्भित करते हैं। यह अनुमन्य नहीं है। व्यूह की सीमा से परे चला जाएगा।

वही स्थितियाँ

 void Node::setPageType(const QString& t) { if ((t == "API") || (t == "api")) pageType_ = ApiPage; else if (t == "howto") pageType_ = HowToPage; else if (t == "overview") pageType_ = OverviewPage; else if (t == "tutorial") pageType_ = TutorialPage; else if (t == "howto") pageType_ = HowToPage; else if (t == "article") pageType_ = ArticlePage; else if (t == "example") pageType_ = ExamplePage; else if (t == "ditamap") pageType_ = DitaMapPage; }

PVS-Studio चेतावनी: V517 'if (A) {...} का उपयोग if (A) {...}' पैटर्न का पता चला। तार्किक त्रुटि उपस्थिति की संभावना है। चेक लाइनें: 386, 392. नोड.कप 386

चेक दो बार किया जाता है (टी == "हाउटो")। मुझे लगता है कि उनमें से एक शानदार है।

यहाँ कुछ और इसी तरह की चेतावनी दी गई है:

V517 'if (A) {...} का उपयोग if (A) {...}' पैटर्न का पता चला। तार्किक त्रुटि उपस्थिति की संभावना है। जाँच लाइनें: 188, 195. qmaintainreader_tpl_p.h 188
V517 'if (A) {...} का उपयोग if (A) {...}' पैटर्न का पता चला। तार्किक त्रुटि उपस्थिति की संभावना है। चेक लाइन: 299, 303. mfmetadatacontrol.cpp 299

उसी क्रिया को करना

 void QBluetoothServiceDiscoveryAgentPrivate::_q_deviceDiscovered( const QBluetoothDeviceInfo &info) { if(mode == QBluetoothServiceDiscoveryAgent::FullDiscovery) { for(int i = 0; i < discoveredDevices.count(); i++){ if(discoveredDevices.at(i).address() == info.address()){ discoveredDevices.removeAt(i); } } discoveredDevices.prepend(info); } else { for(int i = 0; i < discoveredDevices.count(); i++){ if(discoveredDevices.at(i).address() == info.address()){ discoveredDevices.removeAt(i); } } discoveredDevices.prepend(info); } }

PVS-Studio चेतावनी: V523 'तत्कालीन' कथन 'और' कथन के बराबर है। qbluaxyservicediscoveryagent.cpp 402

शर्त के बावजूद, समान कार्य किए जाते हैं।

इसी तरह: pcre_exec.c 5577, ditaxmlgenerator.cpp 1722, htmlgenerator.cpp 388।

अंतर्निहित त्रुटियां

Qt कई तृतीय-पक्ष पुस्तकालयों का उपयोग करता है। इन पुस्तकालयों में त्रुटियां भी हैं। यह पता चला है कि ये त्रुटियां Qt में भी हैं। मैंने उन्हें लेख में वर्णित नहीं किया, लेकिन मैंने फैसला किया कि मैं उनका उल्लेख कर सकता हूं।

मैंने तीसरे पक्ष के पुस्तकालयों को ध्यान से नहीं देखा, लेकिन कुछ लिखा: qt-3rdparty.txt ।

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

निष्कर्ष

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

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

यह लेख अंग्रेजी में है।

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

नीचे प्रश्न

क्या आपने लेख पढ़ा है और एक प्रश्न है?

अक्सर हमारे लेखों से वही प्रश्न पूछे जाते हैं। हमने यहां उनके उत्तर एकत्र किए हैं: पीवीएस-स्टूडियो और कैप्पकैट, संस्करण 2014 के बारे में लेखों के पाठकों के सवालों के जवाब । कृपया सूची देखें।

Qt 5 फ्रेमवर्क की जाँच