PHP Static-analysis Resources