Phan - PHP静态分析器

  Phan是一个PHP的静态分析器,它倾向于最小化误报。它试图证明错误而不是正确。

  它会查找常见问题,并在类型信息可用或可以推断时验证各种操作的类型兼容性。Phan对流量控制有很好的(但不是全面的)理解,并且不会试图追踪价值。

  用类继承来检查是否完整(例如检查方法签名兼容性)。Phan还检查最终的类/方法被覆盖,抽象方法被实现,并且实现的接口实际上是一个接口(等等)。

  支持检查phpdoc类型注释是实际类型签名的缩小形式(例如子类/子类型)

  支持元素(如常量,函数,类,类常量,属性或方法)的@internal注释作为其定义的包的内部。

  可以在后台运行(守护进程模式),然后快速响应请求来分析最新版本的文件。这也可以充当语??言服务器协议中的一个linter。语言服务器实现的一部分基于felixfbecker / php-language-server。在后台运行时,Phan可以从各种编辑器中使用。

  可以在源代码上运行用户插件以检查特定于您的代码的内容。Phan包含了您可能希望为您的项目启用的各种插件。

相关阅读