बाय-प्रोडक्ट: हम PVS-Studio का उपयोग करके CryEngine 3 SDK की जांच करते हैं

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

क्रायंगेन 3 एसडीके

CryEngine 3 SDK - CryEngine 3 गेम इंजन पर कंप्यूटर गेम विकसित करने के लिए सॉफ्टवेयर टूल्स का एक सेट। CryEngine 3 SDK, CryEngine 3 की तरह, जर्मन कंपनी क्रायटेक द्वारा विकसित और समर्थित था। CryEngine 3 एसडीके एक विकास उपकरण को डाउनलोड करने, स्थापित करने और उपयोग करने के लिए एक मालिकाना फ्रीवेयर है जिसके साथ कोई भी कंप्यूटर गेम विकसित कर सकता है और उन्हें मुफ्त में वितरित कर सकता है। CryEngine 3 SDK पर विकसित खेलों के वाणिज्यिक वितरण (बिक्री) के लिए, आपको Crytek को रॉयल्टी बनानी होगी।

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

आइए देखें कि पीवीएस-स्टूडियो विश्लेषक का उपयोग करके इस लाइब्रेरी में क्या दिलचस्प पाया जा सकता है।

यदि आप स्तर 3 अलर्ट सक्षम करते हैं, तो पीवीएस-स्टूडियो थोड़ा अधिक पाता है। हालाँकि, मैं इसे गंभीर दोष नहीं कह सकता। एक उदाहरण:

static void GetNameForFile( const char* baseFileName, const uint32 fileIdx, char outputName[512] ) { assert(baseFileName != NULL); sprintf( outputName, "%s_%d", baseFileName, fileIdx ); } 

V576 गलत प्रारूप। 'स्प्रिंटफ' फ़ंक्शन के चौथे वास्तविक तर्क की जाँच करने पर विचार करें। हस्ताक्षर पूर्णांक प्रकार तर्क अपेक्षित है। igame.h 66

औपचारिक रूप से, अहस्ताक्षरित चर 'fileIdx' को प्रिंट करने के लिए आपको "% u" का उपयोग करना होगा। हालांकि, यह संदिग्ध है कि यह चर INT_MAX से अधिक मूल्य तक पहुंच जाएगा। तो वास्तव में, त्रुटि स्वयं प्रकट नहीं होगी।

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

लघु परिणाम - आपको स्थिर कोड विश्लेषक का उपयोग करने की आवश्यकता है। और फिर कार्यक्रम में कम त्रुटियां होंगी और मैं किसी भी चीज के बारे में लेख नहीं लिखूंगा।

डबल चेक

 void CVehicleMovementArcadeWheeled::InternalPhysicsTick(float dt) { .... if (fabsf(m_movementAction.rotateYaw)>0.05f || vel.GetLengthSquared()>0.001f || m_chassis.vel.GetLengthSquared()>0.001f || angVel.GetLengthSquared()>0.001f || angVel.GetLengthSquared()>0.001f) .... } 

V501 समान उप-अभिव्यक्तियाँ हैं 'angVel.GetLengthSquared ()> 0.001f' बाईं और दाईं ओर '' || ऑपरेटर। vehiclemovementarcadewheeled.cpp 3300

चेक "angVel.GetLengthSquared ()> 0.001f" दो बार किया जाता है। एक चेक अनावश्यक है। या यह एक टाइपो है, जिसके लिए एक अलग मूल्य की जांच नहीं की जाती है।

विभिन्न परिस्थितियों में एक ही कार्रवाई

टुकड़े टुकड़े करना N १।

 void CVicinityDependentObjectMover::HandleEvent(....) { .... else if ( strcmp(szEventName, "ForceToTargetPos") == 0 ) { SetState(eObjectRangeMoverState_MovingTo); SetState(eObjectRangeMoverState_Moved); ActivateOutputPortBool( "OnForceToTargetPos" ); } else if ( strcmp(szEventName, "ForceToTargetPos") == 0 ) { SetState(eObjectRangeMoverState_MovingTo); SetState(eObjectRangeMoverState_Moved); ActivateOutputPortBool( "OnForceToTargetPos" ); } .... } 

