PHP 静态分析工具，不用运行代码就能扫出类型错误和潜在 bug，适合在 CI 里给 PHP 项目做质量把关。

在编译期捕获 Java 常见错误的静态分析工具，把容易写错的代码模式直接变成编译报错，帮团队在提交前就拦住低级 bug。