पीवीएस-स्टूडियो अब विंडोज पर किसी भी बिल्ड सिस्टम और किसी भी कंपाइलर का समर्थन करता है। आसान और आउट ऑफ द बॉक्स

अब PVS-Studio में हम बम बना रहे हैं!

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

विज़ुअल स्टूडियो के लिए प्लग-इन कैसे काम करता है और इसने उपयोग करने की क्षमता को सीमित क्यों किया?

प्रारंभ में, पीवीएस-स्टूडियो माइक्रोसॉफ्ट विज़ुअल सी ++ के लिए एक प्लगइन है। विकास के वातावरण के साथ सहभागिता के दो पहलू हैं। पहला यूजर इंटरफेस इंटीग्रेशन है। एक परिचित वातावरण से एक उपकरण के साथ काम करना सुविधाजनक है। दूसरे, यह सही विश्लेषण करने के लिए फ़ाइल संकलन मापदंडों को प्राप्त कर रहा है।

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

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

सबसे पहले, यदि आपके पास एक मेकफाइल प्रोजेक्ट है जो बनाया गया है, उदाहरण के लिए, एनएमके का उपयोग करना। तब विज़ुअल स्टूडियो एपीआई ने प्लगइन को संकलन मापदंडों का पता लगाने और प्रीप्रोसेसिंग को कॉल करने की अनुमति नहीं दी। बेशक, आप हमेशा मेफाइल में पीवीएस-स्टूडियो कॉल को एम्बेड कर सकते हैं। लेकिन, ईमानदार होने के लिए, यह सबसे सुविधाजनक समाधान नहीं है जिसे पेश किया जा सकता है। नहीं, निश्चित रूप से हमारे पास ऐसे उपयोगकर्ता हैं जो पीवीएस-स्टूडियो का उपयोग करते हैं। लेकिन इस तरह के कई परिदृश्य दूर डर गए।

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

दूसरे शब्दों में, अक्सर ऐसी स्थितियां थीं कि ऐसा लगता है कि परियोजना विज़ुअल सी ++ संकलक द्वारा संकलित की जा रही है, और पीवीएस-स्टूडियो की कोशिश करने की इच्छा है। लेकिन यह बहुत आसान नहीं था और इच्छा धीरे-धीरे शून्य हो गई ...

हमने इस समस्या को कैसे हल किया?

हमने एक विशेष संकलक कॉल निगरानी उपयोगिता विकसित की है। यह विंडोज के लिए मुख्य कंपाइलर के साथ काम करता है, लेकिन, पहले की तरह, हमारा मुख्य फोकस है: विजुअल C ++ उपयोगकर्ता।



मॉनिटरिंग टूल बस सभी कॉलर्स को कंपाइलर के पास भेज देता है और फिर कंपाइलर को "फाइल को प्रीप्रोसेस" मापदंडों से शुरू करता है, जिसके बाद इसे एनालाइजर कहता है। मुख्य आकर्षण यह है कि यह सब उपयोगकर्ता के लिए पूरी तरह से पारदर्शी है और कोई भी इसे दोहरा सकता है।

इसके अलावा, हम इस अवसर का लाभ उठाने के लिए दो अलग-अलग तरीके प्रदान करते हैं।

विकल्प 1 - जीयूआई के साथ निगरानी

तो, मान लीजिए कि आप अवास्तविक इंजन 4 स्रोत कोड तक पहुंच गए। आप Visual Studio में एक समाधान खोलें और देखें कि यह एक nmake- आधारित परियोजना है, इसलिए आप इसे PVS-Studio प्लगइन का उपयोग करके सत्यापित नहीं कर सकते। यह कोई समस्या नहीं है। आप निम्न कार्य करें:

1. पीवीएस-स्टूडियो स्टैंडअलोन लॉन्च करें।
2. "कंपाइलर मॉनिटरिंग" बटन पर क्लिक करें, जहाँ आप मॉनिटरिंग के लिए x64 प्लेटफॉर्म का चयन करते हैं। वास्तव में, अवास्तविक इंजन 4 में आप 64-बिट संस्करण का निर्माण करेंगे।
3. "प्रारंभ निगरानी" बटन पर क्लिक करके, आप देखेंगे कि संकलक कॉल के लिए निगरानी मोड चालू हो गया है।
4. अब आप Visual Studio पर जाएँ और बिल्ड बटन पर क्लिक करें - प्रोजेक्ट बन रहा है। उसी समय, मॉनिटरिंग विंडो में, आप देखते हैं कि कंपाइलर कॉल इंटरसेप्टेड हैं। कृपया ध्यान दें कि इंटरसेप्टेड कॉल्स की संख्या वहां लिखी गई है, न कि कोड फाइल्स की संख्या। तथ्य यह है कि अक्सर संकलक तर्कों में कई फाइलों के साथ शुरू होता है। इसलिए, संकलक की संख्या फ़ाइलों की संख्या से कम या बराबर है।
5. जब Visual Studio का निर्माण समाप्त हो जाता है, तो आप स्टॉप मॉनिटरिंग बटन पर क्लिक करते हैं। और फिर पीवीएस-स्टूडियो का काम शुरू होता है। फ़ाइलों को पूर्वनिर्मित और विश्लेषण किया जाता है। पीवीएस-स्टूडियो स्टैंडअलोन उपयोगिता विंडो में नैदानिक ​​संदेश दिखाई देते हैं। आप तुरंत उनके साथ काम करना शुरू कर सकते हैं। लेकिन मैं UE4.plog फ़ाइल के सत्यापन के परिणाम को सहेजने के लिए विश्लेषण के पूरा होने की प्रतीक्षा कर रहा हूं। फिर पीवीएस-स्टूडियो स्टैंडअलोन को बंद करें, पीवीएस-स्टूडियो मेनू का उपयोग करके विजुअल स्टूडियो से UE4.plog फ़ाइल खोलें और पहले से ही स्कैन परिणामों के साथ काम करें। क्यों? हां, क्योंकि Visual Studio में आपके पास IntelliSense होगा, और आप आसानी से कोड नेविगेशन कर सकते हैं, मैक्रो मान देख सकते हैं, और चर घोषणाएँ देख सकते हैं। यह सब, निश्चित रूप से, पीवीएस-स्टूडियो स्टैंडअलोन में किया जा सकता है, लेकिन हम ईमानदार होंगे - हमारा उपकरण विजुअल स्टूडियो के लिए उपयोग करने योग्य है।

