Cppcheck

Cppcheck

Cppcheck
Cppcheck
Description de l'image Cppcheck icon.png.
Description de l'image CppcheckPortable 2.13.0 en.png.
Informations
Créateur Daniel Marjamäki
Première version 8 mai 2007; 11 ans auparavant
Dernière version 2.21.0 ()[1]Voir et modifier les données sur Wikidata
Dépôt github.com/danmar/cppcheckVoir et modifier les données sur Wikidata
Écrit en C++
Système d'exploitation Type UnixVoir et modifier les données sur Wikidata
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

modifier - modifier le code - voir Wikidata (aide)

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.

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 , 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

Le projet est activement en cours de développement[10] et est maintenu dans plusieurs distributions[11],[12]. Il a déjà trouvé plusieurs bugs dans un certain nombre de projets populaires[13] comme le noyau Linux ou MPlayer[14].

Les Plugins

Des Plugins pour les IDE suivant existent[15] :

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

Références

  1. ↑ « Release 2.21.0 », (consulté le )
  2. ↑ « A Survey of C and C++ Software Tools for Computational Science » [archive du ], Science and Technologies Facility Council, sur Science and Technologies Facility Council, Chilbolton, Daresbury, and Rutherford Appleton Laboratories, (consulté le ), p. 14
  3. ↑ « System Interfaces », sur opengroup.org (consulté le ).
  4. ↑ « Static Code Analysis For Embedded Systems »
  5. ↑ « Dissemination and use of knowledge plan (EU Deliverable DNA2.11 »,
  6. ↑ « Entwurf und Implementierung eines adaptiven, strahlentoleranten eingebetteten Systems am Beispiel eines Read-Out-Controllers (En: Development and implementation of an adaptive, radiation tolerant embedded system for operation of a Read-Out controller) » [archive du ],
  7. ↑ « The Wettzell System Monitoring Concept and First Realizations », International VLBI Service for Geodesy & Astrometry, , p. 447
  8. ↑ « Hunting for vulnerabilities in large software : the OpenOffice suite »
  9. ↑ « Introducing the "Debian's Automated Code Analysis" (DACA) project », LWN.net
  10. ↑ Cppcheck on Github
  11. ↑ Cppcheck on Debian's Package Tracking System
  12. ↑ FreeBSD port
  13. ↑ « List of user reported bugs found by cppcheck »
  14. ↑ « Found Bugs list » [archive du ], SourceForge, sur SourceForge
  15. ↑ « SourceForge.net: cppcheck », sourceforge.net, sur sourceforge.net
  16. ↑ « cppcheck plugin for CLion », plugins.jetbrains.com, sur plugins.jetbrains.com
  17. ↑ « Cppcheclipse », github.com, sur github.com
  18. ↑ « Flycheck », github.com, sur github.com
  19. ↑ « gedit Cppcheck plugin », github.com, sur github.com
  20. ↑ « Cppcheck Plugin », hudson-ci.org, sur hudson-ci.org
  21. ↑ « Cppcheck Plugin », jenkins-ci.org, sur jenkins-ci.org
  22. ↑ Christoph Cullmann, « Kate Project Plugin News – Code Analysis », sur Kate | Get an Edge in Editing, (consulté le )
  23. ↑ Kevin Funk, « KDevelop's Cppcheck plugin merged into kdevelop.git, will be released with 5.1 », (consulté le )
  24. ↑ « Qt Creator Plug-in Gallery », Qt Wiki, sur Qt Wiki
  25. ↑ « Sublimelinter plugin », github.com, sur github.com
  26. ↑ « Cppcheck add-in », Visual Studio Marketplace, sur Visual Studio Marketplace
  27. ↑ Michael Scovetta, « Yasca »
  28. ↑ Riverblade, « Visual Lint homepage » (consulté le )
  29. ↑ VioletGiraffe, « Homepage cppcheck-vs-addin » (consulté le )
  30. ↑ Srix, « Simple open source static analysis tool for Visual Studio » [archive du ] (consulté le )

Liens externes

Content Disclaimer

Informasi ini disarikan dari Wikipedia dan disajikan kembali untuk tujuan edukasi. Konten tersedia di bawah lisensi CC BY-SA 3.0. Kami tidak bertanggung jawab atas ketidakakuratan data yang bersumber dari kontribusi publik tersebut.

  1. The information displayed on this website is sourced in part or in whole from Wikipedia and has been adapted for the purpose of restating it. We strive to provide accurate and relevant information, however:
  2. There is no guarantee of absolute accuracy. Wikipedia is an open, collaborative project that can be edited by anyone, so information is subject to change.
  3. It is not intended to constitute professional advice. The content displayed is for informational and educational purposes only. For important decisions (e.g., medical, legal, or financial), please consult a professional.
  4. Content copyright. Wikipedia is licensed under the Creative Commons Attribution-ShareAlike License (CC BY-SA). This means that content may be reused with appropriate attribution and shared under a similar license.
  5. Responsible use. Any risk arising from the use of information from this website is entirely the responsibility of the user.