工具引导的检索增强修复：提升 LLM 生成 C 代码的安全性

论文提出一套面向嵌入式 C 代码的分析与修复流程，将编译诊断、CodeQL 静态分析、KLEE 符号执行与历史修复模式检索结合起来迭代改进代码。在 5,000 个任务上，CodeLlama 7B 的安全缺陷率由 49% 降至 19%，CodeQL 错误减少 83.7%。