लोग बनाम पीवीएस-स्टूडियो: पहले लेते हैं

शुभ संध्या हबरानारोड!

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

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

सबसे पहले, हम पिछले लेख से परीक्षण चलाते हैं, और इसी तरह:

टेस्ट 1:

int main() { vector<int> v; v.reserve(2); assert(v.capacity() == 2); v[0]; v[0] = 1; v[1] = 2; cout << v[0] << endl; v.reserve(100); cout << v[0] << endl; return 0; } 

VS2010 : कुछ भी नहीं
पीवीएस-स्टूडियो : कुछ भी नहीं

टेस्ट 2:

 void prettyFormat(int i, char* buf) { sprintf(buf, "%4d", i); } int main() { vector<int> v; v.reserve(2); //.... char buf[5]; prettyFormat(10, buf); return 0; } 

VS2010 : चेतावनी C4996: 'स्प्रिंटफ': यह फ़ंक्शन या चर असुरक्षित हो सकता है। इसके बजाय स्प्रिंटफ_ का उपयोग करने पर विचार करें।
पीवीएस-स्टूडियो : कुछ भी नहीं

टेस्ट 3:

 int* prettyFormat(int i, char* buf) { sprintf(buf, "%4d", i); int* a; return a; } int main() { ... 

VS2010 : चेतावनी C4996: 'स्प्रिंटफ': यह फ़ंक्शन या चर असुरक्षित हो सकता है। इसके बजाय स्प्रिंटफ_ का उपयोग करने पर विचार करें।
चेतावनी C4700: एकतरफा स्थानीय चर 'एक' का इस्तेमाल किया

पीवीएस-स्टूडियो : कुछ भी नहीं

टेस्ट 4:

 int* prettyFormat(int i, char* buf) { sprintf(buf, "%4d", i); int* a; fopen("filename", "r"); char buf2[5]; strcpy(buf2, buf); return a; } 

VS2010 : पिछले दो के अलावा, चेतावनी C4996: 'fopen': यह फ़ंक्शन या चर असुरक्षित हो सकता है। इसके बजाय fopen_s का उपयोग करने पर विचार करें।
चेतावनी C4996: 'strcpy': यह फ़ंक्शन या चर असुरक्षित हो सकता है। इसके बजाय strcpy_s का उपयोग करने पर विचार करें।

पीवीएस-स्टूडियो : कुछ भी नहीं

यहाँ मेरा सवाल है: पीवीएस-स्टूडियो कुछ भी क्यों नहीं देता है, मेरे पास "आउटपुट" के सभी तीन स्तर हैं। शायद मैं कुछ गलत कर रहा हूँ? (मेनू से मैं पीवीएस-स्टूडियो -> चेक सॉल्यूशन) का चयन करता हूं, अगर मुझे पता नहीं है कि उपयोगिता का "उपयोग" कैसे करना है, तो हंसो मत।

नए परीक्षण

और इसलिए, जारी रखें। सबसे सरल उदाहरण जो मन में आया:

 char buf[32]; strncpy(buf, data, strlen(data)); 

पीवीएस-स्टूडियो फिर से चुप है, और दृश्य स्टूडियो फिर से "असुरक्षित" फ़ंक्शन का उपयोग करते समय एक संभावित समस्या की चेतावनी देता है, इस मामले में strncpy ()।
असली समस्या क्या है? समस्या क्लासिक बफर अतिप्रवाह है, एक त्रुटि जिसके कारण कई को C / C ++ से प्यार हो गया और बाकी लोगों को इन खूबसूरत भाषाओं का विरोध करने का एक कारण मिला। इस उदाहरण में, इनपुट बफ़र की लंबाई, लक्ष्य का आकार नहीं, strncpy फ़ंक्शन के अंतिम तर्क के रूप में पारित किया गया है!

अगला परीक्षण अधिक "पेशेवर" स्तर है, यह मल्टीथ्रेडिंग पर केंद्रित है। कोड स्निपेट:

 list<unsigned long> a_list; unsigned long get_next() { unsigned long ret = 0; if (!a_list.empty()) { ret = a_list.front(); a_list.pop_front(); } return ret; } 

VS2010 : कुछ भी नहीं
पीवीएस-स्टूडियो : कुछ भी नहीं

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

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

PS व्याकरण की गलतियों के लिए ... - देर से पोस्ट लिखा।