🛀🏼 ❇️ 🆙 लिब्रॉ, कवरिटी स्कैन, पीवीएस-स्टूडियो 🦗 🎼 👩🏼‍🤝‍👩🏻

मैंने कवरेज SCAN का उपयोग करते हुए एक छोटे LibRaw प्रोजेक्ट की जांच करने पर एक नोट पढ़ा। यह लेख से इस प्रकार है कि कुछ भी दिलचस्प नहीं मिला। मैंने कोशिश करने का फैसला किया कि क्या पीवीएस-स्टूडियो विश्लेषक कुछ पा सकता है।

LibRaw

LibRaw डिजिटल कैमरों (CRW / CR2, NEF, RAF, DNG और अन्य) से प्राप्त RAW फ़ाइलों को पढ़ने के लिए एक पुस्तकालय है। वेबसाइट: http://www.libraw.org/

कवर स्कैन के साथ सत्यापन

और यहां एक लेख है जिसने मुझे पीवीएस-स्टूडियो का उपयोग करके परियोजना का परीक्षण करने के लिए प्रेरित किया: " सी ++ के स्थैतिक विश्लेषण के बारे में "। लेख के मुख्य भाग को संक्षेप में उद्धृत करें:

कवरेज स्कैन: 107 चेतावनियाँ, जिनमें से लगभग एक तिहाई उच्च प्रभाव के साथ हैं।

उच्च प्रभाव से:

Microsoft STL में 10 टुकड़े करें

इस तरह की एक निश्चित राशि:

int variable; if(layout==Layout1) variable=value1; if(layout==Layout2) variable=value2;

और इसके लिए एक चेतावनी दी गई है, वे गलत तरीके से कहते हैं, एक प्रारंभिक चर नहीं। मैं सामान्य भावनाओं पर उससे सहमत हूं, इसलिए ऐसा न करें। लेकिन वास्तविक जीवन में दो प्रकार के लेआउट हैं - और यह स्पष्ट रूप से कॉलिंग कोड में कहा गया है। यानी मशीन के पास यह महसूस करने के लिए पर्याप्त डेटा है कि यह 'उच्च प्रभाव' नहीं है, लेकिन सिर्फ गलत है।

चेतावनियों की एक निश्चित संख्या, जो बिना बताए छोटी होने पर 32-64 बिट्स तक फैल जाती है, काट सकती है। मैं इसके साथ बहस नहीं करना चाहता - औपचारिक रूप से मशीन सही है, लेकिन वास्तव में तस्वीर के आयाम इन अहस्ताक्षरित शॉर्ट में रहते हैं और वे आने वाले वर्षों में 32767 तक नहीं बढ़ेंगे।

यानी फिर, इसे ठीक करने की कोई आवश्यकता नहीं है - इस विषय क्षेत्र के मामले में।

'हाई इम्पैक्ट' द्वारा पाई गई अन्य सभी समस्याएं केवल झूठी सकारात्मक हैं। यानी कोड, मैं मानता हूं, एकदम सही नहीं है (आपको इस कोड को dcraw से देखा जाना चाहिए!), लेकिन जो कुछ भी मिला है वह त्रुटि नहीं है।

पीवीएस-स्टूडियो के साथ मान्यता

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

पीवीएस-स्टूडियो विश्लेषक ने 46 सामान्य चेतावनी संदेश (पहली और दूसरी गंभीरता स्तर) उत्पन्न किए।

मेरा सुझाव है कि कोड स्निपेट देखें जो मुझे दिलचस्प लगे।

शुद्धिपत्र

 void DHT::hide_hots() { .... for (int k = -2; k < 3; k += 2) for (int m = -2; m < 3; m += 2) if (m == 0 && m == 0) continue; else avg += nraw[nr_offset(y + k, x + m)][kc]; .... }

चेतावनी PVS-Studio: V501 बाईं और '&&' ऑपरेटर के दाईं ओर समान उप-अभिव्यक्तियाँ हैं: m == 0 && m == 0 dht_demosaic.cpp 260

