This repository contains the Specification Knowledge Base introduced in the paper VulInstruct: Teaching LLMs Root-Cause Reasoning for Vulnerability Detection via Security Specifications.
VulInstruct is a specification-guided approach that systematically extracts security specifications—expectations about how code should behave to remain safe—from… See the full description on the dataset page:
https://huggingface.co/datasets/hzhu721/vulnerability-specifications.
