arXiv cs.SE· Heyang Tan, Chengxin Gao, Xin Wen, Jiaxin Li, Rui Cao·· 4 小时前AI 评分22
ObliVul：面向代码漏洞检测的告警条件化安全义务建模与双向反事实验证
ObliVul: Alert-Conditioned Safety Obligation Modeling and Bidirectional Counterfactual Validation for Code Vulnerability Detection
AI 导读
ObliVul 是一个面向代码漏洞检测的告警条件化安全义务建模与双向反事实验证框架，针对静态分析产生的大量候选告警难以甄别的问题。
来源：arXiv cs.SE · arxiv.org