@misc{indiciae622809c4eaa2, title = {ObliVul: Alert-Conditioned Safety Obligation Modeling and Bidirectional Counterfactual Validation for Code Vulnerability Detection}, author = {Heyang Tan and Chengxin Gao and Xin Wen and Jiaxin Li and Rui Cao}, year = {2026}, url = {https://arxiv.org/abs/2610.11801}, note = {Source identifier: 2610.11801} }