arXiv ID:
2604.05292
arXiv 提交日期: 2026-04-07
默认即破损:对AI生成代码中安全漏洞的形式化验证研究 / Broken by Default: A Formal Verification Study of Security Vulnerabilities in AI-Generated Code
1️⃣ 一句话总结
这项研究通过形式化验证发现,当前主流AI代码助手生成的代码中超过一半默认存在安全漏洞,且现有行业工具几乎无法有效检测,揭示了AI生成代码在安全关键领域应用的巨大风险。