VULSOLVER：基于大语言模型驱动约束求解的漏洞检测

作者：Xiang Li, Yueci Su, Jiahao Liu, Zhiwei Lin, Yuebing Hou, Peiming Gao, Yuanchao Zhang
译者：知道创宇404实验室翻译组
原文链接：https://arxiv.org/html/2509.00882v1
摘要
传统漏洞检测方法严重依赖预定义规则匹配，往往无法精准捕捉漏洞。随着大型语言模型（LLMs）的兴起...