TY - RPRT TI - Neuro-symbolic Static Analysis with LLM-generated Vulnerability Patterns AU - Penghui Li AU - Songchen Yao AU - Josef Sarfati Korich AU - Changhua Luo AU - Jianjia Yu AU - Yinzhi Cao AU - Junfeng Yang PY - 2026 UR - https://arxiv.org/abs/2504.16057 ID - 2504.16057 ER -