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

Arabic

وتتكرر الكود الذي تم إنشاؤه من قبل النماذج الكبيرة في كثير من الأحيان كل اختبار وظيفي في الوقت نفسه لا يزال غير آمن. هذه الاضطرابات الأمنية شائعة، وهي مكتوبة بثقة عالية، وتكرر في جميع النماذج، حتى لا تكتشف بالثقة الخاصة بالجائزة أو التحليلات الديكتاتورية بشكل موثوق. ونحن نقدم SPLASH، والتي يتم إدماجها بمقياس جديد يسمى ضغط التحقيقات. وهو يتناقض مع احتمالات التسجيل المطلوبة من المعلمين للبرنامج الذي تم إنشاؤه خلال مراجعة أمنية وتقييم النماذج.

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