# 缺陷检测

符号执行工具 CrossHair 在真实 Python Web 应用上几乎跑不动，因为代码没有契约，调用数据库的部分也无法符号化。一个把 AI 编码智能体与 CrossHair 组合起来的流水线自动为函数写契约、为数据库合成符号模型，在 11 个开源应用、1,156,044 行代码上把可执行函数比例从 4.5% 提高到 81%，并找出 221 个经测试复现的缺陷。这些缺陷多为输入域边角情况，其中一部分是同模型直接阅读代码所遗漏的。

符号执行工具 CrossHair 在真实 Python Web 应用上几乎跑不动，因为代码没有契约，调用数据库的部分也无法符号化。一个把 AI 编码智能体与 CrossHair 组合起来的流水线自动为函数写契约、为数据库合成符号模型，在 11 个开源应用、1,156,044 行代码上把可执行函数比例从 4.5% 提高到 81%，并找出 221 个经测试复现的缺陷。这些缺陷多为输入域边角情况，其中一部分是同模型直接阅读代码所遗漏的。

CRBugBench用1800个由人工修复确认的缺陷考代码审查智能体：最强配置在top-5评论里抓到79.6%合并前缺陷，但换到企业私有仓库上性能明显下降。

CRBugBench用1800个由人工修复确认的缺陷考代码审查智能体：最强配置在top-5评论里抓到79.6%合并前缺陷，但换到企业私有仓库上性能明显下降。