PostgreSQL नए साल की जाँच करें

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



PostgreSQL एक निशुल्क ऑब्जेक्ट-रिलेशनल डेटाबेस मैनेजमेंट सिस्टम (DBMS) है। PostgreSQL SQL भाषा पर आधारित है और SQL: 2003 मानक (ISO / IEC 9075) की कई विशेषताओं का समर्थन करता है। आप प्रोजेक्ट के बारे में विकिपीडिया वेबसाइट और प्रोजेक्ट वेबसाइट पर ही पढ़ सकते हैं।

1. मेमकोम्प () फ़ंक्शन का उपयोग करते समय टाइपो

Datum pg_stat_get_activity(PG_FUNCTION_ARGS) { .... if (memcmp(&(beentry->st_clientaddr), &zero_clientaddr, sizeof(zero_clientaddr) == 0)) .... } 

PVS-Studio द्वारा जारी चेतावनी: V526 'मेमकैंप' फ़ंक्शन 0 रिटर्न देता है यदि संबंधित बफ़र्स समान हैं। गलतियों के लिए स्थिति की जांच करने पर विचार करें। pgstatfuncs.c 712 को पोस्ट करता है

इस लाइन पर भी चेतावनी V575 जारी की गई है। वैसे, यदि प्रोग्राम की एक ही लाइन पर दो या अधिक डायग्नोस्टिक संदेश प्रदर्शित होते हैं, तो यह बहुत ही सावधानी से इसे जांचने का एक अवसर है। बहुत बार, एक गलती "अलग-अलग बिंदुओं से" कोड को संदिग्ध बनाती है।

यदि आप कोड को करीब से देखते हैं, तो आप देख सकते हैं कि एक क्लोजिंग ब्रैकेट अपनी जगह पर नहीं है। नतीजतन, फ़ंक्शन का तीसरा वास्तविक तर्क अभिव्यक्ति "sizeof (zero_clientaddr) == 0" है।

पड़ोसी कार्यों में पहचान संबंधी त्रुटियां देखी जा सकती हैं। कोड को कॉपी करने के कारण स्पष्ट रूप से त्रुटि कई गुना हो गई।

अन्य समस्या क्षेत्र:

• pgstatfuncs.c 976
• pgstatfuncs.c 1023

2. अष्टक संख्या प्रणाली में संख्या

 void RestoreArchive(Archive *AHX) { .... AHX->minRemoteVersion = 070100; AHX->maxRemoteVersion = 999999; .... } 

PVS-Studio द्वारा जारी चेतावनी: V536 यह सलाह दी जाती है कि उपयोग किए गए स्थिर मूल्य को एक अष्टक रूप द्वारा दर्शाया जाए। अक्टूबर: 070100, दिसंबर: 28736. pg_dump pg_backup_archiver.c 301

यदि आप पास स्थित कोड को देखते हैं, तो हम यह निष्कर्ष निकाल सकते हैं कि प्रोग्रामर ने ऑक्टल नंबर सिस्टम में लिखे नंबर का उपयोग करने की योजना नहीं बनाई थी। उदाहरण के लिए, ऐसी एक पंक्ति है:

 fout->minRemoteVersion = 70000; 

सबसे अधिक संभावना है, सौंदर्य के लिए शून्य जोड़ा गया था। लेकिन इस शून्य के कारण, "070100" संख्या ओक्टल संख्या प्रणाली में लिखी गई है और 28736 है।

