Analyse statique