arXiv cs.SE· Chengzhi Yi, Shenao Wang, Yanjie Zhao, Xiao Cheng, Haoyu Wang·· 2 小时前AI 评分38
SemWeaver：用分析器内部证据精修 LLM 生成的静态漏洞检查器
SemWeaver: Refining LLM-Generated Static Vulnerability Checkers with Analyzer-Internal Evidence
AI 导读
SemWeaver 是一个插件式精修层，把控制流图、符号值、内存区域和检查器回调等分析器内部证据，与源码上下文和验证反馈组装成带来源标注的结构化证据包，用于迭代修正 LLM 生成的静态漏洞检查器。
来源：arXiv cs.SE · arxiv.org