AI 代码验证被 PHP2Shell 漏洞打脸：形式化证明挡不住解释器内核缺陷

PHP 爆出 CVSS 9.2 分的 PHP2Shell 高危漏洞（CVE-2026-109618 与 CVE-2026-109619），缺陷位于 PHP 解释器 C 语言内核，应用层代码无论怎么写都无法拦截。