arXiv · Software Engineering· Jugal Gajjar·2026-10-05 12:00· 16 小时前AI 评分35

先验证再修复：面向可信跨语言代码分析的智能体执行落地框架

Verify Before You Fix: Agentic Execution Grounding for Trustworthy Cross-Language Code Analysis

AI 导读

论文提出统一跨语言漏洞生命周期框架，围绕混合结构-语义检测、执行落地智能体验证、验证感知迭代修复三阶段，规定未经执行确认可利用性不得修复。