बहु-चरित्र स्थिरांक का उपयोग करने के खतरे

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

परिचय

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

उदाहरण के लिए, कंपाइलर के आधार पर शाब्दिक 'T \ x65s \ x74' को अलग-अलग तरीके से एनकोड किया जाएगा। इसी तरह के तर्क को विश्लेषक के साथ जोड़ा जाना था। परिणामस्वरूप, हमने कोड में ऐसे शाब्दिकों की पहचान करने के लिए एक नया नैदानिक ​​नियम V1039 बनाया। क्रॉस-प्लेटफ़ॉर्म परियोजनाओं में ऐसे शाब्दिक खतरनाक होते हैं जो विधानसभा के लिए कई संकलक का उपयोग करते हैं।

निदान V1039

एक उदाहरण पर विचार करें। नीचे दिए गए कोड, विभिन्न संकलक द्वारा संकलित, अलग तरह से व्यवहार करेंगे:

#include <stdio.h> void foo(int c) { if (c == 'T\x65s\x74') // <= V1039 { printf("Compiled with GCC or Clang.\n"); } else { printf("It's another compiler (for example, MSVC).\n"); } } int main(int argc, char** argv) { foo('Test'); return 0; } 

विभिन्न कंपाइलरों द्वारा संकलित एक कार्यक्रम स्क्रीन पर विभिन्न संदेशों को प्रिंट करेगा।

किसी विशिष्ट संकलक का उपयोग करने वाली परियोजना के लिए, यह ध्यान देने योग्य नहीं होगा, लेकिन पोर्टिंग समस्या पैदा कर सकता है, इसलिए आपको ऐसे शाब्दिक को साधारण संख्यात्मक स्थिरांक से बदलना चाहिए, उदाहरण के लिए, 'टेस्ट' को 0x54657374 में बदलें।

संकलक के बीच के अंतर को प्रदर्शित करने के लिए, हम एक छोटी सी उपयोगिता लिखते हैं जहाँ 3 और 4 वर्णों के अनुक्रम लिए जाते हैं, उदाहरण के लिए, 'GHIJ' और 'GHI' और संकलन के बाद स्मृति में उनका प्रतिनिधित्व प्रदर्शित होता है।

उपयोगिता कोड:

 #include <stdio.h> typedef int char_t; void PrintBytes(const char* format, char_t lit) { printf("%20s : ", format); const unsigned char *ptr = (const unsigned char*)&lit; for (int i = sizeof(lit); i--;) { printf("%c", *ptr++); } putchar('\n'); } int main(int argc, char** argv) { printf("Hex codes are: G(%02X) H(%02X) I(%02X) J(%02X)\n",'G','H','I','J'); PrintBytes("'GHIJ'", 'GHIJ'); PrintBytes("'\\x47\\x48\\x49\\x4A'", '\x47\x48\x49\x4A'); PrintBytes("'G\\x48\\x49\\x4A'", 'G\x48\x49\x4A'); PrintBytes("'GH\\x49\\x4A'", 'GH\x49\x4A'); PrintBytes("'G\\x48I\\x4A'", 'G\x48I\x4A'); PrintBytes("'GHI\\x4A'", 'GHI\x4A'); PrintBytes("'GHI'", 'GHI'); PrintBytes("'\\x47\\x48\\x49'", '\x47\x48\x49'); PrintBytes("'GH\\x49'", 'GH\x49'); PrintBytes("'\\x47H\\x49'", '\x47H\x49'); PrintBytes("'\\x47HI'", '\x47HI'); return 0; } 

विजुअल C ++ द्वारा संकलित उपयोगिता का आउटपुट:

 Hex codes are: G(47) H(48) I(49) J(4A) 'GHIJ' : JIHG '\x47\x48\x49\x4A' : GHIJ 'G\x48\x49\x4A' : HGIJ 'GH\x49\x4A' : JIHG 'G\x48I\x4A' : JIHG 'GHI\x4A' : JIHG 'GHI' : IHG '\x47\x48\x49' : GHI 'GH\x49' : IHG '\x47H\x49' : HGI '\x47HI' : IHG 

GCC या क्लैंग द्वारा संकलित उपयोगिता का आउटपुट:

 Hex codes are: G(47) H(48) I(49) J(4A) 'GHIJ' : JIHG '\x47\x48\x49\x4A' : JIHG 'G\x48\x49\x4A' : JIHG 'GH\x49\x4A' : JIHG 'G\x48I\x4A' : JIHG 'GHI\x4A' : JIHG 'GHI' : IHG '\x47\x48\x49' : IHG 'GH\x49' : IHG '\x47H\x49' : IHG '\x47HI' : IHG 

निष्कर्ष

वी 1039 डायग्नोस्टिक्स को पीवीएस-स्टूडियो विश्लेषक संस्करण 7.03 में जोड़ा गया था, जिसे हाल ही में जारी किया गया था। आप डाउनलोड पृष्ठ पर विश्लेषक का नवीनतम संस्करण डाउनलोड कर सकते हैं।

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