paperbot · PL 论文追踪

全部论文 待读 收藏

P1 AutoPruner: transformer-based call graph pruning

AutoPruner:基于 Transformer 的调用图剪枝
FSE Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering2022匹配度 5/10 · 该论文属于用机器学习改进静态分析(调用图剪枝)的方向,与“AI→PL”有交集;但使用的是 Transformer 而非用户重点关注的 LLM/Agent,且主题是通用调用图精度问题,未涉及浮点程序分析、贝叶斯程序分析或 Agentic 程序等核心关切。引用 20 inbox
Thanh Le-Cong, Hong Jin Kang, Truong Giang Nguyen, Stefanus Agus Haryono, David Lo, Xuan-Bach D. Le, Quyet Thang Huynh
crossref: 2026-09-12

AI 速览

一句话:提出 AutoPruner,用 Transformer 结合源代码语义剪枝静态调用图中的误报边。

静态调用图构建需在可靠性与精度间权衡,传统分析生成的调用图通常不够精确。近期工作用机器学习对调用图做后处理剪枝,其中以随机森林分类器基于调用图结构特征预测并删除误报边。然而,这类模型未考虑源代码语义,往往难以有效区分真实边与误报边。AutoPruner 作为 Transformer 方法,旨在弥补该缺陷,将源代码语义引入调用图剪枝,以更准确识别并移除误报边、提升调用图精度。所提供的摘要未给出具体实验数据与结果。

问题
如何在对静态调用图做剪枝时更有效地区分真实边与误报边,现有基于结构特征和随机森林的机器学习方法因未考虑源代码语义而受限。
方法
提出 AutoPruner,据标题采用 Transformer 对静态调用图进行剪枝,并在模型中引入源代码语义信息以区分真实边与误报边;摘要未展开具体架构。
评估
提供的摘要未说明具体评估方式或结果;仅指出已有机器学习剪枝方法虽有改进,但仍受限于忽略源代码语义。
原文摘要(Abstract)

Constructing a static call graph requires trade-offs between soundness and precision. Program analysis techniques for constructing call graphs are unfortunately usually imprecise. To address this problem, researchers have recently proposed call graph pruning empowered by machine learning to post-process call graphs constructed by static analysis. A machine learning model is built to capture information from the call graph by extracting structural features for use in a random forest classifier. It then removes edges that are predicted to be false positives. Despite the improvements shown by machine learning models, they are still limited as they do not consider the source code semantics and thus often are not able to effectively distinguish true and false positives.

链接与引用

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

BibTeX
@inproceedings{paperbot7132,
  title = {AutoPruner: transformer-based call graph pruning},
  author = {Thanh Le-Cong and Hong Jin Kang and Truong Giang Nguyen and Stefanus Agus Haryono and David Lo and Xuan-Bach D. Le and Quyet Thang Huynh},
  booktitle = {FSE},
  year = {2022},
  doi = {10.1145/3540250.3549175}
}