जाहिर तौर पर हम एक टाइपो के साथ काम कर रहे हैं। सबसे अधिक संभावना है, चेक इस तरह होना चाहिए:

 if (k == 0 && m == 0)

Aahd_demosaic.cpp फ़ाइल (पंक्ति 199) में एक समान टुकड़ा भी पाया जाता है।

प्राथमिकता संचालन

 int main(int argc, char *argv[]) { int ret; .... if( (ret = RawProcessor.open_buffer(iobuffer,st.st_size) != LIBRAW_SUCCESS)) { fprintf(stderr,"Cannot open_buffer %s: %s\n", argv[arg],libraw_strerror(ret)); free(iobuffer); continue; } .... }

PVS-Studio चेतावनी: V593 'A = B! = C' प्रकार की अभिव्यक्ति की समीक्षा करने पर विचार करें। अभिव्यक्ति की गणना निम्न प्रकार से की जाती है: 'ए = (बी! = सी)'। dcraw_emu.cpp 468

ऑपरेशन प्राथमिकताओं से संबंधित त्रुटि। शुरुआत में, तुलना "RawProcessor.open_buffer (iobuffer, st.st.size)! = LIBRAW_SUCCESS" की जाती है। फिर इस तुलना का परिणाम चर 'रिट' पर लिखा जाता है। यदि कोई त्रुटि होती है, तो फ़ाइल में गलत त्रुटि कोड मुद्रित किया जाएगा। महत्वपूर्ण दोष नहीं है, लेकिन फिर भी इसके बारे में बात करने लायक है।

नकारात्मक पारी

 unsigned CLASS pana_bits (int nbits) { .... return (buf[byte] | buf[byte+1] << 8) >> (vbits & 7) & ~(-1 << nbits); .... }

चेतावनी PVS-Studio: V610 अपरिभाषित व्यवहार। शिफ्ट ऑपरेटर की जाँच करें <<। बायां संचालक '-1' ऋणात्मक है। dcraw_common.cpp 1827

नकारात्मक मूल्यों को स्थानांतरित करने से अपरिभाषित व्यवहार होता है। ये तरकीबें अक्सर इस्तेमाल की जाती हैं, और कार्यक्रम काम करने का दिखावा करता है। लेकिन वास्तव में, आप ऐसे कोड पर भरोसा नहीं कर सकते। आप यहां नकारात्मक संख्याओं की पारियों के बारे में अधिक पढ़ सकते हैं: कांटे को जाने बिना, पानी में नहीं उतरें। भाग तीन

इसी तरह के बदलाव यहां देखे जा सकते हैं:

dcraw_common.cpp 1851
dcraw_common.cpp 2085
dcraw_common.cpp 2814
dcraw_common.cpp 6644

अजीब टुकड़े

 void DHT::illustrate_dline(int i) { .... int l = ndir[nr_offset(y, x)] & 8; l >>= 3; l = 1; .... }

PVS-Studio चेतावनी: V519 'l' चर को क्रमिक रूप से दो बार मान दिया गया है। शायद यह एक गलती है। चेक लाइनें: 671, 672. dht_demosaic.cpp 672

शायद यह कोई गलती नहीं है और "एल = 1" विशेष रूप से लिखा गया है। हालांकि, कोड संदिग्ध लग रहा है।

यहाँ एक और संदिग्ध जगह है:

 void CLASS identify() { .... if (!load_raw && (maximum = 0xfff)) .... }

पीवीएस-स्टूडियो चेतावनी: V560 सशर्त अभिव्यक्ति का एक हिस्सा हमेशा सच होता है: ((imgdata.color.maximum) = 0xfff)। dcraw_common.cpp 8496

निष्कर्ष

दोनों विश्लेषक बहुत कम पाए गए। यह छोटी परियोजनाओं के लिए स्वाभाविक है। हालांकि, LibRaw का परीक्षण करने के लिए एक प्रयोग करना दिलचस्प था।

लिब्रॉ, कवरिटी स्कैन, पीवीएस-स्टूडियो