👉🏼 ✍️ 🐅 जो जासूस खेलना चाहते हैं, उनके लिए: आधी रात के कमांडर से फ़ंक्शन में त्रुटि ढूंढें 🧤 🌎 🦆

गलती का पता है!

हम आपको GNU मिडनाइट कमांडर परियोजना से एक बहुत ही सरल कार्य में गलती खोजने की कोशिश करने के लिए आमंत्रित करते हैं। क्यों? बस ऐसे ही। यह मजेदार और दिलचस्प है। हालाँकि नहीं, हमने झूठ बोला था। एक बार फिर, हम एक त्रुटि प्रदर्शित करना चाहते हैं जो एक व्यक्ति कोड समीक्षा की प्रक्रिया में कठिनाई के साथ पाता है, लेकिन आसानी से पीवीएस-स्टूडियो स्थिर कोड विश्लेषक पाता है।

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

static int EatWhitespace (FILE * InFile) /* ----------------------------------------------------------------------- ** * Scan past whitespace (see ctype(3C)) and return the first non-whitespace * character, or newline, or EOF. * * Input: InFile - Input source. * * Output: The next non-whitespace character in the input stream. * * Notes: Because the config files use a line-oriented grammar, we * explicitly exclude the newline character from the list of * whitespace characters. * - Note that both EOF (-1) and the nul character ('\0') are * considered end-of-file markers. * * ----------------------------------------------------------------------- ** */ { int c; for (c = getc (InFile); isspace (c) && ('\n' != c); c = getc (InFile)) ; return (c); } /* EatWhitespace */

जैसा कि आप देख सकते हैं, EatWhitespace फ़ंक्शन बहुत छोटा है। यहां तक कि एक फ़ंक्शन पर एक टिप्पणी फ़ंक्शन के शरीर की तुलना में अधिक स्थान लेती है :)। अब कुछ विवरण।

Getc फ़ंक्शन विवरण:

 int getc ( FILE * stream );

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

आइसस्पेस फ़ंक्शन का विवरण:

 int isspace( int ch );

फ़ंक्शन यह जांचता है कि क्या चरित्र वर्तमान लोकेल के वर्गीकरण के अनुसार व्हाट्सएप है। मानक स्थान में, निम्नलिखित वर्ण सफेद स्थान हैं:

अंतरिक्ष (0x20, ``);
पृष्ठ परिवर्तन (0x0c, '\ f');
लाइन फीड LF (0x0a, '\ n');
गाड़ी वापसी CR (0x0d, '\ r');
क्षैतिज टैब (0x09, '\ t');
ऊर्ध्वाधर टैब (0x0b, '\ v')।

वापसी मूल्य नॉनजेरो वैल्यू, अगर कैरेक्टर व्हॉट्सएप है, तो शून्य।

EatWhitespace फ़ंक्शन को लाइन फ़ीड '\ n' को छोड़कर, सभी वर्णों को व्हॉट्सएप पर छोड़ देना चाहिए। किसी फ़ाइल से पढ़ने को रोकने का दूसरा कारण फ़ाइल के अंत तक पहुँचना (EOF) हो सकता है।

और अब, यह सब जानते हुए, एक गलती खोजने की कोशिश करो!

पाठक को गलती से उत्तर को न देखने से रोकने के लिए, प्रतीक्षा की गई जोड़ी को जोड़ दें।

चित्र 1. किसी भी संभावना को देखने का समय। यूनिकॉर्न का होगा इंतजार

चित्र 1. किसी त्रुटि को देखने का समय। यूनिकॉर्न इंतजार करेंगे।

अभी भी त्रुटि नहीं दिख रही है?

बात यह है कि हमने पाठकों को आइस्पेस के बारे में धोखा दिया। हा-हा! यह एक मानक विशेषता नहीं है, लेकिन एक घर का बना मैक्रो है। हाँ, हम निर्दोष हैं और आपको भ्रमित करते हैं।

चित्र 2. एक गेंडा लेख को इस बात का झूठा आभास बताता है कि आइड्स क्या है।

चित्र 2. एक गेंडा पाठकों को इस बात का झूठा आभास कराता है कि आइस्पेस क्या है ।

वास्तव में, निश्चित रूप से, हम और हमारे गेंडा को दोष नहीं देना है। GNU मिडनाइट कमांडर परियोजना के लेखकों ने charset.h फ़ाइल में अपना आइसस्पेस कार्यान्वयन बनाने का निर्णय लेकर भ्रम में योगदान दिया:

 #ifdef isspace #undef isspace #endif .... #define isspace(c) ((c)==' ' || (c) == '\t')

इस तरह के मैक्रो को बनाकर, कुछ डेवलपर्स ने अन्य डेवलपर्स को भ्रमित किया। कोड इस धारणा पर लिखा गया है कि आइसस्पेस एक मानक फ़ंक्शन है जो कैरिज रिटर्न (0x0d, '\ r') को व्हॉट्सएप वर्णों में से एक मानता है।