3. क्लासिक। सॉकेट प्रकार के साथ त्रुटियाँ

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

 typedef UINT_PTR SOCKET; typedef SOCKET pgsocket; static int ident_inet(hbaPort *port) { .... pgsocket sock_fd; .... sock_fd = socket(ident_serv->ai_family, ident_serv->ai_socktype, ident_serv->ai_protocol); if (sock_fd < 0) { .... } 

PVS-Studio द्वारा जारी चेतावनी: V547 अभिव्यक्ति 'sock_fd <0' हमेशा झूठी होती है। अहस्ताक्षरित प्रकार का मान कभी नहीं होता है <0

जाँच (sock_fd <0) का कोई मतलब नहीं है। एक अहस्ताक्षरित चर शून्य से कम नहीं हो सकता। कोड जो एक ऐसी स्थिति को संभालता है जहां एक सॉकेट खोलना संभव नहीं है, कभी भी नियंत्रण प्राप्त नहीं करेगा।

कई और त्रुटियां हैं जो इसके समान हैं:

• ऑक्टो। 1748
• ऑक्टो। 2567
• pqcomm.c 395
• pqcomm.c 633
• पोस्टमास्टरसी 2168

4. निजी डेटा को मिटाने में त्रुटि

निजी डेटा युक्त ओवरराइटिंग मेमोरी से जुड़ी कई विशिष्ट त्रुटियां मिलीं। यह त्रुटि, शायद, सॉकेट प्रकार की समस्याओं की तुलना में अधिक बार होती है।

 char * px_crypt_md5(const char *pw, const char *salt, char *passwd, unsigned dstlen) { .... unsigned char final[MD5_SIZE]; .... /* Don't leave anything around in vm they could use. */ memset(final, 0, sizeof final); .... } 

PVS-Studio द्वारा जारी चेतावनी: V597 संकलक 'मेमसेट' फ़ंक्शन कॉल को हटा सकता है, जिसका उपयोग 'अंतिम' बफर को फ्लश करने के लिए किया जाता है। RtlSecureZeroMemory () फ़ंक्शन का उपयोग निजी डेटा को मिटाने के लिए किया जाना चाहिए। pgcrypto crypt-md5.c 157

टिप्पणी स्मृति के एक विशिष्ट क्षेत्र को अधिलेखित करने की आवश्यकता पर जोर देती है। हालांकि, ऐसा नहीं होगा। कंपाइलर मेमसेट () फ़ंक्शन को कॉल फेंक देगा। ऐसा क्यों होगा और इससे निपटने के लिए नैदानिक ​​नियम के विवरण में पाया जा सकता है।

ऐसे बहुत से स्थान हैं जहाँ डेटा मिटाया नहीं जाएगा:

• Fortuna.c 294
• Fortuna.c 344
• Fortuna.c 381
• आंतरिक। 671
• पीजीपी-एनक्रिप्ट। 131
• pgp-Encrypt.c 493
• पीजीपी-एनक्रिप्ट। ५५५
• pgp-decrypt.c 283
• pgp-decrypt.c 398
• pgp-decrypt.c 399
• pgp-decrypt.c 496
• pgp-decrypt.c 706
• pgp-decrypt.c 795
• pgp-pgsql.c 90
• pgp-pgsql.c 132
• px-crypt.c 161
• pgp-pubkey.c 153
• pgp-pubkey.c 294
• pgp-pubkey.c 295

ऐसी प्रत्येक जगह एक संभावित भेद्यता है! सबसे अप्रत्याशित तरीके से मिटाया नहीं गया डेटा डिस्क पर लिखा जा सकता है या नेटवर्क पर भेजा जा सकता है। इस विषय पर लेख: ओवरराइटिंग मेमोरी - क्यों?

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

 static char * inet_cidr_ntop_ipv6(const u_char *src, int bits, char *dst, size_t size) { .... m = ~0 << (8 - b); .... } 

PVS-Studio द्वारा जारी चेतावनी: V610 अपरिभाषित व्यवहार। शिफ्ट ऑपरेटर की जाँच करें <<। बायां संचालक '~ 0' ऋणात्मक है। postgres inet_cidr_ntop.c 206

ऋणात्मक संख्याओं को स्थानांतरित नहीं किया जा सकता है। इससे अपरिभाषित व्यवहार होता है। और पढ़ें: " बिना कांटे को जाने, पानी में मत जाओ - भाग तीन ।"

अन्य खतरनाक बदलाव:

• network.c 1435
• संकेत। ११ signal
• संकेत ।.c 125
• varbit.c 1508
• varbit.c 1588

6. टाइपो

 static void AddNewRelationTuple(....) { .... new_rel_reltup->relfrozenxid = InvalidTransactionId; new_rel_reltup->relfrozenxid = InvalidMultiXactId; .... } 

PVS-Studio द्वारा जारी चेतावनी: V519 'new_rel_reltup-> relfrozenxid' चर को क्रमिक रूप से दो बार मान दिया गया है। शायद यह एक गलती है। चेक लाइन: 912, 913। heap.c 913 को पोस्ट करता है

एक चर को दो अलग-अलग मान दिए जाते हैं। यह एक टाइपो लगता है। शायद दूसरी पंक्ति में, मान चर 'new_rel_reltup-> relminmxid' को सौंपा जाना चाहिए

निष्कर्ष

यदि PostgreSQL प्रोजेक्ट के डेवलपर्स में से एक पीवीएस-स्टूडियो विश्लेषक में रुचि रखता है, तो हम उन्हें थोड़ी देर के लिए पंजीकरण कुंजी प्रदान करने के लिए तैयार हैं। कृपया उन्हें समर्थन में हमें लिखें।

और मैं आपको नया साल मुबारक हो!