arXiv cs.SE· Jinbao Chen, Zixiang Zhou, Yu Zhang, Yihong Wu·· 4 小时前AI 评分52
VulnSAGE：将 LLM 推理与程序结构连接以判定 SAST 报告
VulnSAGE: Adjudicating SAST Reports by Connecting LLM Reasoning to Program Structure
AI 导读
VulnSAGE 是一个 SAST 报告判定系统，通过以报告为中心的切片恢复被报告操作所依赖的代码与程序结构，并用中间表示 CLAIM 记录模型解释所假设的程序关系，再由程序分析校验这些前提后得出结论。
来源：arXiv cs.SE · arxiv.org