cppcheck 2.6 चे प्रकाशन, C++ आणि C भाषांसाठी एक स्थिर कोड विश्लेषक

स्टॅटिक कोड विश्लेषक cppcheck 2.6 ची नवीन आवृत्ती जारी केली गेली आहे, जी तुम्हाला C आणि C++ भाषांमधील कोडमधील त्रुटींच्या विविध वर्गांची ओळख करण्यास अनुमती देते, ज्यामध्ये नॉन-स्टँडर्ड सिंटॅक्स वापरताना, एम्बेडेड सिस्टमसाठी वैशिष्ट्यपूर्ण आहे. प्लगइन्सचा संग्रह प्रदान केला जातो ज्याद्वारे cppcheck विविध विकास, सतत एकत्रीकरण आणि चाचणी प्रणालींसह एकत्रित केले जाते आणि कोड शैलीसह कोड अनुपालन तपासण्यासारखी वैशिष्ट्ये देखील प्रदान करते. कोड पार्स करण्यासाठी, तुम्ही तुमचा स्वतःचा पार्सर किंवा क्लॅंग मधील बाह्य पार्सर वापरू शकता. त्यात डेबियन पॅकेजेससाठी सहयोगी कोड पुनरावलोकन कार्य करण्यासाठी स्थानिक संसाधने प्रदान करण्यासाठी donate-cpu.py स्क्रिप्ट देखील समाविष्ट आहे. प्रकल्पाचा स्त्रोत कोड GPLv3 परवान्याअंतर्गत वितरित केला जातो.

सीपीपीचेकचा विकास अपरिभाषित वर्तनाशी संबंधित समस्या ओळखण्यावर आणि सुरक्षिततेच्या दृष्टिकोनातून धोकादायक असलेल्या डिझाइनचा वापर करण्यावर केंद्रित आहे. खोट्या सकारात्मक गोष्टी कमी करणे हे देखील ध्येय आहे. ओळखल्या गेलेल्या समस्यांपैकी: अस्तित्वात नसलेल्या वस्तूंचे पॉइंटर, शून्याने विभागणे, पूर्णांक ओव्हरफ्लो, चुकीचे बिट शिफ्ट ऑपरेशन्स, चुकीची रूपांतरणे, मेमरीसह काम करताना समस्या, एसटीएलचा चुकीचा वापर, शून्य पॉइंटर डीरेफरेन्सेस, प्रत्यक्ष प्रवेशानंतर तपासण्यांचा वापर बफर, बफर ओव्हररन्स, अनइनिशियलाइज्ड व्हेरिएबल्सचा वापर.

नवीन आवृत्तीमध्ये:

• खालील चेक विश्लेषक कोरमध्ये जोडले गेले आहेत:
  • फंक्शन बॉडीमध्ये रिटर्न ऑपरेटरची अनुपस्थिती;
  • ओव्हरलॅपिंग डेटा रेकॉर्ड करते, अपरिभाषित वर्तन निर्धारित करते;
  • ज्या मूल्याची तुलना केली जात आहे ते प्रकाराच्या मूल्य प्रतिनिधित्वाच्या बाहेर आहे;
  • कॉपी ऑप्टिमायझेशन रिटर्न std::move(local) वर लागू होत नाही;
  • वेगवेगळ्या प्रवाहात (प्रवाह) वाचन आणि लेखनासाठी फाइल एकाच वेळी उघडता येत नाही;
• युनिक्स प्लॅटफॉर्मसाठी, डायग्नोस्टिक संदेश वेगवेगळ्या रंगांमध्ये प्रदर्शित करण्यासाठी जोडलेले समर्थन;
• ValueFlow साठी सांकेतिक विश्लेषण जोडले. दोन अज्ञात चलांमधील फरक मोजताना साधे डेल्टा वापरते;
• टोकन्सच्या यादीसाठी वापरलेले नियम "परिभाषित" देखील #समाविष्ट करू शकतात;
• लायब्ररी टॅग आता टॅग असू शकतो , आणि त्यानुसार फ्री फंक्शन्स, जे कंटेनर स्वीकारू शकतात जसे की std::size, std::empty, std::begin, std::end, इ. कनेक्टर्ससाठी येल्ड किंवा क्रिया निर्दिष्ट करू शकते;
• लायब्ररी टॅग आता टॅग असू शकतो अद्वितीय मालकी असलेल्या स्मार्ट पॉइंटरसाठी. या प्रकारच्या स्मार्ट पॉइंटर्सच्या लटकणाऱ्या संदर्भांबद्दल आता एक चेतावणी जारी केली जाते;
• —cppcheck-build-dir पॅरामीटरवर प्रक्रिया करताना समस्या निश्चित केल्या;
• htmlreport आता लेखकाबद्दल माहिती प्रदर्शित करू शकते (गिट दोष वापरून);
• व्हेरिएबल्सबद्दल विस्तारित इशारे जे स्थिर नसतात, परंतु असू शकतात;
• विश्लेषकाच्या संचित चुका आणि उणिवा दुरुस्त केल्या आहेत.

याव्यतिरिक्त, नियम 2012, 1 आणि 2 वगळता, दुरुस्ती 1.1 आणि दुरुस्ती 1.2 सह मिश्रा C 17.3 चे चेक पूर्णपणे लागू केले गेले आहेत. 1.1 आणि 1.2 चे चेक कंपाइलरने केले पाहिजेत. सत्यापन 17.3 हे GCC सारख्या कंपाइलरद्वारे केले जाऊ शकते.

स्त्रोत: opennet.ru