U prughjettu Cppcheck raccoglie fondi per implementà e migliure.

U sviluppatore di Cppcheck (Daniel Marjamäki) hà da aghjunghje l'abilità di verificà u software in C è C ++ à u so analizatore staticu.

Verificazione di u software in Cppcheck

In u modu di "verificazione", Cppcheck emette un avvisu s'ellu ùn pò micca verificà chì u codice hè sicuru, ma questu pò esse risultatu in rumore (avvertimenti multipli).

Piani di implementazione

U modu di verificazione serà implementatu in sequenza. À a prima tappa, u travagliu si cuncintrarà nantu à a divisione per u cuntrollu zero. Questu hè un cuntrollu relativamente simplice. Ogni funzione serà testata separatamente. Si assume chì tutti i dati di input pò avè un valore arbitrariu. I cuntrolli per altri tipi di cumpurtamentu indefinitu seranu aghjuntu dopu. Ci hè ancu piani per migliurà l'analisi C è C++.

Accelerate u sviluppu

U scopu di a raccolta di fondi in Kickstarter hè di accelerà u sviluppu di u modu di verificazione. In ogni casu, avemu pensatu à aghjunghje sta funzione, ma u travagliu pò durà più longu se i fondi ùn sò micca riuniti. Se i fondi sò riuniti, Daniel hà da pudè piglià un permessu di assenza da u so travagliu principale per dedicà u so tempu di travagliu à u prugettu cppcheck.

Obiettivi di u prugettu

• Eliminazione di falsi negativi da a divisione per teste zero in Juliet и ITC.

• Correzione di falsi pusitivi (vede. BUG #9402).

• Migliuramentu di u parser C++.

Source: linux.org.ru