cppcheck 2.6 को रिलीज, C++ र C भाषाहरूको लागि स्थिर कोड विश्लेषक

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

cppcheck को विकास अपरिभाषित व्यवहारसँग सम्बन्धित समस्याहरू पहिचान गर्न र सुरक्षा दृष्टिकोणबाट खतरनाक डिजाइनहरूको प्रयोगमा केन्द्रित छ। लक्ष्य पनि गलत सकारात्मक कम गर्न को लागी छ। पहिचान गरिएका समस्याहरू मध्ये: अवस्थित नभएका वस्तुहरूका लागि सूचकहरू, शून्यद्वारा विभाजन, पूर्णांक ओभरफ्लोहरू, गलत बिट शिफ्ट अपरेशनहरू, गलत रूपान्तरणहरू, मेमोरीसँग काम गर्दा समस्याहरू, STL को गलत प्रयोग, नल पोइन्टर डिरेफरेन्सहरू, वास्तविक पहुँच पछि चेकहरूको प्रयोग। बफरमा, बफर ओभररन्स, अप्रारम्भिक चरहरूको प्रयोग।

नयाँ संस्करणमा:

• निम्न जाँचहरू विश्लेषक कोरमा थपिएका छन्:
  • प्रकार्य निकायमा रिटर्न अपरेटरको अनुपस्थिति;
  • ओभरल्यापिङ डाटा रेकर्ड गर्दछ, अपरिभाषित व्यवहार निर्धारण गर्दछ;
  • तुलना गरिएको मान प्रकारको मान प्रतिनिधित्व भन्दा बाहिर छ;
  • प्रतिलिपि अनुकूलन फिर्ता std::move(local) मा लागू हुँदैन;
  • विभिन्न स्ट्रिम (स्ट्रिम) मा पढ्न र लेख्नको लागि फाइल एकै साथ खोल्न सकिँदैन;
• युनिक्स प्लेटफर्महरूको लागि, विभिन्न रंगहरूमा निदान सन्देशहरू प्रदर्शन गर्न समर्थन थपियो;
• ValueFlow को लागि प्रतीकात्मक विश्लेषण थपियो। दुई अज्ञात चरहरू बीचको भिन्नता गणना गर्दा साधारण डेल्टा प्रयोग गर्दछ;
• टोकनहरूको सूचीको लागि प्रयोग गरिएका नियमहरू "परिभाषित" पनि #includeसँग मेल खान सक्छन्;
• पुस्तकालय ट्याग अब ट्याग समावेश गर्न सक्छ , र तदनुसार नि: शुल्क कार्यहरू, जसले कन्टेनरहरू स्वीकार गर्न सक्छ जस्तै std::size, std:: empty, std::begin, std:: end, आदि। जडानकर्ताहरूको लागि येल्ड वा कार्य निर्दिष्ट गर्न सक्छ;
• पुस्तकालय ट्याग अब ट्याग समावेश गर्न सक्छ अद्वितीय स्वामित्व भएका स्मार्ट सूचकहरूको लागि। यी प्रकारका स्मार्ट पोइन्टर्सहरूमा झुन्ड्याउने सन्दर्भहरूको बारेमा अब चेतावनी जारी गरिएको छ;
• —cppcheck-build-dir प्यारामिटर प्रशोधन गर्ने समस्याहरू समाधान गरियो;
• htmlreport ले अब लेखकको बारेमा जानकारी प्रदर्शन गर्न सक्छ (git दोष प्रयोग गरेर);
• चरहरूको बारेमा विस्तारित चेतावनीहरू जुन स्थिर छैनन्, तर हुन सक्छ;
• विश्लेषकको संचित त्रुटि र कमजोरीहरू सुधार गरिएको छ।

थप रूपमा, नियम 2012, 1 र 2 को बाहेक, संशोधन 1.1 र संशोधन 1.2 सहित मिश्र C 17.3 बाट चेकहरू पूर्ण रूपमा लागू गरिएको छ। 1.1 र 1.2 जाँचहरू कम्पाइलर द्वारा प्रदर्शन गरिनु पर्छ। प्रमाणिकरण 17.3 एक कम्पाइलर जस्तै GCC द्वारा प्रदर्शन गर्न सकिन्छ।

स्रोत: opennet.ru