Specification-Guided Vulnerability Detection with Large Language Models

Open Webpage

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

Published: 2025, Last Modified: 27 Jan 2026CoRR 2025EveryoneRevisionsBibTeXCC BY-SA 4.0