研究人员开发了ContraFix，一个旨在增强软件中自动化漏洞修复（AVR）的新框架。该系统利用对比运行时分析从失败和非失败的软件变体中生成证据，从而实现更精确的源级修补。ContraFix还包含一个技能库，用于重用修复策略和改进更正，在SEC-Bench和PatchEval等基准测试中展示了比现有方法更高的语义正确性。 AI
影响 该框架通过利用人工智能进行漏洞修复，可以显著提高软件安全修补的效率和准确性。
排序理由 该集群包含一篇详细介绍新研究框架及其在基准测试上评估的学术论文。[lever_c_demoted from research: ic=1 ai=1.0]
AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →
