Automated Static Vulnerability Detection via a Holistic Neuro-symbolic Approach. - Penghui Li; Songchen Yao; Josef Sarfati Korich; Changhua Luo; Jianjia Yu; Yinzhi Cao; Junfeng Yang (CoRR, 2025)