paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Do you have 5 min? Improving Call Graph Analysis with Runtime Information

你有 5 分钟吗?利用运行时信息改进调用图分析
FSE Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering2025匹配度 4/10 · 该论文属于静态程序分析与调用图分析,与用户关注的静态分析基础主题有弱关联,但未涉及LLM/Agent、浮点程序分析或贝叶斯程序分析等核心交叉方向,不构成直接匹配。引用 1 inbox
Jordan Samhi, Marc Miltenberger, Marco Alecci, Steven Arzt, Tegawendé Bissyandé, Jacques Klein
crossref: 2026-09-12

AI 速览

一句话:提出用运行时信息以简单低成本方式显著改进调用图分析,缓解静态分析中的精度与可靠性难题。

构建精确且可靠的调用图是有效静态分析的基础,但在现代软件中仍十分困难。传统研究通过设计复杂算法提升调用图质量,往往增加计算开销。该论文转而探索一条简单且成本低廉的路径:利用运行时信息来改进调用图分析。标题中的“5 分钟”暗示该方案可能只需极短时间或很低预算即可收集或利用运行时信息。摘要以设问形式强调,若能以简单方式大幅改进调用图,将缓解静态分析中长期存在的精度—成本权衡。由于摘要未给出具体技术细节、实验对象与量化结果,无法进一步确认其实现机制与评估数据,但其核心思想是将动态运行时信息引入静态调用图构建流程。

问题
现代软件中构建精确且可靠的调用图仍是静态分析的基础性难题,而传统精细算法通常带来更高的计算成本。
方法
论文提出一种简单、低成本的方法,利用运行时信息来改进调用图分析;标题暗示其时间预算可能仅为约 5 分钟。
评估
摘要未报告具体实验设置、基准或量化结果,仅以设问形式主张该方法能大幅改进调用图。
原文摘要(Abstract)

Constructing precise and sound call graphs is fundamental for effective static analysis, yet it remains a significant challenge in today's software. Traditionally, researchers have developed sophisticated algorithms to address this issue, often resulting in increased computational costs. But what if we could provide a simple, cost-effective way to improve call graphs drastically?

链接与引用

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

BibTeX
@inproceedings{paperbot8950,
  title = {Do you have 5 min? Improving Call Graph Analysis with Runtime Information},
  author = {Jordan Samhi and Marc Miltenberger and Marco Alecci and Steven Arzt and Tegawendé Bissyandé and Jacques Klein},
  booktitle = {FSE},
  year = {2025},
  doi = {10.1145/3696630.3728495}
}