Cppcheck परियोजनाले सुधारहरू कार्यान्वयन गर्न कोष उठाउँदै छ।

Cppcheck को विकासकर्ता (Daniel Marjamäki) ले आफ्नो स्थिर विश्लेषकमा C र C++ मा सफ्टवेयर प्रमाणीकरण गर्ने क्षमता थप्न गइरहेको छ।

Cppcheck मा सफ्टवेयर प्रमाणिकरण

"प्रमाणीकरण" मोडमा, Cppcheck ले कोड सुरक्षित छ भनेर प्रमाणित गर्न नसकेमा चेतावनी जारी गर्नेछ, तर यसले आवाज (बहु चेतावनी) निम्त्याउन सक्छ।

कार्यान्वयन योजनाहरू

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

विकासलाई गति दिनुहोस्

Kickstarter मा कोष सङ्कलन को लक्ष्य प्रमाणीकरण मोड को विकास को गति छ। हामी जे भए पनि यो सुविधा थप्ने योजना बनाउछौं, तर कोष उठाउन सकिएन भने काममा धेरै समय लाग्न सक्छ। यदि कोष उठ्यो भने, डेनियलले आफ्नो कामको समय पूर्ण रूपमा cppcheck परियोजनामा ​​समर्पित गर्नको लागि आफ्नो मुख्य कामबाट अनुपस्थितिको बिदा लिन सक्षम हुनेछन्।

परियोजना लक्ष्यहरू

• मा शून्य परीक्षण द्वारा विभाजनबाट झूटा नकारात्मकहरू हटाउँदै जूलियट и आईटीसी.

• गलत सकारात्मक को सुधार (हेर्नुहोस्। BUG#9402).

• C++ पार्सरको सुधार।

स्रोत: linux.org.ru