arXiv cs.SE· Haonan Li, Tianyang Zhou, Manu Sridharan, Hang Zhang, Zhiyun Qian·· 2 小时前AI 评分45
Evident 用 LLM 构造分析上下文，结合 Frama-C/Eva 过滤静态分析误报
The Hitchhiker's Guide to Program Analysis, Part III: Mostly Harmless LLMs
AI 导读
论文提出 Evident，让 LLM 不再判断警告是否成立，而是定位相关代码并构造 harness，再由静态分析器 Frama-C/Eva 在 harness 内排除报错，只有验证通过才过滤警告。
来源：arXiv cs.SE · arxiv.org