Cppcheck परियोजना सुधारों को लागू करने के लिए धन जुटा रही है।

Cppcheck के डेवलपर (डैनियल मार्जामाकी) अपने स्थैतिक विश्लेषक में C और C++ में सॉफ़्टवेयर को सत्यापित करने की क्षमता जोड़ने जा रहे हैं।

Cppcheck में सॉफ़्टवेयर सत्यापन

"सत्यापन" मोड में, Cppcheck एक चेतावनी जारी करेगा यदि यह सत्यापित नहीं कर सकता कि कोड सुरक्षित है, लेकिन इसके परिणामस्वरूप शोर (एकाधिक चेतावनियाँ) हो सकता है।

कार्यान्वयन योजनाएं

सत्यापन मोड क्रमिक रूप से लागू किया जाएगा। पहले चरण में काम शून्य जांच से विभाजन पर केंद्रित होगा। यह अपेक्षाकृत सरल जांच है. प्रत्येक फ़ंक्शन का अलग से परीक्षण किया जाएगा. यह माना जाता है कि सभी इनपुट डेटा का एक मनमाना मूल्य हो सकता है। अन्य प्रकार के अपरिभाषित व्यवहार की जाँच बाद में जोड़ी जाएगी। C और C++ पार्सिंग में सुधार करने की भी योजना है।

विकास को गति दें

किकस्टार्टर पर धन उगाहने का लक्ष्य सत्यापन मोड के विकास में तेजी लाना है। हम वैसे भी इस सुविधा को जोड़ने की योजना बना रहे हैं, लेकिन यदि धन नहीं जुटाया गया तो काम में अधिक समय लग सकता है। यदि धन जुटाया जाता है, तो डैनियल अपना कार्य समय पूरी तरह से सीपीपीचेक परियोजना के लिए समर्पित करने के लिए अपनी मुख्य नौकरी से अनुपस्थिति की छुट्टी ले सकेगा।

परियोजना के उद्देश्य

• शून्य परीक्षणों द्वारा विभाजन से झूठी नकारात्मकताओं को दूर करना जूलियट и आईटीसी.

• झूठी सकारात्मकताओं का सुधार (देखें। बग#9402).

• C++ पार्सर में सुधार.

स्रोत: linux.org.ru