##article.return## Specification-Guided Vulnerability Detection with Large Language Models Download Download PDF