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

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

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

समानांतर में, स्वीडिश कंपनी Cppcheck Solutions AB Cppcheck प्रीमियम का एक विस्तारित संस्करण विकसित कर रही है, जो अनंत लूप की उपस्थिति का विश्लेषण, अप्रारंभीकृत चर के लिए बेहतर खोज और उन्नत बफर ओवरफ़्लो विश्लेषण प्रदान करता है।

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

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

स्रोत: opennet.ru