V517 'if (A) {...} का उपयोग if (A) {...}' पैटर्न का पता चला। तार्किक त्रुटि उपस्थिति की संभावना है। चेक लाइनें: 255, 261. vicinitydependentobjectmover.cpp 255

यह मुझे लगता है कि यह कोड कॉपी-पेस्ट का उपयोग करके लिखा गया है। और मुझे यह भी लगता है कि नकल करने के बाद, वे इस कोड में कुछ तय करना भूल गए।

टुकड़ा करना N2। बहुत ही अजीब तरीके से, ShouldGiveLocalPlayerHitableFeedbackOnCrosshairHoverForEntityClass () फ़ंक्शन कार्यान्वित किया जाता है। यह मैं NAME को समझता हूँ!

 bool CGameRules:: ShouldGiveLocalPlayerHitableFeedbackOnCrosshairHoverForEntityClass (const IEntityClass* pEntityClass) const { assert(pEntityClass != NULL); if(gEnv->bMultiplayer) { return (pEntityClass == s_pSmartMineClass) || (pEntityClass == s_pTurretClass) || (pEntityClass == s_pC4Explosive); } else { return (pEntityClass == s_pSmartMineClass) || (pEntityClass == s_pTurretClass) || (pEntityClass == s_pC4Explosive); } } 

V523 'तत्कालीन' कथन 'और' कथन के बराबर है। गेमरुल्स.कॉप 5401

ऐसी ही बेहद संदिग्ध जगहें:

• पर्यावरणविदों। ९ ६६४
• persistantstats.cpp 610
• persistantstats.cpp 714
• रिकॉर्डिंगसिस्टम। 89 8924
• movementtransitions.cpp 610
• गेमरुल्सकॉम्बिकैप्टुरोबिजिव। सीपी 1692
• व्हीकलमोवमेंटहेलिकॉप्टर। सीपी 588

Uninitialized सरणी सेल

 TDestructionEventId destructionEvents[2]; SDestructibleBodyPart() : hashId(0) , healthRatio(0.0f) , minHealthToDestroyOnDeathRatio(0.0f) { destructionEvents[0] = -1; destructionEvents[0] = -1; } 

V519 'विनाश Events [0]' चर को क्रमिक रूप से दो बार मान दिया गया है। शायद यह एक गलती है। जाँच लाइनें: 75, 76. bodydestruction.h 76

एरे 'विनाशEvents' में दो तत्व होते हैं। कंस्ट्रक्टर में, वे सरणी को इनिशियलाइज़ करना चाहते थे। लेकिन यह काम नहीं किया।

ब्रैकेट को गलत जगह पर रखें

 bool ShouldRecordEvent(size_t eventID, IActor* pActor=NULL) const; void CActorTelemetry::SubscribeToWeapon(EntityId weaponId) { .... else if(pMgr->ShouldRecordEvent(eSE_Weapon), pOwnerRaw) .... } 

V639 'ShouldRecordEvent' फ़ंक्शन कॉल के लिए अभिव्यक्ति का निरीक्षण करने पर विचार करें। यह संभव है कि समापन ') में से एक कोष्ठक गलत तरीके से तैनात किया गया था। actortelemetry.cpp 288

एक दुर्लभ और दिलचस्प गलती। समापन ब्रैकेट वहां नहीं लगाया गया है।

तथ्य यह है कि ShouldRecordEvent () फ़ंक्शन का दूसरा तर्क वैकल्पिक है। यह पता चला है कि शुरुआत में ShouldRecordEvent () फ़ंक्शन को कहा जाता है। फिर, अल्पविराम ऑपरेटर ',' दाईं ओर खड़ा मान लौटाता है। स्थिति केवल चर 'pOwnerRaw' पर निर्भर करती है।

