基于LLVM的程序关注点影响分析

摘要：

在LLVM中间形式上,得到影响某特定程序关注点的程序片段,削减不相关部分.基于Andersen指向分析算法构建准确的调用图,得到程序执行中可能到达给定程序节点的基本块;根据指向分析、调用图及调用点处的修改信息,得到了影响关注点的程序片段.实验结果表明,本方法可高效计算出影响程序关注点的程序子集并得到正确的削减片段.

关键词：LLVM中间形式、影响分析、可达性分析、程序切片

分类号：TP311(计算技术、计算机技术)

在线出版日期：2014-06-10（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：203-207