Outil d’analyse statique du code C++ sous Windows

Question

Ce que le C++ statique outil d'analyse de code savez-vous de pour Microsoft Windows de développement, et quelles sont les principales caractéristiques offre-t-il?

Veuillez indiquer si un tel outil s'appuie sur cygwin, et si les logiciels libres, gratuits ou nécessite l'achat.

Même Question: Quel open source C++ les outils d'analyse statique sont disponibles?

Voici le résumé de l'état actuel:

1. PreFAST trouvé dans le Windows Driver Kit
2. CppCheck
3. Coverity
4. PVS-Studio
5. Oink
6. Klocwork Insight
7. PC-Lint
8. CppDepend
9. Goanna
10. Sentry
11. Visual Studio Team System
12. Comprendre
13. cccc
14. Cqual++
15. Flawfinder
16. Logiciel DMS de Réingénierie, Trousse à outils
17. Vera++
18. Moniteur Source
19. De la pile (le code source sur github)

Answer 1

CppCheck est open source et multi-plateforme.

Answer 2

Nous utilisons de Coverity. Il n’est pas libre par un longshot, mais Windows est une platforme pris en charge.

Answer 3

Je me demande pourquoi pas mentionné un PVS-studio? Ce que j’aime c’est une très bonne sélection de règles (ils ne tentent de mettre en plus grand nombre possible, mais plutôt de sélectionner celles qui pourraient céder sur les erreurs non négligeable. Aussi quand j’ai essayé tout d’abord j’ai réussi à faire un examen de code complet et itération avec leur version d’essai de fixation.

Answer 4

J’ai aussi entendu dire que Oink est bon. (lien mis à jour à quelque chose de valable à partir de 2012).