PHP static-analysis Libraries