Cppcheck est un outil d'analyse statique pour des codes en C/C++, conçu pour identifier des bugs, des comportements indéfinis (undefined behavior) et des pratiques de codage potentiellement dangereuses. Ses principales caractéristiques et objectifs sont :
Détection de Problèmes Complexes:
Se concentre sur des erreurs difficiles à identifier lors de tests conventionnels, comme :
Fuites de mémoire.
Accès invalides aux pointeurs.
Conditions non initialisées ou indéfinies.
Violations de limites de tableaux.
Faible Taux de Faux Positifs:
Priorise la précision, réduisant les alertes non pertinentes pour ne pas surcharger les développeurs.
Support des Syntaxes Non Standards:
Analyse du code avec des extensions spécifiques aux compilateurs ou des pratiques courantes dans des projets embarqués, où la flexibilité est cruciale.
Intégration et Personnalisation:
Peut être utilisé via la ligne de commande, intégré à des IDE (comme Visual Studio ou Eclipse) ou dans des pipelines CI/CD. Permet la création de règles personnalisées.
Analyse Multithread:
Offre des options pour accélérer la vérification dans de grands projets.