CodeMechanic：缺陷属性引导的程序缓解

CodeMechanic 在 101 个真实 ARVO 缺陷上，首次尝试生成的合理补丁比最佳基线多 47.6%，token 少 91%。它用缺陷属性引导 LLM 从崩溃中重建空间内存安全属性，校验指针与缓冲区范围，并在危险访问前插入 fail-stop 护栏，以可用性换取安全。人工审计显示，其补丁语义等价于开发者修复的是基线的 3.4–4.3 倍。