ObliVul：告警条件化安全义务建模的漏洞检测框架

Heyang Tan 等作者发布预印本论文，提出面向代码漏洞检测的框架 ObliVul。该框架针对静态分析产生大量候选告警、难以甄别的问题，采用告警条件化安全义务建模与双向反事实验证的方法。 论文称，ObliVul 将安全义务建模与告警条件绑定，并通过双向反事实验证来判定漏洞，但预印本未给出该方法在真实代码库上的检测效果数据。

AI 根据报道生成 · 1 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。