How vulnerability explanations help software practitioners confirm and fix code vulnerabilities

Al Debeyan, F. and Hall, T. and Madeyski, L. and Winter, E. (2026) How vulnerability explanations help software practitioners confirm and fix code vulnerabilities. Information and Software Technology, 195: 108086. ISSN 0950-5849

Full text not available from this repository.

Abstract

Context: Most current code vulnerability detection tools provide only a binary classification (vulnerable/non-vulnerable) with little to no additional context. This paper explores the impact of providing explanations for vulnerabilities alongside code labelled as vulnerable. Objective: We investigate the influence of explanations on the ability of software practitioners to confirm such labelled code as actually vulnerable (i.e., a true positive vulnerability) and to fix such vulnerable code correctly. Method: We surveyed 99 software practitioners to establish their use of code-vulnerability detection tools and to evaluate the impact of explanations on their behaviour towards code labelled as vulnerable in a series of coding exercises. Participants were presented with four forms of explanation: vulnerable lines, vulnerability type, short-form text, and long-form text. Results: Software practitioners performed better at confirming and fixing code vulnerabilities when presented with any of the four forms of explanation. Although practitioners stated a preference for long-form text explanations, they achieved the highest confirmation and fixing performance with short-form text explanations. Practitioners also indicated willingness to accept modest drops in detection precision and recall if richer explanations were provided, and their preferences for explanation types and performance trade-offs varied according to where a detection tool is used in the software-development pipeline. Conclusions: Vulnerability-detection and prediction tools should provide explanatory output and allow different explanation types tailored to their deployment stage in the development workflow. Few current tools provide any explanations, and none identified in this study provide text-based explanations.

Item Type:
Journal Article
Journal or Publication Title:
Information and Software Technology
Uncontrolled Keywords:
/dk/atira/pure/subjectarea/asjc/1700/1712
Subjects:
?? softwareinformation systemscomputer science applications ??
ID Code:
236781
Deposited By:
Deposited On:
23 Apr 2026 12:25
Refereed?:
Yes
Published?:
Published
Last Modified:
24 Apr 2026 02:10