लगभग अच्छी गुणवत्ता के इलेक्ट्रॉनिक कला पुस्तकालय

हमारा ध्यान GitHub पर इलेक्ट्रॉनिक आर्ट्स रिपॉजिटरी के लिए आकर्षित किया गया था। यह बहुत छोटा है और तेईस परियोजनाओं में से हम केवल कुछ C ++ पुस्तकालयों में रुचि रखते थे: EASTL, EAStdC, EABase, EAThread, EATest, EAMain और EAAssert। प्रोजेक्ट भी बहुत छोटे थे (लगभग 10 फाइलें), इसलिए हमें केवल 20 फाइलों के "सबसे बड़े" में त्रुटियां मिलीं: डी लेकिन हमें दिलचस्प भी मिला! जब लेख लिखा जा रहा था, मेरे सहयोगियों और मैंने भी ईए के खेल और इसकी रणनीति पर जोरदार चर्चा की: डी

परिचय

इलेक्ट्रॉनिक आर्ट्स (EA) एक अमेरिकी कंपनी है जो वीडियो गेम वितरित करती है। GitHub वेबसाइट पर, उसके पास एक छोटी रिपॉजिटरी और कई C ++ प्रोजेक्ट्स हैं। ये C ++ लाइब्रेरी हैं: EASTL, EAStdC, EABase, EAThread, EATest, EAMain और EAAssert। वे बहुत छोटे हैं और हमने पीवीएस-स्टूडियो विश्लेषक का उपयोग करके उनमें से केवल "सबसे बड़ी" - ईएएसटीडीसी (20 फाइलें) का उपयोग करके दिलचस्प त्रुटियां पाईं । ऐसे संस्करणों के साथ, एक पूरे के रूप में कोड की गुणवत्ता के बारे में बात करना मुश्किल है । बस 5 चेतावनियों का मूल्यांकन करें और अपने लिए निर्णय लें।

चेतावनी १

V524 यह अजीब है कि '>>' फ़ंक्शन का शरीर '<<' फ़ंक्शन के शरीर के पूरी तरह से समकक्ष है। EAFixedPoint.h 287

template <class T, int upShiftInt, int downShiftInt, int upMulInt, int downDivInt> struct FPTemplate { .... FPTemplate operator<<(int numBits) const { return value << numBits; } FPTemplate operator>>(int numBits) const { return value << numBits; } FPTemplate& operator<<=(int numBits) { value <<= numBits; return *this;} FPTemplate& operator>>=(int numBits) { value >>= numBits; return *this;} .... } 

जब शिफ्ट ऑपरेटरों को ओवरलोडिंग करते हैं, तो प्रोग्रामर ने उनमें से एक में एक टाइपो बनाया, ऑपरेटरों को भ्रमित करते हुए << और >>। सबसे अधिक संभावना है, यह कॉपी-पेस्ट-प्रोग्रामिंग का परिणाम है।

चेतावनी २

