跨过程别名分析论文

路径敏感的跨过程别名分析的设计与实现
论文摘要别名分析在提高数据流分析精度和构建性能良好的程序分析工具方面发挥着重要作用。本文在分析已有别名分析框架的基础上，提出并实现了一种路径敏感的跨过程别名分析方法。首先，通过...