datalicense

All datasets / LLMs4CodeSecurity

LLMs4CodeSecurity/SV-TrustEval-C-1.0

129 downloads in 30 days4 likesLast modified 13 May 2025View on Hugging Face
Permissive or share-alike

The declared licence (mit) is classified as permissive.

Declared licence
mit, from the tagEvidence: README.md at a9a7125
Licence files
No licence file at the top level of the repositoryEvidence: file list at a9a7125
Declared sources
None listed in the card metadata
Access gated on Hugging Face
No
Each cell links to what was checked: a file, a file list or a Hub record.

Tasks

Citation text from the card

@INPROCEEDINGS {,
author = { Li, Yansong and Branco, Paula and Hoole, Alexander M. and Marwah, Manish and Koduvely, Hari Manassery and Jourdan, Guy-Vincent and Jou, Stephan },
booktitle = { 2025 IEEE Symposium on Security and Privacy (SP) },
title = {{ SV-TrustEval-C: Evaluating Structure and Semantic Reasoning in Large Language Models for Source Code Vulnerability Analysis }},
year = {2025},
volume = {},
ISSN = {2375-1207},
pages = {3014-3032},
abstract = { As Large Language Models (LLMs) evolve in understanding and generating code, accurately evaluating their reliability in analyzing source code vulnerabilities becomes increasingly vital. While studies have examined LLM capabilities in tasks like vulnerability detection and repair, they often overlook the importance of both structure and semantic reasoning crucial for trustworthy vulnerability analysis. To address this gap, we introduce \textsc{SV-TrustEval-C}, a benchmark designed to evaluate LLMs' abilities for vulnerability analysis of code written in the C programming language through two key dimensions: structure reasoning—assessing how models identify relationships between code elements under varying data and control flow complexities; and semantic reasoning—examining their logical consistency in scenarios where code is structurally and semantically perturbed. Our results show that current LLMs are far from satisfactory in understanding complex code relationships and that their vulnerability analyses rely more on patt

The same facts for your agent

A free MCP server at mcp.datalicense.uk/mcp. Connect it from an MCP client such as Claude or Cursor.

dataset_licence({ "id": "LLMs4CodeSecurity/SV-TrustEval-C-1.0" })
signal: "permissive"
stated_licence: "mit"
sources: 0