TY  - RPRT
TI  - VULSOLVER: Vulnerability Detection via LLM-Driven Constraint Solving
AU  - Xiang Li
AU  - Yueci Su
AU  - Jiahao Liu
AU  - Zhiwei Lin
AU  - Yuebing Hou
AU  - Peiming Gao
AU  - Yuanchao Zhang
PY  - 2025
UR  - https://arxiv.org/abs/2509.00882
ID  - 2509.00882
ER  -