Présentation de l'analyse statique en PHP

Avez vous déjà entendu parlé de l'AST ? Peut-être pas... Le CFG et le SSA ? Encore moins ! J'aimerais vous présenter ces résultats d'algorithmes trop cools utilisés dans l'analyse de qualité de code avec lesquels j'ai eu l'occasion de travailler via un projet : le SymfonyChecker.