Phan-PHP静态分析器

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

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

特征:

检查所有方法,函数,类,特征,接口,常量,属性和变量是否定义和可访问。

检查方法/函数/关闭调用中的类型安全性和参数问题。

检查PHP7 / PHP5向后兼容性。

检查旧版PHP 7.x次要版本中不支持的功能(例如object,void,iterable,?T,[$ x] = ...等)

检查数组访问是否完整。

检查二进制操作的类型安全性。

检查方法,函数和闭包的有效和类型安全的返回值。

检查数组,闭包,常量,属性,变量,一元运算符和二元运算符的否操作。

检查未使用/死/无法访问的代码。(通过 - 代码检测)

检查未使用的使用语句。

检查重新定义的类,函数和方法。

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

支持命名空间,特征和可变参数。

支持联盟类型。

支持泛型数组,如int [],UserObject [],数组等。

从Phan> = 0.12.0开始支持数组形状,如数组等等(内部和PHPDoc标签中)。

即将发布的0.12.3版本将支持通过array 指示数组形状的字段是可选的(对于@param有用)

支持phpdoc类型注释。

支持继承phpdoc类型注释。

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

支持在元素/循环中从assert()语句和条件推断类型。

支持弃用类,方法和函数的@deprecated注解

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

支持用于抑制问题的@suppress 注释。

支持神奇的@property注释(部分)(@property )

支持magic @method注释(@method (

))

支持class_alias注释(实验性,默认关闭)

支持通过@ phan-closure-scope(示例)指示闭包将被绑定到的类,

支持分析传递给array_map,array_filter和其他内部数组函数的闭包和返回类型。(从Phan 0.10.1 / 0.8.9 开始)

提供广泛的配置以减弱分析,使其在大型草率代码库上非常有用

可以在许多内核上运行。(需要pcntl)

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

输出以文本,checkstyle,json,pylint,csv或代码气味格式发送。

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

下载地址:https://github.com/phan/phan

仅供于学习研究使用,不得非法使用,如非法操作,责任自行承担

你可能喜欢

  • 发表于:
  • 原文链接http://kuaibao.qq.com/s/20180508B0HFF200?refer=cp_1026
  • 腾讯「云+社区」是腾讯内容开放平台帐号(企鹅号)传播渠道之一,根据《腾讯内容开放平台服务协议》转载发布内容。
  • 如有侵权,请联系 yunjia_community@tencent.com 删除。

扫码关注云+社区

领取腾讯云代金券