C/C++ gratuit alternative à charpie ?

Question

Je suis intéressé par un outil gratuit qui peut vérifier statiquement mon C++ code comme le fait de la charpie. Des conseils ?

Answer 1

Essayez cppcheck, trouvé ici: http://cppcheck.wiki.sourceforge.net/

Voici un échantillon de quelques-unes de ces contrôles, il peut effectuer ou que je l'ai utilisé pour:

• Tableau des indices en dehors des limites
• Mémoire/ressources des fuites
• Une mauvaise nouvelle/supprimer
• Défaut de mettre les destructeurs virtuels sur les classes dérivées
• Désadaptation d'allocation et de désallocation
• Libérer un pointeur désalloué
• À l'aide de la variable après il est libéré / publié
• La taille de l'inadéquation
• Non valide radix en appel à l' strtol ou strtoul
• Le chevauchement des tampons de données
• Non signé de la division; le résultat peut être erroné
• Inhabituelle de l'arithmétique des pointeurs
• De retour pointeur de tableau de variables locales
• Même itérateur est utilisé avec deux récipients
• Dangereux l'utilisation de l'effacer
• Après le refoulement ou pushfront, itérateur peut être invalide
• Des dépassements de mémoire tampon
• Dangereux l'utilisation de strncat, possible dépassement de la mémoire tampon

Answer 2

Une liste comme c’est peut-être ce que vous recherchez :

http://en.wikipedia.org/wiki/List_of_tools_for_static_code_analysis

On dirait que vous obtiendrez la plupart utilisent hors attelle ou Uno .

Answer 3

Un autre outil pour la liste : Google cpplint.py, style C++ de laquelle Google guide mentionne. Il est très spécifique à Google, mais tout de même.

Answer 4

Personnellement, j’ai essayé cppcheck (v1.4) et jugé sans espoir.

par exemple. Cet exemple a été correctement détecté pour tableau hors des limites :

Mais cet exemple n’a pas été détecté :

Answer 5

l’attelle ?