PHP static code analysis tool