paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Securing Language Models Against Vulnerability Encoding

保护语言模型免受漏洞编码
FSE Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering2025匹配度 3/10 · 该论文聚焦于通过模型训练与评估防止LLM生成漏洞代码,属于LLM安全与代码生成方向;它与用户核心关注的“静态分析在ML/Agentic程序中的应用”或“LLM改进静态分析/形式化验证”无直接关系,也未涉及浮点或贝叶斯程序分析。引用 0 inbox
Rui Melo
crossref: 2026-09-12

AI 速览

一句话:提出将安全内嵌于模型训练与评估的框架,防止LLM生成含漏洞代码。

论文关注大语言模型(LLM)进入软件开发流程后生成易受 SQL 注入、跨站脚本和缓冲区溢出等攻击的代码,其根源是训练数据中的不安全模式。现有静态/动态分析与提示工程等缓解措施多为事后反应,而非预防。作者探讨微调、对抗训练等模型训练方法,并提出一个评估框架,将安全目标直接嵌入 AI 辅助编程的训练与评估环节,旨在建立安全 AI 驱动编程的稳健标准。摘要未报告具体实验结果,贡献主要是方法论与框架倡议。

问题
LLM生成代码常包含训练数据中的不安全模式,导致SQL注入、跨站脚本、缓冲区溢出等漏洞,而现有缓解措施偏事后反应。
方法
探讨微调、对抗训练等训练期安全增强方法,并提出将安全直接嵌入AI辅助编程训练与评估环节的评估框架。
评估
论文给出评估框架构想,未在摘要中报告具体实验;评估目标是在训练与评测中衡量并提升生成代码的安全性。
原文摘要(Abstract)

The integration of Large Language Models (LLMs) into software development workflows has transformed automated programming but introduced significant security challenges. LLMs often generate vulnerable code due to the insecure patterns present in training data, leading to the generation of code vulnerable to threats such as SQL injection, cross-site scripting, and buffer overflows. Existing mitigation strategies, including static and dynamic analysis tools and prompt engineering, are reactive rather than preventive. Recent advances in model training, such as fine-tuning and adversarial training, offer promising avenues for enhancing the security of LLM-generated code. This paper explores different methodologies and proposes an evaluation framework to embed security directly into AI-assisted programming. By integrating security into model training and assessment, we aim to establish a robust standard for secure AI-driven programming.

链接与引用

DOI 原文 · PDF(开放获取) ·

BibTeX
@inproceedings{paperbot9156,
  title = {Securing Language Models Against Vulnerability Encoding},
  author = {Rui Melo},
  booktitle = {FSE},
  year = {2025},
  doi = {10.1145/3696630.3731466}
}