La validation statique du code

C++ langage permissif, autorise des écritures qui peuvent poser problème (mais qui ne sont pas nécessairement des erreurs, si correctement utilisées). Pas vérifiée par compilateur ou débugeur, donc difficile à voir, utiliser des bonnes pratiques.

Validation statique regarde le code et recherche si mauvaises pratiques utiliser.

http://clang-analyzer.llvm.org/