Quels outils d’analyse statique open source C++ sont disponibles ?

Question

Java a une très bonne open source les outils d'analyse statique comme FindBugs, Checkstyle et PMD. Ces outils sont faciles à utiliser, très utile, fonctionne sur plusieurs systèmes d'exploitation et gratuit.

Commercial C++ analyse statique produits sont disponibles auprès de fournisseurs Klocwork, Gimpel et de Coverity. Il y a aussi, moins connus PVS-Studio analyzer. Bien qu'ayant de tels produits sont parfaits, le coût est tout simplement trop beaucoup pour les étudiants et il est généralement assez difficile d'obtenir une version d'essai.

L'alternative est de trouver l'open source C++ les outils d'analyse statique qui va s'exécuter sur plusieurs plates-formes (Windows et Unix). À l'aide d'un outil open source, il peut être modifié pour s'adapter à certains de leurs besoins. Trouver les outils n'a pas été une tâche facile.

Ci-dessous une courte liste de C++ statique des outils d'analyse qui ont été trouvés ou suggéré par d'autres.

• C++ Vérifier http://sf.net/projects/cppcheck/
• Oink http://danielwilkerson.com/oink/index.html
• Code C et C++ Compteur http://sourceforge.net/projects/cccc/
• Gouttière (de réponses)
• Mozilla de Porc (de réponses) (C'est maintenant une partie de Oink)
• Mozilla Dehydra (de réponses)
• Utiliser l'option -Weffc++ pour GNU g++ (de réponses)

Quelles sont les autres portable open source C++ les outils d'analyse statique que quelqu'un connaît et peut être recommandé?

Certains liens connexes.

• C++ statique outil d'analyse de code sur Windows
• http://en.wikipedia.org/wiki/List_of_tools_for_static_code_analysis
• http://www.chris-lott.org/resources/cmetrics/
• Un outil gratuit pour vérifier C/C++ code source par rapport à un ensemble de normes de codage?
• http://spinroot.com/static/
• Le choix d'un outil d'analyse de code statique

Answer 1

CppCheck est open source et multi-plateforme.

Mac OSX :

Answer 2

Concernant le compilateur GNU gcc a déjà un builtin option qui permet supplémentaires avertissement à ceux de la Paroi. L'option est -Weffc++ et c'est sur les violations de certaines lignes directrices de Scott Meyers publié dans son livre "Efficace et Plus Effective C++".

En particulier, l'option détecte les éléments suivants:

• Définir un constructeur de copie et un opérateur d'affectation pour les classes avec la mémoire allouée dynamiquement.
• Préférez l'initialisation de la cession dans les constructeurs.
• Faire les destructeurs virtuels dans des classes de base.
• Ont "operator=" renvoyer une référence à *ce.
• N'essayez pas de retourner une référence lorsque vous devez retourner un objet.
• La distinction entre le préfixe et le suffixe formes d'incrémentation et de décrémentation les opérateurs.
• Ne surchargez jamais "&&", "||", ou ",".

Answer 3

En cours d’élaboration pour le moment, mais clang procède à l’analyse de C et s’adresse à poignée C++ au fil du temps. Cela fait partie du projet LLVM .

Question : Comment puis-je utiliser GCC/Clang pour l’analyse statique de ? (avertissements uniquement)

Option du compilateur : fsyntax - seule

Answer 4

John Carmack mentionne également PVS-Studio à cet intéressant post : http://altdevblogaday.com/2011/12/24/static-code-analysis/