सामान्य तौर पर, नरक क्या हुआ।

फंक्शन का नाम लिखना भूल गए

 virtual void ProcessEvent(....) { .... string pMessage = ("%s:", currentSeat->GetSeatName()); .... } 

V521 ',' ऑपरेटर के प्रयोग से ऐसे भाव खतरनाक हैं। सुनिश्चित करें कि अभिव्यक्ति ""% s: ", currentSeat-> GetSeatName ()) सही है। flowvehiclenodes.cpp 662

इस अभिव्यक्ति में, pMessage currentSeat-> GetSeatName () पर सेट है। कोई स्वरूपण नहीं होता है। नतीजतन, बृहदान्त्र ':' लाइन में गायब हो जाएगा। हालांकि एक तिपहिया, लेकिन एक गलती।

यह होना चाहिए था:

 string pMessage = string().Format("%s:", currentSeat->GetSeatName()); 

अर्थहीन और निर्दयी जाँच

टुकड़े टुकड़े करना N १।

 inline bool operator != (const SEfResTexture &m) const { if (stricmp(m_Name.c_str(), m_Name.c_str()) != 0 || m_TexFlags != m.m_TexFlags || m_bUTile != m.m_bUTile || m_bVTile != m.m_bVTile || m_Filter != m.m_Filter || m_Ext != m.m_Ext || m_Sampler != m.m_Sampler) return true; return false; } 

V549 'स्ट्रिकम्प' फ़ंक्शन का पहला तर्क दूसरे तर्क के बराबर है। ishader.h 2089

यदि आपने त्रुटि नहीं देखी, तो मैं सुझाव देता हूं। स्ट्रिंग m_Name.c_str () की तुलना खुद से की जाती है। यह लिखा जाना चाहिए:

 stricmp(m_Name.c_str(), m.m_Name.c_str()) 

टुकड़ा करना N2। अब एक तार्किक त्रुटि:

 SearchSpotStatus GetStatus() const { return m_status; } SearchSpot* SearchGroup::FindBestSearchSpot(....) { .... if(searchSpot.GetStatus() != Unreachable || searchSpot.GetStatus() != BeingSearchedRightAboutNow) .... } 

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

इस कोड में सत्यापन का कोई मतलब नहीं है। मैं एक सादृश्य दूंगा:

 if (A != 1 || A != 2) 

हालत हमेशा संतुष्ट है।

टुकड़ा करना N3।

 const CCircularBufferTimeline * CCircularBufferStatsContainer::GetTimeline( size_t inTimelineId) const { .... if (inTimelineId >= 0 && (int)inTimelineId < m_numTimelines) { tl = &m_timelines[inTimelineId]; } else { CryWarning(VALIDATOR_MODULE_GAME,VALIDATOR_ERROR, "Statistics event %" PRISIZE_T " is larger than the max registered of %" PRISIZE_T ", event ignored", inTimelineId,m_numTimelines); } .... } 

V547 अभिव्यक्ति 'inTimelineId> = 0' हमेशा सत्य होता है। अहस्ताक्षरित प्रकार का मान हमेशा> = 0. गोलाकार होता है। सीपीसी 31

