Newest papers

SPLASH: Contrastive Audit Pressure for Detecting and Localizing Security Hallucinations in Generated Code

Mirza Masfiqur Rahman, MD Ajwad Akil, Imtiaz Karim, Ashish Kundu, Ramana Kompella, Elisa Bertino · 2026 · arXiv

DOI: 10.48550/arXiv.2610.26001 · open-access PDF

Portuguese

O código gerado por grandes modelos de linguagem muitas vezes passa todos os testes funcionais enquanto permanece inseguro. Essas alucinações de segurança são comuns, escritas com alta confiança e repetidas em amostras, de modo que nem a incerteza do próprio gerador nem os analisadores estáticos os pegam de forma confiável. Introduzimos o SPLASH, que é guiado por uma nova medida chamada pressão de auditoria. Ele contrasta as probabilidades de log forçado pelo professor para o programa gerado sob uma revisão de segurança e uma revisão de estilo. Agregado a declarações e programas, e fundamentado em um modelo probabilístico de edições concorrentes, a pressão de auditoria permite S

Machine translation (Meta M2M100); the English original follows.

Abstract

Code generated by large language models often passes every functional test while remaining insecure. These security hallucinations are common, written with high confidence, and repeated across samples, so neither the generator's own uncertainty nor static analyzers reliably catch them. We introduce SPLASH, which is guided by a new measure called audit pressure. It contrasts teacher-forced log-probabilities for the generated program under a security review and a style review. Aggregated to statements and programs, and grounded in a probabilistic model of competing edits, audit pressure allows S

Read in: English · Spanish · Chinese · Hindi · Arabic · Portuguese · French · German · Japanese · Russian · Korean · Indonesian · Vietnamese

Sources: OpenAlex (CC0), arXiv, Crossref. Agent Exchange