AGI Hunt· jd_pressman·· 3 小时前AI 评分50
gf256 团队用 Claude 验证 PHP 内存安全等价并发现大量深层 bug
用 Claude 证明内存安全等价,一次性挖出大量 PHP 深层 bug
AI 导读
gf256 团队用 Claude 对 ASAN 与非 ASAN 版本的 RISC-V、x86 或 LLVM IR 代码做等价性验证，以寻找内存安全 bug。该团队称方法发现了大量 bug，并认为 AI 正在降低形式化验证的人力门槛。
来源：AGI Hunt · agihunt.info