Lo sviluppatore di Cppcheck (Daniel Marjamäki) prevede di aggiungere la possibilità di verifica del software in C e C++ al suo analizzatore statico.
Verifica del software in Cppcheck
In modalità 'verifica', Cppcheck genererà un avviso se non riesce a confermare che il codice è sicuro, ma ciò potrebbe portare a rumore (molti avvisi).
Piani di implementazione
La modalità di verifica sarà implementata progressivamente. Nella prima fase, il lavoro si concentrerà sul controllo della 'divisione per zero'. Si tratta di un controllo relativamente semplice. Ogni funzione sarà verificata singolarmente. Si presume che tutti i dati di input possano avere un valore arbitrario. Verifiche di altri tipi di comportamento indefinito saranno aggiunte in seguito. È inoltre in programma un miglioramento dell'analisi sintattica di C e C++.
Accelerazione dello sviluppo
L'obiettivo della raccolta fondi su Kickstarter è accelerare lo sviluppo della modalità di verifica. Si prevede di aggiungere questa funzionalità in ogni caso, ma il lavoro potrebbe richiedere più tempo se i fondi non verranno raccolti. Se invece i fondi verranno raccolti, Daniel potrà prendere un congedo dal lavoro principale per dedicare completamente il suo tempo al progetto cppcheck.
Obiettivi del progetto
Miglioramento dell'analizzatore C++.
Fonte: linux.org.ru
