PHP 静态分析工具，通过类型推断和污点分析在运行前发现代码错误与安全漏洞，适合 CI 中做质量门禁。

用类似源码的规则模式做多语言轻量级静态分析，快速找出代码中的缺陷变体，适合在 CI 里做安全与质量扫描。