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 emetterà avvisi se non riuscirà a confermare che il codice è sicuro, ma ciò può portare a rumore (molteplici avvisi).
Piani di attuazione
La modalità di verifica sarà implementata progressivamente. Nella prima fase, il lavoro si concentrerà sulla verifica della 'divisione per zero'. Questa è una verifica relativamente semplice. Ogni funzione sarà controllata separatamente. Si presume che tutti i dati in ingresso possano avere un valore arbitrario. Altri tipi di controlli sul comportamento indefinito saranno aggiunti in seguito. Si prevede inoltre di migliorare l'analisi sintattica di C e C++.
Accelerare lo sviluppo
L'obiettivo della raccolta fondi su Kickstarter è accelerare lo sviluppo della modalità di verifica. Questa funzionalità verrà aggiunta in ogni caso, ma il lavoro potrebbe richiedere più tempo se i fondi non saranno raccolti. Se i fondi verranno raccolti, Daniel potrà prendere un congedo dal suo lavoro principale per dedicare completamente il suo tempo al progetto cppcheck.
Obiettivi del progetto
Miglioramento dell'analizzatore C++.
Fonte: linux.org.ru