ऐसे सरल तरीके से, आप पीवीएस-स्टूडियो में ग्राफिकल मॉनिटरिंग इंटरफ़ेस का उपयोग करके परियोजनाओं की जांच कर सकते हैं। लेकिन क्या कमांड लाइन से निगरानी शुरू करना सुविधाजनक है? इसके बारे में अगले भाग में।

विकल्प 2 - कमांड लाइन इंटरफेस के साथ निगरानी

लेकिन यह भी होता है कि निगरानी के लिए ग्राफिकल इंटरफ़ेस बहुत सुविधाजनक नहीं है। मान लीजिए हम Qt 5.2 की जांच करना चाहते हैं। ऐसा करने के लिए, हम वितरण पैकेज को एक संग्रह के रूप में डाउनलोड करते हैं, इसे अनपैक करते हैं। Visual Studio 2012 कमांड प्रॉम्प्ट (सही वातावरण के लिए) लॉन्च करें, Qt वाले फ़ोल्डर पर जाएँ और निम्न कार्य करें:

1. हम निगरानी मोड शुरू करते हैं:

"C: \ Program Files (x86) \ PVS-Studio \ CLMonitor.exe" मॉनिटर

कार्यक्रम तुरंत समाप्त हो जाएगा, लेकिन स्मृति में "ट्रैकिंग मॉड्यूल" छोड़ देगा।

1. हम config.exe शुरू करते हैं - यह Qt पैकेज से एक प्रोग्राम है जो असेंबली के लिए एक स्क्रिप्ट तैयार करता है।
2. एनएमके लॉन्च करें - वापस बैठें और क्यूटी को इकट्ठा करने के लिए प्रतीक्षा करें।
3. जब Qt का निर्माण पूरा हो जाता है, तो हमें निगरानी को बताना होगा कि यह समय है कि वह निगरानी पूरी करे और विश्लेषण करना शुरू करे (Win32 प्लेटफॉर्म के लिए, लॉग में परिणाम सहेजें):

"C: \ Program Files (x86) \ PVS-Studio \ CLMonitor.exe" C: \ Qt5.log_32 का विश्लेषण करें

1. जब विश्लेषण पूरा हो जाता है, तो विश्लेषक का परिणाम एक लॉग फ़ाइल में सहेजा जाएगा। मैं सीधे लॉग के साथ काम करने की सलाह नहीं देता। पीवीएस-स्टूडियो स्टैंडअलोन में इसे खोलना बेहतर है, वहां लॉग के साथ काम करना अधिक सुविधाजनक है।

जैसा कि आप देख सकते हैं, कमांड लाइन से किसी भी बिल्ड सिस्टम के साथ प्रोजेक्ट्स की जांच करना यूजर इंटरफेस का उपयोग करने से अधिक कठिन नहीं है। वही 5 सरल बिंदु।

समस्याओं और सीमाओं के बारे में

हमने निगरानी तकनीक में किसी भी मूलभूत समस्या की पहचान नहीं की है (अभी तक?)। लेकिन यह कुछ बारीकियों के बारे में जानने लायक है।

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

दूसरे, कभी-कभी पहले से तैयार हेडर के साथ बारीकियां होती हैं। अक्सर ऐसा होता है कि हेडफ़ोन को प्री-कंपाइल करने का रास्ता शामिल फ़ोल्डर की सूची में नहीं होता है। उसी समय, संकलक ऐसे हेडर पाता है, और प्रीप्रोसेसर (जो कंपाइलर का हिस्सा है!) अब इसे नहीं ढूंढता है। यहां समाधान सरल है - स्पष्ट रूप से शामिल फ़ोल्डर की सूची से कुछ शामिल फ़ाइलों के लिए पथ जोड़ें।

ट्रायल ट्रायल

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