L'utilisation et les principes des outils d'analyse statique