Il progetto Cppcheck sta raccogliendo fondi per implementare miglioramenti.

Lo sviluppatore di Cppcheck (Daniel Marjamäki) aggiungerà la capacità di verificare il software in C e C++ al suo analizzatore statico.

Verifica del software in Cppcheck

In modalità "verifica", Cppcheck emetterà un avviso se non è in grado di verificare che il codice sia sicuro, ma ciò potrebbe causare rumore (avvisi multipli).

Piani di attuazione

La modalità di verifica verrà implementata in modo sequenziale. Nella prima fase il lavoro si concentrerà sulla divisione mediante controllo dello zero. Questo è un controllo relativamente semplice. Ogni funzione verrà testata separatamente. Si presuppone che tutti i dati di input possano avere un valore arbitrario. I controlli per altri tipi di comportamento non definito verranno aggiunti in seguito. Sono inoltre previsti piani per migliorare l'analisi di C e C++.

Accelerare lo sviluppo

L'obiettivo della raccolta fondi su Kickstarter è accelerare lo sviluppo della modalità di verifica. Abbiamo intenzione di aggiungere comunque questa funzionalità, ma il lavoro potrebbe richiedere più tempo se i fondi non vengono raccolti. Se i fondi verranno raccolti, Daniel potrà prendersi un congedo dal suo lavoro principale per dedicare completamente il suo tempo lavorativo al progetto cppcheck.

Obiettivi del progetto

• Eliminazione dei falsi negativi dalla divisione per zero nei test Giulietta и ITC.

• Correzione dei falsi positivi (vedi. BUG#9402).

• Miglioramento del parser C++.

Fonte: linux.org.ru