paperbot · PL 论文追踪

全部论文 待读 收藏

P2 AXA: Cross-Language Analysis through Integration of Single-Language Analyses

AXA:通过集成单语言分析实现跨语言分析
ASE Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering2024匹配度 2/10 · 论文属于静态分析与抽象解释领域,关注多语言软件的跨语言分析集成,但未涉及用户核心关注的 PL 与 AI/LLM 交叉、浮点程序分析或贝叶斯程序分析。仅可作为静态分析基础设施与工程集成的背景参考。引用 4 inbox
Tobias Roth, Julius Näumann, Dominik Helm, Sven Keidel, Mira Mezini
crossref: 2026-09-12

AI 速览

一句话:提出 AXA,通过集成已有单语言静态分析来支持多语言软件的跨语言分析。

现代软件常由多种互相交互的编程语言实现。对此类软件进行静态分析时,若能为每种语言复用已有的单语言分析,便可避免重复实现并利用数十年的分析积累。AXA(Cross-Language Analysis through Integration of Single-Language Analyses)提出通过集成单语言分析来实现跨语言分析,使既有分析成果可服务于多语言程序。摘要未给出具体技术细节与实验评估。

问题
现代软件常由多语言实现且语言间互相交互,直接为其编写跨语言静态分析困难且成本高,需要复用已有单语言分析。
方法
提出 AXA,通过集成与复用各语言的既有单语言分析,来构造跨语言分析。
评估
摘要未说明评估方式与实验结果。
原文摘要(Abstract)

Modern software is often implemented in multiple interacting programming languages. When performing static analysis of such software, it is desirable to reuse existing single-language analyses to allow access to the results of decades of implementation effort.

链接与引用

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

BibTeX
@inproceedings{paperbot8420,
  title = {AXA: Cross-Language Analysis through Integration of Single-Language Analyses},
  author = {Tobias Roth and Julius Näumann and Dominik Helm and Sven Keidel and Mira Mezini},
  booktitle = {ASE},
  year = {2024},
  doi = {10.1145/3691620.3696193}
}