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

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

परिचय

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

उदाहरण के लिए, '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 

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

 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 

निष्कर्ष

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