सी++ और सी भाषाओं के लिए एक स्थिर कोड विश्लेषक, सीपीपीचेक 2.6 का विमोचन

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

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

नये संस्करण में:

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

इसके अतिरिक्त, नियम 2012, 1 और 2 को छोड़कर, संशोधन 1.1 और संशोधन 1.2 सहित मिश्रा सी 17.3 के चेक पूरी तरह से लागू किए गए हैं। 1.1 और 1.2 की जांच कंपाइलर द्वारा की जानी चाहिए। सत्यापन 17.3 जीसीसी जैसे कंपाइलर द्वारा किया जा सकता है।

स्रोत: opennet.ru