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