कार्यान्वित मैक्रो केवल रिक्त स्थान और टैब को व्हॉट्सएप वर्ण मानता है। आइए मैक्रो को प्रतिस्थापित करें और देखें कि क्या होता है।

 for (c = getc (InFile); ((c)==' ' || (c) == '\t') && ('\n' != c); c = getc (InFile))

उपप्रकार ('\ n'! = C) निरर्थक (निरर्थक) है क्योंकि इसका परिणाम हमेशा सत्य होगा। PVS-Studio विश्लेषक ने इस बारे में चेतावनी देते हुए चेतावनी दी है:

V560 सशर्त अभिव्यक्ति का एक हिस्सा हमेशा सच होता है: ('\ n'! = C)। params.c 136।

स्पष्टता के लिए, आइए घटनाओं के विकास के लिए 3 विकल्पों का विश्लेषण करें:

फ़ाइल का अंत पहुँच गया है। फ़ाइल का अंत (ईओएफ) एक स्थान या टैब नहीं है। शॉर्ट-सर्किट मूल्यांकन के कारण उप-संपीड़न ('\ n'! = C) की गणना नहीं की जाती है। चक्र रुक जाता है।
कोई भी वर्ण जो स्पेस या टैब नहीं है, पढ़ा जाता है। शॉर्ट-सर्किट मूल्यांकन के कारण उप-संपीड़न ('\ n'! = C) की गणना नहीं की जाती है। चक्र रुक जाता है।
एक अंतरिक्ष चरित्र या क्षैतिज टैब पढ़ें। उपप्राणता ('\ n'! = C) की गणना की जाती है, लेकिन इसका परिणाम हमेशा सही रहेगा।

दूसरे शब्दों में, कोड की समीक्षा इस के बराबर है:

 for (c = getc (InFile); c==' ' || c == '\t'; c = getc (InFile))

हमने पाया कि कोड उद्देश्य के अनुसार काम नहीं करता है। आइए अब देखें कि इसके क्या परिणाम हैं।

प्रोग्रामर जिसने ईटव्हीट्सस्पेस फ़ंक्शन के शरीर में आइसस्पेस कॉल लिखा था, उसे उम्मीद थी कि एक मानक फ़ंक्शन कहा जाएगा। इसीलिए उन्होंने यह शर्त जोड़ी कि लाइन एलएफ ('\ n') को व्हाट्सएप चरित्र नहीं माना जाना चाहिए।

इसलिए, प्रोग्रामर ने योजना बनाई कि अंतरिक्ष और क्षैतिज टैब के अलावा, पृष्ठ परिवर्तन और ऊर्ध्वाधर टैब जैसे वर्णों को छोड़ दिया जाएगा।

यह उल्लेखनीय है कि यह सीआर कैरिज रिटर्न चरित्र (0x0d, '\ r') को छोड़ने की योजना भी थी। ऐसा नहीं होता है और जब यह प्रतीक का सामना करता है तो चक्र रुक जाता है। यह अप्रिय आश्चर्य की ओर ले जाएगा यदि फ़ाइल में लाइन विभाजक Microsoft विंडोज जैसे कुछ गैर-यूनिक्स प्रणालियों पर उपयोग किया जाने वाला सीआर + एलएफ अनुक्रम है।

उन लोगों के लिए जो लाइन विभाजक के रूप में एलएफ या सीआर + एलएफ का उपयोग करने के ऐतिहासिक कारणों के बारे में अधिक जानना चाहते हैं, यहां विकिपीडिया लेख " लाइन फीड " है।

EatWhitespace फ़ंक्शन फ़ाइलों को उसी तरह संसाधित करने वाला है, जहां LF और CR + LF दोनों को एक विभाजक के रूप में उपयोग किया जाता है। सीआर + एलएफ के मामले के लिए, ऐसा नहीं है। दूसरे शब्दों में, यदि आपकी फ़ाइल विंडोज़ की दुनिया से आई है, तो आप भाग्य से बाहर हैं :)।

शायद यह एक गंभीर गलती नहीं है, खासकर जब से जीएनयू मिडनाइट कमांडर यूनिक्स-जैसे ऑपरेटिंग सिस्टम पर आम है, जहां एक लाइन का अनुवाद करने के लिए एलएफ चरित्र (0x0a, '\ n') का उपयोग किया जाता है। हालांकि, ऐसी trifles के कारण, लिनक्स और विंडोज सिस्टम में तैयार किए गए डेटा की असंगति की विभिन्न कष्टप्रद समस्याएं पैदा होती हैं।

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

मानक कार्यों को ओवरराइड करना बुरा व्यवहार है। वैसे, हाल ही में लेख " लव स्टेटिक कोड एनालिसिस " में एक समान मामले को मैक्रो #define स्प्रिंटफ एसटीडी :: प्रिंटफ के साथ माना गया था।

एक बेहतर समाधान मैक्रो को एक अनूठा नाम देना होगा, उदाहरण के लिए, is_space_or_tab । फिर भ्रम असंभव होगा।

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

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

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

जो जासूस खेलना चाहते हैं, उनके लिए: आधी रात के कमांडर से फ़ंक्शन में त्रुटि ढूंढें

More articles: