热点事件持续更新
ObliVul：告警条件化安全义务建模与双向反事实验证框架
1 篇报道1 个报道来源2 小时前 更新
先了解这件事
AI 综述
2026年10月9日，arXiv Software Engineering 刊登一手报道，介绍面向代码漏洞检测的 ObliVul 框架。该框架提出告警条件化安全义务建模与双向反事实验证方法：先从代码属性图（CPG）提取 Local Evidence Pack（LEP），再用大语言模型恢复候选安全义务，随后对齐程序节点、依赖边与路径范围，构建 Local Safety Obligation Graph（LSOG），最后由 VAFI 聚合证据，生成函数级漏洞预测。目前报道仅描述方法流程，未披露实验数据或开源信息。
AI 根据报道生成 · 2 小时前更新
最新进展10月9日 12:00
arXiv 报道 ObliVul 框架，以 LEP、LSOG 与 VAFI 实现函数级漏洞预测。报道时间线
沿着报道，了解事件的不同侧面。
10月9日
- arXiv · Software EngineeringObliVul：面向代码漏洞检测的告警条件化安全义务建模与双向反事实验证
ObliVul 提出告警条件化安全义务建模与双向反事实验证框架，用于代码漏洞检测。它先从代码属性图（CPG）提取 Local Evidence Pack（LEP），用大语言模型恢复候选安全义务，再对齐程序节点、依赖边与路径范围构建 Local Safety Obligation Graph（LSOG），最后由 VAFI 聚合证据生成函数级漏洞预测。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。