Cppcheck
From Wikipedia, the free encyclopedia
Cppcheck est un outil d'analyse de code statique pour les langages de programmation C et C++. C'est un outil polyvalent qui permet de vérifier du code non standard[2]. Le créateur et développeur principal est Daniel Marjamäki.
| Créateur | Daniel Marjamäki |
|---|---|
| Première version | 8 mai 2007 |
| Dernière version | 2.18.0 ()[1] |
| Dépôt | github.com/danmar/cppcheck |
| Écrit en | C++ |
| Système d'exploitation | Type Unix |
| Environnement | Cross-platform |
| Langues | Anglais, Néerlandais, Finlandais, Suédois, Allemand, Russe, Polonais, Japonais, Serbe |
| Type | Qualité logicielle |
| Licence | GNU General Public License |
| Site web | cppcheck.sourceforge.net |
Cppcheck est un un logiciel open-core avec sa version de base sous la Licence Publique Générale de GNU.
Caractéristiques
Cppcheck prend en charge une large variété de vérifications statiques qui peuvent ne pas être couverts par le compilateur lui-même. Ces vérifications sont des contrôles d'analyse statique qui peuvent être effectués au niveau du code source. Le programme se concentre sur les contrôles rigoureux de l'analyse statique, plutôt que par heuristique.
Certains des contrôles qui sont pris en charge comprennent :
- Vérification de variables automatiques.
- La vérification des limites de la taille des tableaux pour éviter un dépassement
- La vérification des classes (par exemple les fonctions inutilisées, l'initialisation d'une variable ou la duplication de mémoire)
- L'utilisation des fonctions obsolètes ou remplacées conformément à l'Open Group[3]
- Vérification des exceptions de sécurité, par exemple les vérifications des utilisations d'allocation et de destruction de mémoire.
- Les fuites de mémoire, par exemple due à la perte de portée sans libération
- Les fuites de ressource, par exemple oublier de fermer un descripteur de fichier.
- L'utilisation non valide de fonctions de la Bibliothèque de modèles Standard et d'expressions idiomatiques
- Divers stylistiques et des erreurs de performance
Comme dans le cas de nombreux programmes d'analyse, il existe beaucoup de cas inhabituels d'expressions idiomatiques qui peuvent être acceptables, dans des cas particuliers ciblés, ou hors de la portée du programmeur lors de la correction du code source. Une étude menée en mars 2009, a identifié plusieurs domaines où des faux positifs ont été trouvés par Cppcheck, mais sans spécifier la version du programme examiné[4]. Cppcheck est utilisé dans des systèmes tels que le méta-anlayseur de paquet du CERN 4DSOFT[5], pour le code de vérification dans les dispositifs de détecteur de particules à haute énergie[6], le système de surveillance de radio-télescopes[7] ainsi que pour l'analyse d'erreurs dans de grands projets, tels que OpenOffice.org[8] et l'archive Debian[9].
Développement
Les Plugins
Intégration dans Visual Studio
Le programme commercial tiers Visual Lint de la société britannique Riverblade peut être utilisé pour intégrer CppCheck dans Visual Studio[28].
Il y a également un plugin open-source cppcheck-vs-addin[29] qui est disponible.
Il est également possible d'ajouter Cppcheck en tant qu'un outil externe[30].
Voir aussi
- Liste d'outils d'analyse statique (en)
