DynaFix:基于执行级动态信息的迭代式APR
分析
本文介绍了DynaFix,这是一种创新的自动程序修复(APR)方法,它利用执行级动态信息来迭代地改进补丁生成过程。其主要贡献在于使用运行时数据,如变量状态、控制流路径和调用堆栈,来指导大型语言模型(LLM)生成补丁。这种迭代反馈循环模仿了人类调试,与依赖静态分析或粗粒度反馈的现有方法相比,可以更有效地修复复杂的错误。本文的重要性在于它有可能提高APR系统的性能和效率,特别是在处理复杂的软件缺陷方面。
要点
引用
“DynaFix修复了186个单函数错误,比最先进的基线提高了10%,其中包括38个以前未修复的错误。”