Cppcheck प्रकल्प सुधारणांच्या अंमलबजावणीसाठी निधी उभारत आहे.

Cppcheck (Daniel Marjamäki) चा विकसक त्याच्या स्थिर विश्लेषकामध्ये C आणि C++ मधील सॉफ्टवेअर सत्यापित करण्याची क्षमता जोडणार आहे.

Cppcheck मध्ये सॉफ्टवेअर पडताळणी

"पडताळणी" मोडमध्ये, Cppcheck जर कोड सुरक्षित असल्याचे सत्यापित करू शकत नसेल तर एक चेतावणी जारी करेल, परंतु यामुळे आवाज (एकाधिक चेतावणी) होऊ शकतो.

अंमलबजावणी योजना

पडताळणी मोड क्रमाक्रमाने लागू केला जाईल. पहिल्या टप्प्यावर, काम शून्य तपासणीद्वारे विभागणीवर केंद्रित होईल. हे तुलनेने सोपे चेक आहे. प्रत्येक फंक्शनची स्वतंत्रपणे चाचणी केली जाईल. असे मानले जाते की सर्व इनपुट डेटामध्ये अनियंत्रित मूल्य असू शकते. इतर प्रकारच्या अपरिभाषित वर्तनासाठी तपासण्या नंतर जोडल्या जातील. C आणि C++ पार्सिंग सुधारण्यासाठी देखील योजना आहेत.

विकासाला गती द्या

Kickstarter वर निधी उभारणीचे उद्दिष्ट सत्यापन मोडच्या विकासाला गती देणे हे आहे. तरीही आम्ही हे वैशिष्ट्य जोडण्याची योजना आखत आहोत, परंतु निधी जमा न केल्यास कामास जास्त वेळ लागू शकतो. निधी उभारला गेल्यास, डॅनियल त्याच्या कामाचा वेळ पूर्णपणे cppcheck प्रकल्पासाठी समर्पित करण्यासाठी त्याच्या मुख्य कामातून अनुपस्थितीची रजा घेण्यास सक्षम असेल.

प्रकल्पाची उद्दिष्टे

• मध्ये शून्य चाचण्यांद्वारे विभागणीतून खोटे नकारात्मक काढून टाकणे जुलियट и आयटीसी.

• खोट्या सकारात्मकतेची सुधारणा (पहा. BUG#9402).

• C++ पार्सरची सुधारणा.

स्त्रोत: linux.org.ru