> What's the current state-of-the-art in static analysis tools for PHP in both commercial and FOSS? I don't know, sorry. I pay very little attention to PHP.

> What's the current state-of-the-art in static analysis tools for PHP in both commercial and FOSS? I don't know, sorry. I pay very little attention to PHP. > And does that sub-field have any that can prove the absence of common, severe errors like Astree Analyzer does for C and SPARK for Ada? Not to my knowledge.