gf256用Claude挖掘PHP内存漏洞

gf256团队称，他们利用Claude完成PHP代码的AI辅助形式化验证，批量发现大量深层内存安全bug。 具体做法是将代码编译为RISC-V、x86或LLVM IR，再比较开启与未开启ASAN的版本，证明两者在所有输入下行为一致，以定位破坏内存安全性的差异。团队认为，这展示了AI降低形式化验证人力门槛的新路径。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。