NCBI जीनोम कार्यक्षेत्र: लुप्तप्राय अनुसंधान

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

परिचय

NCBI जीनोम कार्यक्षेत्र अनुसंधान और आनुवंशिक डेटा का विश्लेषण करने के लिए शोधकर्ताओं को कई प्रकार के उपकरण प्रदान करता है। उपयोगकर्ता NCBI (नेशनल सेंटर फॉर बायोटेक्नोलॉजी इन्फॉर्मेशन) डेटाबेस या अपने स्वयं के व्यक्तिगत डेटा सहित कई स्रोतों से डेटा की शोध और तुलना कर सकते हैं।

जैसा कि पहले उल्लेख किया गया है, वैज्ञानिक सॉफ्टवेयर आमतौर पर इकाई परीक्षणों द्वारा अच्छी तरह से कवर किया जाता है। इस परियोजना की जाँच करते समय, परीक्षण फ़ाइलों वाली 85 निर्देशिकाओं को विश्लेषण से बाहर रखा गया था। यह लगभग एक हजार फाइलें हैं। यह संभवतः विभिन्न जटिल एल्गोरिदम के परीक्षण की आवश्यकताओं के कारण है जो विभिन्न अध्ययनों के लिए आविष्कार किए गए हैं। लेकिन बाकी कोड (टेस्ट एक नहीं) की गुणवत्ता इतने उच्च स्तर पर नहीं है जितनी हम चाहेंगे। हालाँकि, किसी भी परियोजना के रूप में जिसमें उन्होंने अभी तक स्थैतिक कोड विश्लेषण उपकरण शुरू करने का ध्यान नहीं रखा है :)।

कोड की समीक्षा (या यहां तक ​​कि अनुसंधान) के लिए डेटा C / C ++ / C # / Java - PVS-Studio के लिए स्थिर कोड विश्लेषक द्वारा प्रदान किया गया था।

सिर्फ दो नंबर जो आपके प्रोजेक्ट को बर्बाद करते हैं

त्रुटियों के हमारे डेटाबेस के आधार पर, जो वर्तमान में 12 हजार से अधिक चयनित उदाहरणों पर निर्भर करता है, हम कोड लिखने के लिए विशिष्ट पैटर्न को नोटिस करते हैं और बताते हैं जो कई त्रुटियों को जन्म देता है। उदाहरण के लिए, हमने निम्नलिखित अध्ययन किए:

1. अंतिम पंक्ति का प्रभाव ;
2. C / C ++ की दुनिया में सबसे खतरनाक कार्य ;
3. C / C ++ में तार्किक भाव। पेशेवर कितने गलत हैं ;
4. बुराई तुलना कार्यों में रहती है ।

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

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

जीनोम कार्यक्षेत्र परियोजना से पहले उदाहरण पर विचार करें:

V501 समान उप-अभिव्यक्तियाँ हैं '(! Loc1.IsInt () और&! Loc1.IsWhole ())' बाईं ओर और दाईं ओर '|| ऑपरेटर। nw_aligner.cpp 480

CRef<CSeq_align> CNWAligner::Run(CScope &scope, const CSeq_loc &loc1, const CSeq_loc &loc2, bool trim_end_gaps) { if ((!loc1.IsInt() && !loc1.IsWhole()) || (!loc1.IsInt() && !loc1.IsWhole())) { NCBI_THROW(CException, eUnknown, "Only whole and interval locations supported"); } .... } 

हम loc1 और loc2 नाम के दो चर देखते हैं। और कोड में एक त्रुटि भी: loc2 चर का उपयोग नहीं किया जाता है, क्योंकि इसके बजाय loc1 का उपयोग एक बार फिर से किया जाता है।

एक और उदाहरण:

