VulSolver: Vulnerability Detection via LLM-Driven Constraint Solving. - Xiang Li; Yueci Su; Jiahao Liu; Zhiwei Lin; Yuebing Hou; Peiming Gao; Yuanchao Zhang (CoRR, 2025)