SemTaint：面向漏洞检测的多智能体污点规范提取

多智能体系统 SemTaint 结合 LLM 与静态程序分析，为 JavaScript 提取污点规范，集成 CodeQL 后检出该工具此前无法检测的 162 个漏洞中的 106 个。它先用静态分析计算调用图，再让 LLM 解析静态无法解析的调用边、按给定 CWE 分类 sources/sinks，所得规范交给 SAST 工具做漏洞分析。该系统还在 4 个热门 npm 包中发现 4 个新漏洞，作者称这表明 LLM 能切实增强现有静态分析。