@misc{indiciae4126be59c640,
  title = {VULSOLVER: Vulnerability Detection via LLM-Driven Constraint Solving},
  author = {Xiang Li and Yueci Su and Jiahao Liu and Zhiwei Lin and Yuebing Hou and Peiming Gao and Yuanchao Zhang},
  year = {2025},
  url = {https://arxiv.org/abs/2509.00882},
  note = {Source identifier: 2509.00882}
}