स्थैतिक विश्लेषक सीपीपीचेक 2.1 का विमोचन

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

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

स्रोत: opennet.ru