arXiv cs.SE· Prateek Kumar Rajput, Shahzeb Khan, El-Hacen Diallo, Yewei Song, Jacques Klein, Tegawend\'e F. Bissyand\'e·· 2 小时前AI 评分52
TRACER：用智能体自身开发历史审查其生成代码的安全性
Securing Agent-Generated Code with Its Own Development History
AI 导读
论文提出 TRACER，把编码智能体的开发轨迹作为安全审查证据，在符号级别追踪改动，并将智能体记录的推理当作待验证的声明，修复需通过评估和功能验证后才被接受，且附带后续改动必须满足的可执行检查。
来源：arXiv cs.SE · arxiv.org