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