paperbot · PL 论文追踪

全部论文 待读 收藏

P2 CoSEFA: An LLM-Based Programming Assistant for Secure Code Generation via Supervised Co-Decoding

CoSEFA:通过监督协同解码实现安全代码生成的基于 LLM 的编程助手
FSE Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering2025匹配度 3/10 · 该论文聚焦于通过监督协同解码提升LLM编程助手的安全代码生成能力,属于改进LLM本身的研究目标,而非将静态分析应用于ML/Agentic程序或利用LLM改进静态分析/形式化验证。与用户的核心方向(PL→AI、AI→PL、浮点/贝叶斯程序分析)匹配度低。引用 2 inbox
Xuan He, Dong Li, Hao Wen, Yueheng Zhu, Chao Liu, Meng Yan, Hongyu Zhang
crossref: 2026-09-12

AI 速览

一句话:提出基于监督协同解码的 LLM 编程助手,避免重训练并面向安全代码生成。

基于大语言模型(LLM)的编程助手能够辅助开发者生成代码并提升效率,但容易产生带有安全漏洞的代码。为降低安全风险,已有方法通常使用无漏洞的构造数据对 LLM 进行重训练;然而重训练需要巨大的计算成本,并且往往需要访问 LLM 的内部表示,这对于以分布式在线服务形式部署的 LLM 常常不可用。作者先前的工作 CoSec 提出一种监督式协同解码方法:将基础 LLM 与一个小规模的安全专用 LLM 结合,后者利用漏洞修复前后的代码变更进行微调。CoSEFA 在该方向上构建用于安全代码生成的基于 LLM 的编程助手。摘要未给出 CoSEFA 的具体实现细节与实验评估结果。

问题
LLM 编程助手在提升代码生成效率的同时,容易生成含安全漏洞的代码;现有重训练或微调修正漏洞的方法计算代价高,且通常需要访问模型内部表示,对以分布式在线服务形式部署的 LLM 不可行。
方法
作者此前提出 CoSec:以基础 LLM 搭配一个经漏洞修复前后代码变更微调的小型安全专用 LLM,进行监督式协同解码;CoSEFA 将该思路用于安全代码生成编程助手。
评估
给出的摘要未报告 CoSEFA 的评估设置、基线或实验结果,因此无法从摘要确定其有效性;只能推断其目标是在无需重训练且无需访问模型内部表示的情况下提升生成代码的安全性。
原文摘要(Abstract)

Programming assistants based on Large Language Models (LLMs) assist developers in code generation and improve efficiency. These LLM-based programming assistants are prone to generate code with vulnerabilities. To mitigate security risk, existing approaches retrain an LLM with crafted data without vulnerabilities. However, retraining requires enormous computational costs and the accessible LLMs' internal representation, often unavailable for LLMs deployed as distributed online services. Our previous work, CoSec, proposed a supervised co-decoding approach using base LLMs alongside a small-scale security-focused LLM fine-tuned with code changes before and after vulnerability fixing.

链接与引用

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

BibTeX
@inproceedings{paperbot9147,
  title = {CoSEFA: An LLM-Based Programming Assistant for Secure Code Generation via Supervised Co-Decoding},
  author = {Xuan He and Dong Li and Hao Wen and Yueheng Zhu and Chao Liu and Meng Yan and Hongyu Zhang},
  booktitle = {FSE},
  year = {2025},
  doi = {10.1145/3696630.3728609}
}