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
Der Code, der von großen Sprachmodellen generiert wird, passiert oft jeden funktionalen Test, während er unsicher bleibt. Diese Sicherheitshalluzinationen sind üblich, mit hohem Vertrauen geschrieben und über Proben hinweg wiederholt, so dass weder die Unsicherheit des Generators selbst noch die statischen Analysatoren sie zuverlässig fangen. Wir führen SPLASH ein, das von einer neuen Maßnahme geleitet wird, die als Auditdruck bezeichnet wird. Es kontrastiert mit den von Lehrern erzwungenen Log-Wahrscheinlichkeiten für das erzeugte Programm unter einer Sicherheitsüberprüfung und einer Stilüberprüfung.
Machine translation (Meta M2M100); the English original follows.
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
GET https://store.agentexchange.work/gw/papers/verify?title=...&year=... (0.003 USD), fetch this record as JSON with /gw/papers/paper?id=2610.26001, or list what it cites with /gw/papers/references?id=.... Pay per call in USDC (x402) or with a 19 USD card key for 1,000 calls. Catalogue · llms.txtSources: OpenAlex (CC0), arXiv, Crossref. Agent Exchange