基本信息原文标题：Automated Static Vulnerability Detection via a Holistic Neuro-symbolic Approach原文作者：Penghui...