V557 ऐरे ओवररन संभव है। 'NFormatLength' सूचकांक का मूल्य 16 तक पहुंच सकता है। EASprintfOrdered.cpp 246

 static const int kSpanFormatCapacity = 16; struct Span8 { .... char mFormat[kSpanFormatCapacity]; .... }; static int OVprintfCore(....) { .... EA_ASSERT(nFormatLength < kSpanFormatCapacity); if(nFormatLength < kSpanFormatCapacity) spans[spanIndex].mFormat[nFormatLength++] = *p; // <= else return -1; switch(*p) { case 'b': case 'd': case 'i': case 'u': case 'o': case 'x': case 'X': case 'g': case 'G': case 'e': case 'E': case 'f': case 'F': case 'a': case 'A': case 'p': case 'c': case 'C': case 's': case 'S': case 'n': { // Finalize the current span. spans[spanIndex].mpEnd = p + 1; spans[spanIndex].mFormat[nFormatLength] = 0; // <= spans[spanIndex].mFormatChar = *p; if(++spanIndex == kSpanCapacity) break; .... } 

स्पैन [स्पैनइंडेक्स] .mFormat सरणी में 16 तत्व होते हैं, अर्थात अंतिम वैध वस्तु का सूचकांक 15 है । अब OVprintfCore फ़ंक्शन कोड को लिखा जाता है ताकि nFormatLength सूचकांक में अधिकतम संभव सूचकांक - 15 हो , तो 16 तक की वृद्धि होगी। स्विच स्टेटमेंट में आगे , सरणी की सीमा से परे जाना संभव है।

यह कोड टुकड़ा 2 और स्थानों पर कॉपी किया गया था:

• V557 ऐरे ओवररन संभव है। 'NFormatLength' सूचकांक का मूल्य 16 तक पहुंच सकता है। EASprintfOrdered.cpp 614
• V557 ऐरे ओवररन संभव है। 'NFormatLength' सूचकांक का मूल्य 16 तक पहुंच सकता है। EASprintfOrdered.cpp 977

चेतावनी ३

V560 सशर्त अभिव्यक्ति का एक हिस्सा हमेशा सच होता है: (परिणाम> = 0)। EASprintfOrdered.cpp 489

 static int OVprintfCore(....) { .... for(result = 1; (result >= 0) && (p < pEnd); ++p) { if(pWriteFunction8(p, 1, pWriteFunctionContext8, kWFSIntermediate) < 0) return -1; nWriteCountSum += result; } .... } 

स्थिति परिणाम> = 0 हमेशा सही होता है, क्योंकि परिणाम चर लूप में कहीं भी नहीं बदलता है। कोड बहुत संदेहास्पद लगता है और सबसे अधिक संभावना है कि इस कोड में कोई त्रुटि है।

यह कोड टुकड़ा 2 और स्थानों पर कॉपी किया गया था:

• V560 सशर्त अभिव्यक्ति का एक हिस्सा हमेशा सच होता है: (परिणाम> = 0)। EASprintfOrdered.cpp 852
• V560 सशर्त अभिव्यक्ति का एक हिस्सा हमेशा सच होता है: (परिणाम> = 0)। EASprintfOrdered.cpp 1215

चेतावनी ४

V1009 सरणी आरंभीकरण की जाँच करें। केवल पहला तत्व स्पष्ट रूप से आरंभिक है। बाकी तत्वों को शून्य से आरंभ किया जाता है। EASprintfOrdered.cpp 151

 static int OVprintfCore(....) { .... int spanArgOrder[kArgCapacity] = { -1 }; .... } 

यह एक गलती नहीं हो सकती है, लेकिन डेवलपर्स को चेतावनी दी जानी चाहिए कि केवल स्पैनऑग्रडर सरणी का पहला तत्व -1 के मान से आरम्भ किया गया है, और अन्य सभी का मान 0 होगा।

यह कोड टुकड़ा 2 और स्थानों पर कॉपी किया गया था:

• V1009 सरणी आरंभीकरण की जाँच करें। केवल पहला तत्व स्पष्ट रूप से आरंभिक है। बाकी तत्वों को शून्य से आरंभ किया जाता है। EASprintfOrdered.cpp 518
• V1009 सरणी आरंभीकरण की जाँच करें। केवल पहला तत्व स्पष्ट रूप से आरंभिक है। बाकी तत्वों को शून्य से आरंभ किया जाता है। EASprintfOrdered.cpp 881

चेतावनी ५

V728 एक अत्यधिक जाँच को सरल बनाया जा सकता है। द '(A &&! B) || (ए! और बी) 'अभिव्यक्ति' बूल (ए)! = बूल (बी) 'अभिव्यक्ति के बराबर है। int128.h 1242

 inline void int128_t::Modulus(....) const { .... bool bDividendNegative = false; bool bDivisorNegative = false; .... if( (bDividendNegative && !bDivisorNegative) || (!bDividendNegative && bDivisorNegative)) { quotient.Negate(); } .... } 

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

 if( bDividendNegative != bDivisorNegative) { quotient.Negate(); } 

कोड बहुत कम हो गया है, जिसने सशर्त अभिव्यक्ति के तर्क की समझ को बहुत सरल कर दिया है।

निष्कर्ष

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

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

यदि आप इस लेख को अंग्रेजी बोलने वाले दर्शकों के साथ साझा करना चाहते हैं, तो कृपया अनुवाद के लिंक का उपयोग करें: Svyatoslav Razmyslov। इलेक्ट्रॉनिक आर्ट्स द्वारा लगभग परफेक्ट लाइब्रेरी ।