V560 सशर्त अभिव्यक्ति का एक हिस्सा हमेशा गलत होता है: s1.IsSet ()। valid_biosource.cpp 3073

 static bool s_PCRPrimerSetLess(const CPCRPrimerSet& s1, const CPCRPrimerSet& s2) { if (!s1.IsSet() && s1.IsSet()) { return true; } else if (s1.IsSet() && !s2.IsSet()) { return false; } else if (!s1.IsSet() && !s2.IsSet()) { return false; } else if (s1.Get().size() < s2.Get().size()) { return true; } else if (s1.Get().size() > s2.Get().size()) { return false; } else { ..... } 

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

अन्य टाइपो और कॉपी-पेस्ट

V501 बाईं और 'के दाईं ओर समान उप-अभिव्यक्तियाँ हैं! =' ऑपरेटर: bd.bit_.bits [i]! = Bd.bit_.bits [i] bm.h 296

 bool compare_state(const iterator_base& ib) const { .... if (this->block_type_ == 0 { if (bd.bit_.ptr != ib_db.bit_.ptr) return false; if (bd.bit_.idx != ib_db.bit_.idx) return false; if (bd.bit_.cnt != ib_db.bit_.cnt) return false; if (bd.bit_.pos != ib_db.bit_.pos) return false; for (unsigned i = 0; i < bd.bit_.cnt; ++i) { if (bd.bit_.bits[i] != bd.bit_.bits[i]) return false; } } .... } 

मेरा मानना ​​है कि सभी जाँचों के बाद, बिट्स सरणियों के आकार bd.bit_ और ib_db.bit_ ऑब्जेक्ट समान होते हैं। इसलिए, कोड के लेखक ने बिट्स ऐरे के मूल तत्व की तुलना के लिए एक चक्र लिखा था, लेकिन तुलना की गई वस्तुओं में से एक के नाम से एक टाइपो बनाया। नतीजतन, तुलना की गई वस्तुओं को गलती से कुछ स्थितियों में बराबर माना जा सकता है।

यह उदाहरण लेख के योग्य है " ईविल तुलना कार्यों में रहता है ।"

V501 समान उप-अभिव्यक्तियाँ हैं 'CFieldHandler :: QualifierNamesAreEquivalent (फ़ील्ड, kFieldTypeSeqId)' बाईं ओर और दाईं ओर '||' ऑपरेटर। field_handler.cpp 152

 bool CFieldHandlerFactory::s_IsSequenceIDField(const string& field) { if ( CFieldHandler::QualifierNamesAreEquivalent(field, kFieldTypeSeqId) || CFieldHandler::QualifierNamesAreEquivalent(field, kFieldTypeSeqId)) { return true; } else { return false; } } 

सबसे अधिक संभावना है, चेक में से एक शानदार है। मुझे kFieldTypeSeqId के समान कोड चर में नहीं मिला। फिर भी, "" "" ऑपरेटर के कारण एक अतिरिक्त फ़ंक्शन कॉल संभव है, जो प्रदर्शन को कम करता है।

विश्लेषक की चेतावनी के साथ एक ही प्रकार के स्थानों की एक जोड़ी, सत्यापन की आवश्यकता होती है:

• V501 समान उप-अभिव्यक्तियाँ हैं uf-> GetData ()। IsBool () 'बाईं ओर और' && 'ऑपरेटर के दाईं ओर। वेरिएशन_यूटिल्स। 1711
• V501 समान उप-अभिव्यक्तियाँ हैं uf-> GetData ()। IsBool () 'बाईं ओर और' && 'ऑपरेटर के दाईं ओर। वेरिएशन_टिल्स। 1735

V766 एक ही कुंजी 'kArgRemote' के साथ एक आइटम पहले ही जोड़ा जा चुका है। ब्लास्ट_गार्स.कप 3262

 void CBlastAppArgs::x_IssueWarningsForIgnoredOptions(const CArgs& args) { set<string> can_override; .... can_override.insert(kArgOutputFormat); can_override.insert(kArgNumDescriptions); can_override.insert(kArgNumAlignments); can_override.insert(kArgMaxTargetSequences); can_override.insert(kArgRemote); // <= can_override.insert(kArgNumThreads); can_override.insert(kArgInputSearchStrategy); can_override.insert(kArgRemote); // <= can_override.insert("remote_verbose"); can_override.insert("verbose"); .... } 

विश्लेषक ने सेट कंटेनर में 2 समान मूल्यों को जोड़ने का पता लगाया। याद रखें कि यह कंटेनर केवल अनन्य मान संग्रहीत करता है, इसलिए इसमें डुप्लिकेट नहीं जोड़े जाते हैं।

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

V523 'तत्कालीन' कथन बाद के कोड के टुकड़े के बराबर है। vcf_reader.cpp 1105

 bool CVcfReader::xAssignFeatureLocationSet(....) { .... if (data.m_SetType == CVcfData::ST_ALL_DEL) { if (data.m_strRef.size() == 1) { //deletion of a single base pFeat->SetLocation().SetPnt().SetPoint(data.m_iPos-1); pFeat->SetLocation().SetPnt().SetId(*pId); } else { pFeat->SetLocation().SetInt().SetFrom(data.m_iPos-1); //-1 for 0-based, //another -1 for inclusive end-point ( ie [], not [) ) pFeat->SetLocation().SetInt().SetTo( data.m_iPos -1 + data.m_strRef.length() - 1); pFeat->SetLocation().SetInt().SetId(*pId); } return true; } //default: For MNV's we will use the single starting point //NB: For references of size >=2, this location will not //match the reference allele. Future Variation-ref //normalization code will address these issues, //and obviate the need for this code altogether. if (data.m_strRef.size() == 1) { //deletion of a single base pFeat->SetLocation().SetPnt().SetPoint(data.m_iPos-1); pFeat->SetLocation().SetPnt().SetId(*pId); } else { pFeat->SetLocation().SetInt().SetFrom(data.m_iPos-1); pFeat->SetLocation().SetInt().SetTo( data.m_iPos -1 + data.m_strRef.length() - 1); pFeat->SetLocation().SetInt().SetId(*pId); } return true; } 

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

इस तरह के बयान के साथ संदिग्ध स्थानों की पूरी सूची इस प्रकार है:

• V523 'तत्कालीन' कथन 'और' कथन के बराबर है। blk.c 2142
• V523 'तत्कालीन' कथन बाद के कोड के टुकड़े के बराबर है। odbc.c 379
• V523 'तत्कालीन' कथन बाद के कोड के टुकड़े के बराबर है। odbc.c 1414
• V523 'तत्कालीन' कथन 'और' कथन के बराबर है। seqdbvol.cpp 1922
• V523 'तत्कालीन' कथन 'और' कथन के बराबर है। seqdb_demo.cpp 466
• V523 'तत्कालीन' कथन बाद के कोड के टुकड़े के बराबर है। ब्लास्ट_मेंग। 1917
• V523 'तत्कालीन' कथन 'और' कथन के बराबर है। ब्लास्ट_फिल्टर। 420
• V523 'तत्कालीन' कथन 'और' कथन के बराबर है। ब्लास्ट_परमेटर्ससी 636
• V523 'तत्कालीन' कथन 'और' कथन के बराबर है। unordered_spliter.cpp 684
• V523 'तत्कालीन' कथन 'और' कथन के बराबर है। bme.cpp 333
• V523 'तत्कालीन' कथन 'और' कथन के बराबर है। gme.cpp 484

/ * सुरक्षा के साथ सबसे अच्छा पांडित्य है * /

V597 कंपाइलर 'मेमसेट' फंक्शन कॉल को डिलीट कर सकता है, जो 'passwd_buf' बफर को फ्लश करने के लिए उपयोग किया जाता है। निजी डेटा को मिटाने के लिए memset_s () फ़ंक्शन का उपयोग किया जाना चाहिए। चुनौती। ४६६

 /** * Crypt a given password using schema required for NTLMv1 authentication * @param passwd clear text domain password * @param challenge challenge data given by server * @param flags NTLM flags from server side * @param answer buffer where to store crypted password */ void tds_answer_challenge(....) { #define MAX_PW_SZ 14 .... if (ntlm_v == 1) { .... /* with security is best be pedantic */ memset(hash, 0, sizeof(hash)); memset(passwd_buf, 0, sizeof(passwd_buf)); memset(ntlm2_challenge, 0, sizeof(ntlm2_challenge)); } else { .... } } 

जैसा कि आप शायद पहले से ही अनुमान लगा चुके हैं, कोड से सुरक्षा के बारे में एक अजीब टिप्पणी अनुभाग शीर्षक में उपयोग की गई थी।

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

V597 संकलक 'मेमसेट' फ़ंक्शन कॉल को हटा सकता है, जिसका उपयोग 'उत्तर' ऑब्जेक्ट को फ्लश करने के लिए किया जाता है। निजी डेटा को मिटाने के लिए memset_s () फ़ंक्शन का उपयोग किया जाना चाहिए। चुनौती। ५६१

 static TDSRET tds7_send_auth(....) { .... /* for security reason clear structure */ memset(&answer, 0, sizeof(TDSANSWER)); return tds_flush_packet(tds); } 

"सुरक्षा" के बारे में टिप्पणियों के साथ यह एकमात्र उदाहरण नहीं था। टिप्पणियों को देखते हुए, यह माना जा सकता है कि परियोजना के लिए सुरक्षा वास्तव में महत्वपूर्ण है। इसलिए, मैं पहचानी गई समस्याओं की पूरी गैर-छोटी सूची को संलग्न कर रहा हूं:

• V597 संकलक 'मेमसेट' फ़ंक्शन कॉल को हटा सकता है, जिसका उपयोग 'हीप' ऑब्जेक्ट को फ्लश करने के लिए किया जाता है। निजी डेटा को मिटाने के लिए memset_s () फ़ंक्शन का उपयोग किया जाना चाहिए। ncbi_heapmgr.c 1300
• V597 संकलक 'मेमसेट' फ़ंक्शन कॉल को हटा सकता है, जिसका उपयोग 'संदर्भ' ऑब्जेक्ट को फ्लश करने के लिए किया जाता है। निजी डेटा को मिटाने के लिए memset_s () फ़ंक्शन का उपयोग किया जाना चाहिए। चुनौती। १६ challenge
• V597 संकलक 'मेमसेट' फ़ंक्शन कॉल को हटा सकता है, जिसका उपयोग 'ks' ऑब्जेक्ट को फ्लश करने के लिए किया जाता है। निजी डेटा को मिटाने के लिए memset_s () फ़ंक्शन का उपयोग किया जाना चाहिए। चुनौती 33३३ ९
• V597 संकलक 'मेमसेट' फ़ंक्शन कॉल को हटा सकता है, जिसका उपयोग 'md5_ctx' ऑब्जेक्ट को फ्लश करने के लिए किया जाता है। निजी डेटा को मिटाने के लिए memset_s () फ़ंक्शन का उपयोग किया जाना चाहिए। चुनौती सी। सी। ३५३
• V597 संकलक 'मेमसेट' फ़ंक्शन कॉल को हटा सकता है, जिसका उपयोग 'हैश' बफर को फ्लश करने के लिए किया जाता है। निजी डेटा को मिटाने के लिए memset_s () फ़ंक्शन का उपयोग किया जाना चाहिए। चुनौती। 365
• V597 संकलक 'मेमसेट' फ़ंक्शन कॉल को हटा सकता है, जिसका उपयोग 'ks' ऑब्जेक्ट को फ्लश करने के लिए किया जाता है। निजी डेटा को मिटाने के लिए memset_s () फ़ंक्शन का उपयोग किया जाना चाहिए। चुनौती। ४०६
• V597 संकलक 'मेमसेट' फ़ंक्शन कॉल को हटा सकता है, जिसका उपयोग 'ntlm_v2_response' ऑब्जेक्ट को फ्लश करने के लिए किया जाता है। निजी डेटा को मिटाने के लिए memset_s () फ़ंक्शन का उपयोग किया जाना चाहिए। login.c 795
• V597 संकलक 'मेमसेट' फ़ंक्शन कॉल को हटा सकता है, जिसका उपयोग 'उत्तर' ऑब्जेक्ट को फ्लश करने के लिए किया जाता है। निजी डेटा को मिटाने के लिए memset_s () फ़ंक्शन का उपयोग किया जाना चाहिए। login.c 801
• V597 संकलक 'मेमसेट' फ़ंक्शन कॉल को हटा सकता है, जिसका उपयोग 'पैकेट' बफर को फ्लश करने के लिए किया जाता है। निजी डेटा को मिटाने के लिए memset_s () फ़ंक्शन का उपयोग किया जाना चाहिए। संख्यात्मक अंक 256
• V597 संकलक 'मेमसेट' फ़ंक्शन कॉल को हटा सकता है, जिसका उपयोग 'पैकेट' बफर को फ्लश करने के लिए किया जाता है। निजी डेटा को मिटाने के लिए memset_s () फ़ंक्शन का उपयोग किया जाना चाहिए। num.c। 110
• V597 संकलक 'मेमसेट' फ़ंक्शन कॉल को हटा सकता है, जिसका उपयोग 'pwd' बफर को फ्लश करने के लिए किया जाता है। निजी डेटा को मिटाने के लिए memset_s () फ़ंक्शन का उपयोग किया जाना चाहिए। getpassarg.c 50
• V597 संकलक 'मेमसेट' फ़ंक्शन कॉल को हटा सकता है, जिसका उपयोग 'संदर्भ' ऑब्जेक्ट को फ्लश करने के लिए किया जाता है। निजी डेटा को मिटाने के लिए memset_s () फ़ंक्शन का उपयोग किया जाना चाहिए। चुनौती 188१ challenge
• V597 संकलक 'मेमसेट' फ़ंक्शन कॉल को हटा सकता है, जिसका उपयोग 'buf' बफर को फ्लश करने के लिए किया जाता है। निजी डेटा को मिटाने के लिए memset_s () फ़ंक्शन का उपयोग किया जाना चाहिए। चुनौती। २४३
• V597 संकलक 'मेमसेट' फ़ंक्शन कॉल को हटा सकता है, जिसका उपयोग 'ntlm_v2_hash' बफर को फ्लश करने के लिए किया जाता है। निजी डेटा को मिटाने के लिए memset_s () फ़ंक्शन का उपयोग किया जाना चाहिए। चुनौती सी सी ३० ९
• V597 संकलक 'मेमसेट' फ़ंक्शन कॉल को हटा सकता है, जिसका उपयोग 'md5_ctx' ऑब्जेक्ट को फ्लश करने के लिए किया जाता है। निजी डेटा को मिटाने के लिए memset_s () फ़ंक्शन का उपयोग किया जाना चाहिए। चुनौती ४५४
• V597 कंपाइलर 'मेमसेट' फंक्शन कॉल को डिलीट कर सकता है, जो 'passwd_buf' बफर को फ्लश करने के लिए उपयोग किया जाता है। निजी डेटा को मिटाने के लिए memset_s () फ़ंक्शन का उपयोग किया जाना चाहिए। चुनौती। 380
• V597 संकलक 'मेमसेट' फ़ंक्शन कॉल को हटा सकता है, जिसका उपयोग 'ks' ऑब्जेक्ट को फ्लश करने के लिए किया जाता है। निजी डेटा को मिटाने के लिए memset_s () फ़ंक्शन का उपयोग किया जाना चाहिए। चुनौती सी। सी। ३ ९ ३
• V597 संकलक 'मेमसेट' फ़ंक्शन कॉल को हटा सकता है, जिसका उपयोग 'हैश' बफर को फ्लश करने के लिए किया जाता है। निजी डेटा को मिटाने के लिए memset_s () फ़ंक्शन का उपयोग किया जाना चाहिए। चुनौती ४४
• V597 संकलक 'मेमसेट' फ़ंक्शन कॉल को हटा सकता है, जिसका उपयोग 'ntlm2_challenge' बफर को फ्लश करने के लिए किया जाता है। निजी डेटा को मिटाने के लिए memset_s () फ़ंक्शन का उपयोग किया जाना चाहिए। चुनौती
• V597 संकलक 'मेमसेट' फ़ंक्शन कॉल को हटा सकता है, जिसका उपयोग 'ks' ऑब्जेक्ट को फ्लश करने के लिए किया जाता है। निजी डेटा को मिटाने के लिए memset_s () फ़ंक्शन का उपयोग किया जाना चाहिए। चुनौती। ४१ ९
• V597 संकलक 'मेमसेट' फ़ंक्शन कॉल को हटा सकता है, जिसका उपयोग 'ntlm_v2_response' ऑब्जेक्ट को फ्लश करने के लिए किया जाता है। निजी डेटा को मिटाने के लिए memset_s () फ़ंक्शन का उपयोग किया जाना चाहिए। चुनौती। ५५६

संदेहास्पद चक्र

V534 यह संभावना है कि 'के लिए' ऑपरेटर के अंदर एक गलत चर की तुलना की जा रही है। 'I' की समीक्षा करने पर विचार करें। taxFormat.cpp 569

 void CTaxFormat::x_LoadTaxTree(void) { .... for(size_t i = 0; i < alignTaxids.size(); i++) { int tax_id = alignTaxids[i]; .... for(size_t j = 0; i < taxInfo.seqInfoList.size(); j++) { SSeqInfo* seqInfo = taxInfo.seqInfoList[j]; seqInfo->taxid = newTaxid; } .... } .... } 

मुझे लगता है, आंतरिक लूप की स्थिति में, चर मुझे यादृच्छिक रूप से मिला। इसके बजाय, चर जे का उपयोग किया जाना चाहिए।

V535 चर 'i' का उपयोग इस लूप के लिए और बाहरी लूप के लिए किया जा रहा है। चेक लाइनें: 302, 309. sls_alp.cpp 309

 alp::~alp() { .... if(d_alp_states) { for(i=0;i<=d_nalp;i++) // <= { if(i<=d_alp_states->d_dim) { if(d_alp_states->d_elem[i]) { for(i=0;i<=d_nalp;i++) // <= { .... .... } 

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

ऐरे इंडेक्सिंग असामान्य

V520 अल्पविराम ऑपरेटर ',' एरे इंडेक्स एक्सप्रेशन में '[- i2, - k]'। nw_spliced_aligner16.cpp 564

 void CSplicedAligner16::x_DoBackTrace ( const Uint2* backtrace_matrix, CNWAligner::SAlignInOut* data, int i_global_max, int j_global_max) { .... while(intron_length < m_IntronMinSize || (Key & donor) == 0) { Key = backtrace_matrix[--i2, --k]; ++intron_length; data->m_transcript.push_back(eTS_Intron); } .... } 

मुझे तुरंत कहना होगा कि लगता है कि कोई त्रुटि नहीं है (अभी के लिए, योग्य)। निम्नलिखित पंक्ति पर विचार करें:

 Key = backtrace_matrix[--i2, --k]; 

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

इस मामले में, लेखक ने बस कोड की एक पंक्ति को बचाने का फैसला किया, हालांकि वह इस तरह लिख सकता था:

 --i2; Key = backtrace_matrix[--k]; 

V661 एक संदिग्ध अभिव्यक्ति 'ए [बी == सी]'। संभवतः 'ए [बी] == सी'। ncbi_service_connector.c 180

 static EHTTP_HeaderParse s_ParseHeader(const char* header, ....) { .... if (sscanf(header, "%u.%u.%u.%u%n", &i1, &i2, &i3, &i4, &n) < 4 || sscanf(header + n, "%hu%x%n", &uuu->port, &tkt, &m) < 2 || (header[m += n] && !(header[m] == '$') && !isspace((unsigned char)((header + m) [header[m] == '$'])))) { break/*failed - unreadable connection info*/; } .... } 

कोड का एक और उदाहरण जिसमें मैंने लंबे समय तक यह समझने की कोशिश की कि क्या चल रहा था: डी। Isspace () फ़ंक्शन इंडेक्स m के साथ वर्ण की जाँच करता है, लेकिन यदि यह वर्ण '$' है, तो इंडेक्स m + 1 वाले वर्ण फ़ंक्शन को पास कर दिया जाता है। इसके अलावा, '$' के साथ तुलना पहले से ही थी। शायद यहां कोई त्रुटि नहीं है, लेकिन कोड निश्चित रूप से अधिक स्पष्ट रूप से फिर से लिखा जा सकता है।

V557 ऐरे ओवररन संभव है। 'पंक्ति' सूचकांक सरणी बाउंड से परे इंगित कर रहा है। aln_reader.cpp 412

 bool CAlnReader::x_IsGap(TNumrow row, TSeqPos pos, const string& residue) { if (m_MiddleSections.size() == 0) { x_CalculateMiddleSections(); } if (row > m_MiddleSections.size()) { return false; } if (pos < m_MiddleSections[row].first) { .... } .... } 

यहाँ एक गंभीर गलती है। सही पंक्ति सूचकांक जाँच इस तरह होनी चाहिए:

 if (row >= m_MiddleSections.size()) { return false; } 

अन्यथा, मध्याह्न वेक्टर के बाहर डेटा का उपयोग करना संभव है।

ऐसे कई और स्थान:

• V557 ऐरे ओवररन संभव है। 'I' इंडेक्स सरणी बाउंड से परे इंगित कर रहा है। संसाधन_पुल.हैप 388
• V557 ऐरे ओवररन संभव है। 'पंक्ति' सूचकांक सरणी बाउंड से परे इंगित कर रहा है। aln_reader.cpp 418
• V557 ऐरे ओवररन संभव है। 'Fmt_idx' सूचकांक सरणी बाउंड से परे इंगित कर रहा है। seq_writer.cpp 384
• V557 ऐरे ओवररन संभव है। 'Fmt_idx' सूचकांक सरणी बाउंड से परे इंगित कर रहा है। blastdb_formatter.cpp 183
• V557 ऐरे ओवररन संभव है। 'संख्या' सूचकांक सरणी बाउंड से परे इंगित कर रहा है। newcleanupp.cpp 13035

कार्यों का अविश्वास कैसे अर्जित करें

V570 'm_onClickFunction' वेरिएबल खुद को सौंपा गया है। alngraphic.hpp 103

 void SetOnClickFunctionName(string onClickFunction) { m_onClickFunction = m_onClickFunction; } 

टिप्पणी करने के लिए भी कुछ नहीं है। आप केवल उस व्यक्ति के साथ सहानुभूति रख सकते हैं, जिसने किसी चीज़ पर क्लिक किया, क्लिक किया, लेकिन कुछ भी नहीं बदला।

चर के दो और मामले अपने आप में एक सूची में परिणाम होंगे:

• V570 'iter-> स्तर' चर खुद को सौंपा है। align_format_util.cpp 189
• V570 'd_elements_values ​​[ind]' चर खुद को सौंपा है। sls_alp_data.cpp 1416

V763 पैरामीटर 'w1' हमेशा उपयोग किए जाने से पहले फ़ंक्शन बॉडी में फिर से लिखा जाता है। bmfunc.h 5363

 /// Bit COUNT functor template<typename W> struct bit_COUNT { W operator()(W w1, W w2) { w1 = 0; BM_INCWORD_BITCOUNT(w1, w2); return w1; } }; 

एक फ़ंक्शन जिसमें फ़ंक्शन में प्रवेश करने पर तर्क को तुरंत भटका दिया जाता है, इसका उपयोग करने वाले डेवलपर्स को भ्रमित किया जा सकता है। कोड को डबल-चेक किया जाना चाहिए।

कक्षा डिजाइन त्रुटियां

V688 'm_qsrc' फ़ंक्शन तर्क में क्लास सदस्यों में से एक के समान नाम होता है, जिसके परिणामस्वरूप भ्रम हो सकता है। compart_matching.cpp 873

 class CElementaryMatching: public CObject { .... ISequenceSource * m_qsrc; .... void x_CreateIndex (ISequenceSource *m_qsrc, EIndexMode index_more, ....); void x_CreateRemapData(ISequenceSource *m_qsrc, EIndexMode mode); void x_LoadRemapData (ISequenceSource *m_qsrc, const string& sdb); .... }; 

तुरंत 3 क्लास फ़ंक्शंस में तर्क होते हैं जिनके नाम क्लास फ़ील्ड के साथ मेल खाते हैं। इससे फ़ंक्शन निकायों में त्रुटियां हो सकती हैं: प्रोग्रामर सोच सकता है कि वह कक्षा के सदस्य के साथ काम कर रहा है, वास्तव में स्थानीय चर के मूल्य को बदल रहा है।

V614 Uninitialized चर 'm_BitSet' का उपयोग किया गया। SnpBitAttributes.hpp 187

 /// SNP bit attribute container. class CSnpBitAttributes { public: .... private: /// Internal storage for bits. Uint8 m_BitSet; }; inline CSnpBitAttributes::CSnpBitAttributes(Uint8 bits) : m_BitSet(bits) { } inline CSnpBitAttributes::CSnpBitAttributes(const vector<char>& octet_string) { auto count = sizeof(m_BitSet); auto byte = octet_string.end(); do m_BitSet = (m_BitSet << 8) | *--byte; while (--count > 0); } 

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

V603 ऑब्जेक्ट बनाया गया था, लेकिन इसका उपयोग नहीं किया जा रहा है। यदि आप कंस्ट्रक्टर को कॉल करना चाहते हैं, तो 'यह-> SIntervalComparisonResult :: SIntervalComparisonResult (....)' का उपयोग किया जाना चाहिए। Compar_feats.hpp 100

 //This struct keeps the result of comparison of two exons struct SIntervalComparisonResult : CObject { public: SIntervalComparisonResult(unsigned pos1, unsigned pos2, FCompareLocs result, int pos_comparison = 0) : m_exon_ordinal1(pos1), m_exon_ordinal2(pos2), m_result(result), m_position_comparison(pos_comparison) {} SIntervalComparisonResult() { SIntervalComparisonResult(0, 0, fCmp_Unknown, 0); } .... }; 

बहुत समय पहले मैं परियोजनाओं की जाँच करते समय ऐसी त्रुटियों को पूरा नहीं करता था। लेकिन समस्या अभी भी प्रासंगिक है। त्रुटि यह है कि इस तरह से पैरामीटर किए गए निर्माणकर्ता को कॉल करना एक अस्थायी वस्तु बनाता है और निकालता है। और वर्ग क्षेत्र असिंचित रहते हैं। एक और निर्माणकर्ता को आरंभीकरण सूची के माध्यम से बुलाया जाना चाहिए (देखें प्रतिनिधि निर्माणकर्ता )।

V591 गैर-शून्य फ़ंक्शन को एक मान वापस करना चाहिए। bio_tree.hpp 266

 /// Recursive assignment CBioNode& operator=(const CBioNode& tree) { TParent::operator=(tree); TBioTree* pt = (TBioTree*)tree.GetParentTree(); SetParentTree(pt); } 

विश्लेषक मानता है कि ओवरलोड स्टेटमेंट में लाइन गायब है:

 return *this; 

V670 ized m_StdOut ’सदस्य को इनिशियलाइज़ करने के लिए uninitialized क्लास मेंबर 'm_OutBlobIdOrData' का उपयोग किया जाता है। याद रखें कि सदस्यों को एक वर्ग के अंदर उनकी घोषणाओं के क्रम में आरंभीकृत किया जाता है। Remote_app.hpp 215

 class NCBI_XCONNECT_EXPORT CRemoteAppResult { public: CRemoteAppResult(CNetCacheAPI::TInstance netcache_api, size_t max_inline_size = kMaxBlobInlineSize) : m_NetCacheAPI(netcache_api), m_RetCode(-1), m_StdOut(netcache_api, m_OutBlobIdOrData, m_OutBlobSize), m_OutBlobSize(0), m_StdErr(netcache_api, m_ErrBlobIdOrData, m_ErrBlobSize), m_ErrBlobSize(0), m_StorageType(eBlobStorage), m_MaxInlineSize(max_inline_size) { } .... }; 

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

V746 ऑब्जेक्ट स्लाइसिंग। एक अपवाद को मूल्य के बजाय संदर्भ द्वारा पकड़ा जाना चाहिए। cobalt.cpp 247

 void CMultiAligner::SetQueries(const vector< CRef<objects::CBioseq> >& queries) { .... try { seq_loc->SetId(*it->GetSeqId()); } catch (objects::CObjMgrException e) { NCBI_THROW(CMultiAlignerException, eInvalidInput, (string)"Missing seq-id in bioseq. " + e.GetMsg()); } m_tQueries.push_back(seq_loc); .... } 

मूल्य द्वारा अपवादों को पकड़ने से नई वस्तु के निर्माण के कारण अपवाद के बारे में कुछ जानकारी का नुकसान हो सकता है। संदर्भ द्वारा अपवाद को पकड़ना ज्यादा बेहतर और सुरक्षित है।

समान स्थान:

• V746 ऑब्जेक्ट स्लाइसिंग। एक अपवाद को मूल्य के बजाय संदर्भ द्वारा पकड़ा जाना चाहिए। agp_validate_reader.cpp 562
• V746 ऑब्जेक्ट स्लाइसिंग। एक अपवाद को मूल्य के बजाय संदर्भ द्वारा पकड़ा जाना चाहिए। aln_build_app.cpp 320
• V746 ऑब्जेक्ट स्लाइसिंग। एक अपवाद को मूल्य के बजाय संदर्भ द्वारा पकड़ा जाना चाहिए। aln_test_app.cpp 458
• V746 ऑब्जेक्ट स्लाइसिंग। एक अपवाद को मूल्य के बजाय संदर्भ द्वारा पकड़ा जाना चाहिए। cobalt.cpp 691
• V746 ऑब्जेक्ट स्लाइसिंग। एक अपवाद को मूल्य के बजाय संदर्भ द्वारा पकड़ा जाना चाहिए। cobalt.cpp 719
• V746 ऑब्जेक्ट स्लाइसिंग। एक अपवाद को मूल्य के बजाय संदर्भ द्वारा पकड़ा जाना चाहिए। cobalt.cpp 728
• V746 ऑब्जेक्ट स्लाइसिंग। एक अपवाद को मूल्य के बजाय संदर्भ द्वारा पकड़ा जाना चाहिए। cobalt.cpp 732

अगम्य कोड और अन्य कोड निष्पादन मुद्दों के बारे में

V779 अनुपलब्ध कोड का पता चला। यह संभव है कि कोई त्रुटि मौजूद हो। merge_tree_core.cpp 627

 bool CMergeTree::x_FindBefores_Up_Iter(....) { .... FirstFrame->Curr = StartCurr; FirstFrame->Returned = false; FirstFrame->VisitCount = 0; FrameStack.push_back(FirstFrame); while(!FrameStack.empty()) { .... if(Rel == CEquivRange::eAfter) { Frame->Returned = false; FrameStack.pop_back(); continue; } else if(Rel == CEquivRange::eBefore) { .... continue; } else { if(Frame->VisitCount == 0) { .... continue; } else { .... continue; } } Frame->Returned = false; // <= FrameStack.pop_back(); continue; } // end stack loop FirstFrame->ChildFrames.clear(); return FirstFrame->Returned; } 

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

V519 ' इंटरवल_प्रव्यू ' चर को क्रमिक रूप से दो बार मान दिया गया है। शायद यह एक गलती है। चेक लाइनें: 454, 456. aln_writer.cpp 456

 void CAlnWriter::AddGaps(....) { .... switch(exon_chunk->Which()) { case CSpliced_exon_chunk::e_Match: interval_width = exon_chunk->GetMatch(); case CSpliced_exon_chunk::e_Mismatch: interval_width = exon_chunk->GetMismatch(); case CSpliced_exon_chunk::e_Diag: interval_width = exon_chunk->GetDiag(); genomic_string.append(....); product_string.append(....); genomic_pos += interval_width; product_pos += interval_width/res_width; break; .... } .... } 

वैरिएबल इंटरवल_विवरण को कई बार अधिलेखित किया जाता है, क्योंकि मामले की शाखाओं में कोई ब्रेक स्टेटमेंट नहीं हैं। हालांकि एक क्लासिक, लेकिन एक बहुत बुरी गलती।

कुछ और संदिग्ध जगहें:

• V779 अनुपलब्ध कोड का पता चला। यह संभव है कि कोई त्रुटि मौजूद हो। dbapi_driver_utils.cpp 351
• V779 अनुपलब्ध कोड का पता चला। यह संभव है कि कोई त्रुटि मौजूद हो। net.c 780
• V779 अनुपलब्ध कोड का पता चला। यह संभव है कि कोई त्रुटि मौजूद हो। bcp.c 1495
• V779 अनुपलब्ध कोड का पता चला। यह संभव है कि कोई त्रुटि मौजूद हो। Remote_blast.cpp 1470
• V779 अनुपलब्ध कोड का पता चला। यह संभव है कि कोई त्रुटि मौजूद हो। Remote_blast.cpp 1522

V571 आवर्ती जाँच। 'If (m_QueryOpts-> filtering_options)' स्थिति पहले ही लाइन 703 में सत्यापित हो गई थी। ब्लास्ट_ऑप्टेशन_लोकल_प्रिव। 713

 inline void CBlastOptionsLocal::SetFilterString(const char* f) { .... if (m_QueryOpts->filtering_options) // <= { SBlastFilterOptions* old_opts = m_QueryOpts->filtering_options; m_QueryOpts->filtering_options = NULL; SBlastFilterOptionsMerge(&(m_QueryOpts->filtering_options), old_opts, new_opts); old_opts = SBlastFilterOptionsFree(old_opts); new_opts = SBlastFilterOptionsFree(new_opts); } else { if (m_QueryOpts->filtering_options) // <= m_QueryOpts->filtering_options = SBlastFilterOptionsFree(m_QueryOpts->filtering_options); m_QueryOpts->filtering_options = new_opts; new_opts = NULL; } .... } 

जाहिर है, दूसरी शाखा को फिर से लिखना होगा। मेरे पास कुछ विचार हैं जो मैं m_QueryOpts-> filtering_options पॉइंटर के साथ करना चाहता था, लेकिन कोड अभी भी किसी तरह भ्रमित है। मैं कोड के लेखकों से अपील करता हूं।

ठीक है, समस्या अकेले नहीं आती है:

• V571 आवर्ती जाँच। 'If (sleeptime)' स्थिति पहले से ही लाइन 205 में सत्यापित थी। request_control.cpp 208
• V571 आवर्ती जाँच। 'If (assignValue.empty ()) स्थिति पहले से ही लाइन 712 में सत्यापित थी। classstr.cpp 718

डेटा त्रुटियां पढ़ें

V739 ईओएफ की तुलना 'चार' प्रकार के मूल्य से नहीं की जानी चाहिए। 'लिनेस्ट्रिंग [0]' 'इंट' प्रकार का होना चाहिए। alnread.c 3509

 static EBool s_AfrpInitLineData( .... char* linestring = readfunc (pfile); .... while (linestring != NULL && linestring [0] != EOF) { s_TrimSpace (&linestring); .... } .... } 

आपके द्वारा ईओएफ के साथ तुलना करने की योजना बनाने वाले वर्णों को चार चर में संग्रहीत नहीं किया जाना चाहिए। अन्यथा, एक जोखिम है कि 0xFF (255) मान वाला एक वर्ण -1 में बदल जाएगा और इसकी व्याख्या उसी तरह की जाएगी जैसे किसी फ़ाइल (ईओएफ) के अंत में। इसके अलावा (सिर्फ मामले में) यह readfunc फ़ंक्शन के कार्यान्वयन की जांच करने के लायक है।

V663 अनंत लूप संभव है। लूप से टूटने के लिए 'Cin.eof ()' स्थिति अपर्याप्त है।सशर्त अभिव्यक्ति के लिए 'cin.fail ()' फ़ंक्शन कॉल जोड़ने पर विचार करें। ncbicgi.cpp 1564

 typedef std::istream CNcbiIstream; void CCgiRequest::Serialize(CNcbiOstream& os) const { .... CNcbiIstream* istrm = GetInputStream(); if (istrm) { char buf[1024]; while(!istrm->eof()) { istrm->read(buf, sizeof(buf)); os.write(buf, istrm->gcount()); } } } 

विश्लेषक ने एक संभावित त्रुटि का पता लगाया जिसके कारण एक अनंत लूप हो सकता है। यदि डेटा पढ़ते समय कोई विफलता होती है, तो ईओएफ () फ़ंक्शन को कॉल करना हमेशा गलत होगा । इस मामले में लूप को पूरा करने के लिए, विफल () फ़ंक्शन द्वारा लौटाए गए मूल्य का एक अतिरिक्त चेक आवश्यक है ।

विविध त्रुटियाँ

V502 शायद '?:' ऑपरेटर अपेक्षा के अनुरूप काम करता है। '?:' ऑपरेटर की 'और&' ऑपरेटर की तुलना में कम प्राथमिकता है। ncbi_connutil.c 1135

 static const char* x_ClientAddress(const char* client_host, int/*bool*/ local_host) { .... if ((client_host == c && x_IsSufficientAddress(client_host)) || !(ip = *c && !local_host ? SOCK_gethostbyname(c) : SOCK_GetLocalHostAddress(eDefault)) || SOCK_ntoa(ip, addr, sizeof(addr)) != 0 || !(s = (char*) malloc(strlen(client_host) + strlen(addr) + 3))) { return client_host/*least we can do :-/*/; } .... } 

अभिव्यक्ति पर ध्यान दें:

 !local_host ? SOCK_gethostbyname(c) : SOCK_GetLocalHostAddress(eDefault) 

इसकी गणना प्रोग्रामर द्वारा अपेक्षित के रूप में नहीं की जाती है, क्योंकि संपूर्ण अभिव्यक्ति इस तरह दिखाई देती है:

 ip = *c && !local_host ? SOCK_gethostbyname(c) : SOCK_GetLocalHostAddress(...) 

&& ऑपरेटर प्राथमिकता से अधिक है ?: । इस कारण से, कोड इरादा के अनुसार निष्पादित नहीं करता है।

V561 61 seq ’वैरिएबल की वैल्यू असाइन करना बेहतर है, इसे नए सिरे से घोषित करें। पिछली घोषणा: validator.cpp, पंक्ति 490. validator.cpp 492

 bool CValidator::IsSeqLocCorrectlyOrdered(const CSeq_loc& loc, CScope& scope) { CBioseq_Handle seq; try { CBioseq_Handle seq = scope.GetBioseqHandle(loc); } catch (CObjMgrException& ) { // no way to tell return true; } catch (const exception& ) { // no way to tell return true; } if (seq && seq.GetInst_Topology() == CSeq_inst::eTopology_circular) { // no way to check if topology is circular return true; } return CheckConsecutiveIntervals(loc, scope, x_IsCorrectlyOrdered); } 

प्रोग्रामर द्वारा try / कैच सेक्शन के अंदर एक नया seq वेरिएबल घोषित करने के कारण , एक और seq वेरिएबल uninitialized रहता है और कोड में नीचे उपयोग किया जाता है।

V562 0: ((स्थिति) और 0x7f) == 0) के मान के साथ बूल प्रकार के मूल्य की तुलना करना अजीब है। = 0. ncbi_process.cpp 111

 bool CProcess::CExitInfo::IsExited(void) const { EXIT_INFO_CHECK; if (state != eExitInfo_Terminated) { return false; } #if defined(NCBI_OS_UNIX) return WIFEXITED(status) != 0; #elif defined(NCBI_OS_MSWIN) // The process always terminates with exit code return true; #endif } 

बीमार कुछ भी नहीं हुआ, लेकिन WIFEXITED इस तरह से एक मैक्रो ओपनिंग निकला:

 return (((status) & 0x7f) == 0) != 0; 

यह पता चला है कि फ़ंक्शन विपरीत मान लौटाता है।

कोड में, एक और ऐसा फ़ंक्शन था, जिसने चेतावनी जारी की थी:

• V562 0..cbi_process.cpp 126 के मान के साथ एक बूल प्रकार के मूल्य की तुलना करना अजीब है

N5ptr के खिलाफ सत्यापित होने से पहले V595 'dst_len' पॉइंटर का उपयोग किया गया था। चेक लाइनें: 309, 315. zlib.cpp 309

 bool CZipCompression::CompressBuffer( const void* src_buf, size_t src_len, void* dst_buf, size_t dst_size, /* out */ size_t* dst_len) { *dst_len = 0; // Check parameters if (!src_len && !F_ISSET(fAllowEmptyData)) { src_buf = NULL; } if (!src_buf || !dst_buf || !dst_len) { SetError(Z_STREAM_ERROR, "bad argument"); ERR_COMPRESS(48, FormatErrorMessage("CZipCompression::CompressBuffer")); return false; } .... } 

Dst_len पॉइंटर को फ़ंक्शन के बहुत शुरुआत में dereferenced जाता है, जबकि आगे कोड पर शून्य की समानता के लिए जाँच की जाती है। कोड में, यदि आप एक गलती है, जो अपरिभाषित व्यवहार करने के लिए जाता है, अगर सूचक बनाने dst_len के बराबर होगा nullptr ।

V590 'ch! =' '\ 0' && ch == '' 'अभिव्यक्ति का निरीक्षण करने पर विचार करें। अभिव्यक्ति अत्यधिक है या एक गलत चित्रण है। cleanup_utils.cpp 580

 bool Asn2gnbkCompressSpaces(string& val) { .... while (ch != '\0' && ch == ' ') { ptr++; ch = *ptr; } .... } 

लूप को रोकने के लिए शर्त केवल इस बात पर निर्भर करती है कि चरित्र ch एक स्थान है या नहीं। अभिव्यक्ति को निम्नलिखित के लिए सरल बनाया जा सकता है:

 while (ch == ' ') { .... } 

निष्कर्ष

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

मैं हमसे संपर्क करने के लिए NCBI जीनोम कार्यक्षेत्र परियोजना के डेवलपर्स को आमंत्रित करता हूं, और हम पीवीएस-स्टूडियो विश्लेषक द्वारा जारी एक पूरी रिपोर्ट प्रदान करेंगे।

आशा है कि यह थोड़ा कोड अनुसंधान कई बगों को ठीक करने में मदद करता है और आम तौर पर परियोजना की विश्वसनीयता में सुधार करता है। अपने प्रोजेक्ट्स के कोड पर पीवीएस-स्टूडियो चलाने की कोशिश करें, अगर आपने पहले से ऐसा नहीं किया है। आप इसे पसंद कर सकते हैं :)।

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