VULSOLVER: Vulnerability Detection via LLM-Driven Constraint Solving

Xiang Li, Yueci Su, Jiahao Liu +4

Traditional vulnerability detection methods rely heavily on predefined rule matching, which often fails to capture vulnerabilities accurately. With the rise of large language model…