VulInstruct: Teaching LLMs Root-Cause Reasoning for Vulnerability Detection via Security Specifications

Hao Zhu, Jia Li, Cuiyun Gao, Jiaru Qian, Yihong Dong, Huanyu Liu, Lecheng Wang, Ziliang Wang, Xiaolong Hu, Ge Li

[FSE 2026] Proceedings of the ACM International Conference on the Foundations of Software Engineering (FSE 2026), Montreal, Canada.

组内作者