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