How Secure is Secure Code Generation? Adversarial Prompts Put LLM Defenses to the Test

Fuente: arXiv
Enregistré dans:
Détails bibliographiques
Auteurs principaux: Tessa, Melissa, Olatunji, Iyiola E., War, Aicha, Klein, Jacques, Bissyandé, Tegawendé F.
Format: Preprint
Publié: 2026
Sujets:
Accès en ligne:
Tags: Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
_version_ 1866915722522787840
author Tessa, Melissa
Olatunji, Iyiola E.
War, Aicha
Klein, Jacques
Bissyandé, Tegawendé F.
author_facet Tessa, Melissa
Olatunji, Iyiola E.
War, Aicha
Klein, Jacques
Bissyandé, Tegawendé F.
contents Recent secure code generation methods, using vulnerability-aware fine-tuning, prefix-tuning, and prompt optimization, claim to prevent LLMs from producing insecure code. However, their robustness under adversarial conditions remains untested, and current evaluations decouple security from functionality, potentially inflating reported gains. We present the first systematic adversarial audit of state-of-the-art secure code generation methods (SVEN, SafeCoder, PromSec). We subject them to realistic prompt perturbations such as paraphrasing, cue inversion, and context manipulation that developers might inadvertently introduce or adversaries deliberately exploit. To enable fair comparison, we evaluate all methods under consistent conditions, jointly assessing security and functionality using multiple analyzers and executable tests. Our findings reveal critical robustness gaps: static analyzers overestimate security by 7 to 21 times, with 37 to 60% of ``secure'' outputs being non-functional. Under adversarial conditions, true secure-and-functional rates collapse to 3 to 17%. Based on these findings, we propose best practices for building and evaluating robust secure code generation methods. Our code is available.
format Preprint
id arxiv_https___arxiv_org_abs_2601_07084
institution arXiv
publishDate 2026
record_format arxiv
spellingShingle How Secure is Secure Code Generation? Adversarial Prompts Put LLM Defenses to the Test
Tessa, Melissa
Olatunji, Iyiola E.
War, Aicha
Klein, Jacques
Bissyandé, Tegawendé F.
Cryptography and Security
Software Engineering
Recent secure code generation methods, using vulnerability-aware fine-tuning, prefix-tuning, and prompt optimization, claim to prevent LLMs from producing insecure code. However, their robustness under adversarial conditions remains untested, and current evaluations decouple security from functionality, potentially inflating reported gains. We present the first systematic adversarial audit of state-of-the-art secure code generation methods (SVEN, SafeCoder, PromSec). We subject them to realistic prompt perturbations such as paraphrasing, cue inversion, and context manipulation that developers might inadvertently introduce or adversaries deliberately exploit. To enable fair comparison, we evaluate all methods under consistent conditions, jointly assessing security and functionality using multiple analyzers and executable tests. Our findings reveal critical robustness gaps: static analyzers overestimate security by 7 to 21 times, with 37 to 60% of ``secure'' outputs being non-functional. Under adversarial conditions, true secure-and-functional rates collapse to 3 to 17%. Based on these findings, we propose best practices for building and evaluating robust secure code generation methods. Our code is available.
title How Secure is Secure Code Generation? Adversarial Prompts Put LLM Defenses to the Test
topic Cryptography and Security
Software Engineering
url https://arxiv.org/abs/2601.07084