टुकड़ा करना N4।

 inline typename CryStringT<T>::size_type CryStringT<T>::rfind( value_type ch,size_type pos ) const { const_str str; if (pos == npos) { .... } else { if (pos == npos) pos = length(); .... } 

V571 आवर्ती जाँच। 'If (pos == npos)' स्थिति पहले से ही लाइन 1447 में सत्यापित थी। क्रिस्टलिंग। 1453

असाइनमेंट "pos = length ()" को कभी भी निष्पादित नहीं किया जाएगा।

समान कोड यहाँ: cryfixedstring.h 1297

संकेत

प्रोग्रामर पॉइंटर को शून्य की समानता के लिए जाँचने के बहुत शौकीन हैं। अब, अगर उन्हें अभी भी पता है कि वे कितनी बार गलत करते हैं। बहुत देर हो चुकी है जब जाँच करें।

मैं आपको एक उदाहरण दूंगा, बाकी को मैं एक सूची के साथ सूचीबद्ध करूंगा।

 IScriptTable *p; bool Create( IScriptSystem *pSS, bool bCreateEmpty=false ) { if (p) p->Release(); p = pSS->CreateTable(bCreateEmpty); p->AddRef(); return (p)?true:false; } 

N5ptr के खिलाफ सत्यापित होने से पहले V595 'पी' पॉइंटर का उपयोग किया गया था। चेक लाइनें: 325, 326. स्क्रिप्टेलपर्स। 325

35 पदों की संशोधित सूची: CryEngineSDK-595.txt

अपरिभाषित व्यवहार

 void AddSample( T x ) { m_index = ++m_index % N; .... } 

V567 अपरिभाषित व्यवहार। अनुक्रम बिंदुओं के बीच दो बार उपयोग किए जाने के दौरान 'm_index' चर को संशोधित किया जाता है। in Network.h 2303

“एक बार मैं साइकिल चला लूं

 void CWeapon::AccessoriesChanged(bool initialLoadoutSetup) { .... for (int i = 0; i < numZoommodes; i++) { CIronSight* pZoomMode = .... const SZoomModeParams* pCurrentParams = .... const SZoomModeParams* pNewParams = .... if(pNewParams != pCurrentParams) { pZoomMode->ResetSharedParams(pNewParams); } break; } .... } 

V612 लूप के भीतर बिना शर्त 'ब्रेक'। हथियार

लूप का शरीर केवल एक बार निष्पादित करेगा। कारण बिना शर्त ond विराम ’कथन है। इसी समय, लूप में कोई 'जारी' बयान नहीं हैं।

इन संदिग्ध चक्रों में से कई और हैं :

• gunturret.cpp 1647
• vehiclemovementbase.cpp 2362
• vehiclemovementbase.cpp 2382

अजीब असाइनमेंट

टुकड़े टुकड़े करना N १।

 void CPlayerStateGround::OnPrePhysicsUpdate(....) { .... modifiedSlopeNormal.z = modifiedSlopeNormal.z; .... } 

V570 'संशोधित SlopeNormal.z ' चर खुद को सौंपा गया है। playerstateground.cpp 227

टुकड़ा करना N2।

 const SRWIParams& Init(....) { .... objtypes=ent_all; flags=rwi_stop_at_pierceable; org=_org; dir=_dir; objtypes=_objtypes; .... } 

V519 'objtypes' चर को क्रमिक रूप से दो बार मान दिया गया है। शायद यह एक गलती है। जाँच रेखाएँ: 2807, 2808. Physinterface.h 2808

वर्ग सदस्य 'objtypes' को दो बार एक मान दिया जाता है।

टुकड़ा करना N3।

 void SPickAndThrowParams::SThrowParams::SetDefaultValues() { .... maxChargedThrowSpeed = 20.0f; maxChargedThrowSpeed = 15.0f; } 

V519 'maxChargedThrowSpeed' चर को क्रमिक रूप से दो बार मान दिया गया है। शायद यह एक गलती है। चेक लाइनें: 1284, 1285

और इन असामान्य कार्य के कुछ और :

• 'BExecuteCommandLine' चर। जाँच लाइनें: 628, 630. isystem.h 630
• 'झंडे' चर। जाँच रेखाएँ: 2807, 2808. Physinterface.h 2808
• 'एंटाइटेप्स' चर। चेक लाइनें: 2854, 2856। Physinterface.h 2856
• 'GeomFlagsAny' चर। चेक लाइनें: 2854, 2857। Physinterface.h 2857
• 'M_pLayerEffectParams' चर। चेक लाइनें: 762, 771. ishader.h 771

आपको इकाई नामों से सावधान रहने की आवश्यकता है।

 void CGamePhysicsSettings::Debug(....) const { .... sprintf_s(buf, bufLen, pEntity->GetName()); .... } 

V618 'स्प्रिंटफ़्स' फ़ंक्शन को इस तरह से कॉल करना खतरनाक है, क्योंकि जो लाइन पास की जा रही है, उसमें प्रारूप विनिर्देश हो सकते हैं। सुरक्षित कोड का उदाहरण: प्रिंटफ ("% s", str); gamephysicssettings.cpp 174

शायद यह गलती नहीं है, लेकिन एक खतरनाक कोड है। यदि अचानक प्रतीक '%' इकाई के नाम से प्रकट होता है, तो परिणाम बहुत अप्रत्याशित हो सकते हैं।

अकेला भटकने वाला

 CPersistantStats::SEnemyTeamMemberInfo *CPersistantStats::GetEnemyTeamMemberInfo(EntityId inEntityId) { .... insertResult.first->second.m_entityId; .... } 

V607 मालिकाना अभिव्यक्ति 'InsertResult.first-> second.m_entityId'। persistantstats.cpp 4814

एक अकेली अभिव्यक्ति जो कुछ भी नहीं करती है। त्रुटि? अधूरा कोड?

कोड में एक और स्थान: रिकॉर्डिंगसिस्टम .pp 2671

नया संचालक

 bool CreateWriteBuffer(uint32 bufferSize) { FreeWriteBuffer(); m_pWriteBuffer = new uint8[bufferSize]; if (m_pWriteBuffer) { m_bufferSize = bufferSize; m_bufferPos = 0; m_allocated = true; return true; } return false; } 

V668 नल के खिलाफ 'm_pWriteBuffer' पॉइंटर के परीक्षण में कोई समझदारी नहीं है, क्योंकि स्मृति को 'नए' ऑपरेटर का उपयोग करके आवंटित किया गया था। मेमोरी आवंटन त्रुटि के मामले में अपवाद उत्पन्न होगा। crylobbypacket.h 88

कोड पुराना है। स्मृति आबंटन त्रुटि के साथ, 'नया' ऑपरेटर अपवाद छोड़ देता है।

अन्य स्थानों पर रिफैक्टरिंग का इंतजार :

• cry_math.h 73
• datapatchdownloader.cpp 106
• datapatchdownloader.cpp 338
• game.cpp 1671
• game.cpp 4478
• persistantstats.cpp 1235
• दृश्यब्लागमेइफ़ेक्ट। cpp 366
• Killcamgameeffect.cpp 369
• downloadmgr.cpp 1090
• downloadmgr.cpp 1467
• matchmakingtelemetry.cpp 69
• मैचमेकिंगलेमेट्री.कप 132
• मैचमेकिंगलेमेट्री.कैप 109
• telemetrycollector.cpp 1407
• telemetrycollector.cpp 1470
• telemetrycollector.cpp 1467
• telemetrycollector.cpp 1479
• आँकड़ो की रिकॉर्डिंग
• आँकड़ेक्रीडिंगमग्र्प। 1144
• 76767 पर
• आँकड़ो की रिकॉर्डिंग 12gr। 1261
• featuretester.cpp 876
• menurender3dmodelmgr.cpp 1373

निष्कर्ष

मेरा कोई विशेष निष्कर्ष नहीं है। लेकिन मैं कल्पना कर सकता हूं कि क्राइंगस्टाइन 3 एसडीके में न केवल कितनी दिलचस्प चीजें मिल सकती हैं, बल्कि क्राइंगजाइन 3 इंजन में ही।

मैं आप सभी को एक कोडलेस कोड देना चाहता हूं!

पुनश्च

कोई लगातार विदेशियों के लिए एक रूसी लेख का लिंक भेजता है। यहाँ अनुवाद है: एक स्पिन-ऑफ: क्रायसाइन 3 एसडीके पीवीएस-स्टूडियो के साथ जांचा गया ।