paperbot · PL 论文追踪

全部论文 待读 收藏

P1 Codellm-Devkit: A Framework for Contextualizing Code LLMs with Program Analysis Insights

CodeLLM-Devkit:一个利用程序分析洞察为代码大模型提供上下文的框架
FSE Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering2025匹配度 6/10 · 论文将程序分析工具集成到代码LLM的上下文构造中,属于PL与AI的交叉,与用户关注的PL→AI方向部分相关;但它不涉及Agentic程序、浮点程序分析或贝叶斯程序分析,且更偏向工程化工具集成而非理论形式化。引用 5 inbox
Rahul Krishna, Rangeet Pan, Saurabh Sinha, Srikanth Tamilselvam, Raju Pavuluri, Maja Vukovic
crossref: 2026-09-12

AI 速览

一句话:提出 CodeLLM-Devkit,统一集成多语言静态分析工具,为代码大模型自动提炼程序分析上下文。

代码大模型(code LLM)已在补全、生成、摘要、测试生成与翻译等任务中展现能力,但发挥其潜力需要向模型提供代码特定的上下文信息,这些信息通常来自程序分析工具。然而现有静态分析工具往往与特定编程语言绑定,学习曲线陡峭,且配置与集成到开发环境的过程复杂,开发者不得不学习和管理多个工具才能覆盖代码库的不同方面,这严重限制了静态分析与 LLM 结合的效果。为此,论文提出 CodeLLM-Devkit 框架,旨在统一抽象并集成多种程序分析工具,自动将分析结果提炼为可供代码 LLM 使用的上下文,从而降低使用门槛。摘要主要阐述该问题与框架设计动机,未报告具体的实验评估或定量结果。

问题
代码 LLM 需要代码特定的上下文,但现有静态分析工具语言特定、学习曲线陡峭、配置与集成困难,开发者难以有效利用其结果为 LLM 提供上下文。
方法
提出 CodeLLM-Devkit 框架,统一抽象并集成多语言静态分析工具,将程序分析洞察自动提炼为代码 LLM 可用的上下文信息。
评估
摘要未描述具体实验或定量评估,主要阐述框架的动机与设计思路。
原文摘要(Abstract)

Large Language Models for Code (or code LLMs) are increasingly gaining popularity and capabilities, offering a wide array of functionalities such as code completion, code generation, code summarization, test generation, code translation, and more. To leverage code LLMs to their full potential, developers must provide code-specific contextual information to the models. These are typically derived and distilled using program analysis tools. However, there exists a significant gap—these static analysis tools are often language-specific and come with a steep learning curve, making their effective use challenging. These tools are tailored to specific program languages, requiring developers to learn and manage multiple tools to cover various aspects of the their code base. Moreover, the complexity of configuring and integrating these tools into the existing development environments add an additional layer of difficulty. This challenge limits the potential benefits that could be gained from more widespread and effective use of static analysis in conjunction with LLMs.

链接与引用

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

BibTeX
@inproceedings{paperbot9063,
  title = {Codellm-Devkit: A Framework for Contextualizing Code LLMs with Program Analysis Insights},
  author = {Rahul Krishna and Rangeet Pan and Saurabh Sinha and Srikanth Tamilselvam and Raju Pavuluri and Maja Vukovic},
  booktitle = {FSE},
  year = {2025},
  doi = {10.1145/3696630.3728555}
}