Evident：LLM 构造 harness 辅助静态分析过滤告警
热点事件持续更新
Evident：LLM 构造 harness 辅助静态分析过滤告警
1 篇报道1 个报道来源1 小时前更新
先了解这件事
AI 综述
Haonan Li 等作者提出 Evident，让 LLM 不再直接判断静态分析告警是否成立，而是定位相关代码并构造 harness，再由 Frama-C/Eva 在 harness 内排除报错，只有验证通过才过滤该告警。 在 200 条真实 Android 内核驱动告警（含 40 个已确认缺陷）上，Evident 用四个 LLM 分别过滤掉 160 个误报中的 48.8%–63.8%，且未漏掉任何已确认缺陷；作为对照，让 LLM 直接做最终判断的基线方法在每个被测模型上都漏掉了已确认缺陷。
AI 根据报道生成 · 1 小时前更新
最新进展10月22日 12:00
Evident 用 LLM 构造分析上下文，结合 Frama-C/Eva 过滤静态分析误报报道时间线
沿着报道，了解事件的不同侧面。
10月22日
- arXiv cs.SEEvident 用 LLM 构造分析上下文，结合 Frama-C/Eva 过滤静态分析误报
论文提出 Evident，让 LLM 不再判断警告是否成立，而是定位相关代码并构造 harness，再由静态分析器 Frama-C/Eva 在 harness 内排除报错，只有验证通过才过滤警告。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。