paperbot · PL 论文追踪

全部论文 待读 收藏

P1 Path-Guider: An IDE-based Agentic AI Tool for Path-based COBOL Program Analysis

Path-Guider:一个基于 IDE 的、面向路径的 COBOL 程序分析智能体 AI 工具
FSE Proceedings of the 34th ACM International Conference on the Foundations of Software Engineering2026匹配度 5/10 · 该论文属于利用 LLM/Agent 辅助程序分析(AI→PL)的范畴,与用户关注的“AI 改进静态分析与形式化验证”方向部分吻合;但它是针对 COBOL 的演示型工具,主要做已有分析技术的对话式集成,缺乏理论形式化、算法创新或 benchmark 设计,与浮点程序分析、贝叶斯程序分析及 PL→AI 等核心子方向没有直接交集。引用 0 inbox
Sameer Pimparkhede, Pankaj Kumar Kalita, Diptikalyan Saha, Toshiaki Yasue, Fumiko Satoh
crossref: 2026-09-12dblp: 2026-09-12

AI 速览

一句话:提出对话式 AI 智能体工具 Path-Guider,在 IDE 中集成路径/切片、符号执行与差分测试,辅助 COBOL 程序理解与调试。

以 COBOL 为代表的大型机应用仍在支撑关键企业系统,但工具支持有限、与开发现代环境集成薄弱,使其调试、维护与变更影响分析十分困难。程序切片、符号执行、差分测试等分析技术虽在当代语言中已有充分研究,却难以直接适用于大型机语言,也缺乏面向开发者的自然交互入口。本文提出 Path-Guider:一个基于聊天交互的 AI 智能体,用于 COBOL 程序理解与调试。其核心是一个任务特定的智能体模式,统一编排多项程序分析能力,包括执行路径与切片检索、基于符号执行的测试输入生成、支持部分输入的模拟执行(mocked execution),以及用于变更影响分析的差分测试。开发者可在现代 IDE 内以自然语言查询直接调用这些分析。论文以公开演示视频的形式展示该工具的原型与交互流程。

问题
COBOL 等大型机语言支撑着关键企业系统,但调试、维护与变更影响分析困难,原因是工具支持不足、与现代开发环境集成差,且成熟的程序分析技术难以直接迁移并自然地为开发者所用。
方法
构建 Path-Guider 这一基于聊天的智能体工具,采用任务特定的智能体模式集成多项分析:执行路径与切片检索、符号执行驱动的测试输入生成、带部分输入的模拟执行,以及用于变更影响分析的差分测试;开发者通过 IDE 内的自然语言查询调用这些能力。
评估
以工具演示(demo video)形式公开展示 Path-Guider 的原型与在 IDE 中的自然语言交互流程;摘要未报告定量实验或用户研究结果。
原文摘要(Abstract)

Mainframe applications written in languages such as COBOL continue to support critical enterprise systems, yet their debugging, maintenance, and impact analysis remain challenging due to limited tool support and poor integration with modern development environments. While program analysis techniques such as program slicing, symbolic execution, and differential testing are well studied for contemporary languages, their applicability to mainframe languages and accessibility through natural developer interactions are still limited. In this paper, we present Path-Guider, a chat-based AI agent for COBOL program understanding and debugging. Path-Guider introduces a task-specific agent mode that integrates multiple program analysis capabilities, including execution path and slice retrieval, symbolic-execution-based test input generation, mocked execution with partial inputs, and differential testing for change impact analysis. Developers interact with these analyses through natural language queries directly within a modern IDE. The demo video of Path-Guider is available publicly 1

链接与引用

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

BibTeX
@inproceedings{PimparkhedeKSYS26,
  title = {Path-Guider: An IDE-based Agentic AI Tool for Path-based COBOL Program Analysis},
  author = {Sameer Pimparkhede and Pankaj Kumar Kalita and Diptikalyan Saha and Toshiaki Yasue and Fumiko Satoh},
  booktitle = {FSE},
  year = {2026},
  doi = {10.1145/3803437.3806422}
}