典型文献
基于抽象解释的函数内联过程间分析优化方法
文献摘要：
分析实际程序时往往需要分析程序中函数的调用,一般使用过程间分析来实现全程序分析.函数内联是一种最为精确、易于实现的过程间分析方法.通过函数内联,可以使得已有过程内分析方法和工具支持包含函数调用的程序的分析.但是函数内联后代码的规模急剧增加,同时将产生大量中间变量,增加程序分析的变量维度,导致程序分析过程时空开销大大增加.考虑基于抽象解释框架下函数内联过程间分析的一些不足,并提出了相应的优化方法.基于抽象解释的程序分析关注自动推导程序变量之间的不变式约束关系,因此程序变量构成的程序环境大小(即各程序点处须考虑的相关变量集合)对分析的时空开销具有重要影响.为了减少函数内联后程序分析的开销,提出了面向内联函数块的程序环境降维优化方法.该方法针对内联函数后的程序代码,分析确定不同程序点处需维护的程序环境(即相关变量集合),而不是所有程序点共享同一全局程序环境,从而实现程序状态的降维.详细描述了基于该方法所实现的工具DRIP(dimension reduction for analyzing function inlined program)的架构、模块及算法细节.并在WCET Benchmarks测试集开展了分析实验.实验结果表明:DRIP在变量消除上取得的效果良好,甚至在某些测试集上能减少一半以上的变量,并在一定程度上降低了分析过程的时空开销.
文献关键词：
过程间分析;抽象解释;函数内联;变量消除;降维
中图分类号：
作者姓名：
陈涛清;范广生;尹帮虎;陈立前;王戟
作者机构：
国防科技大学 计算机学院, 湖南 长沙 410073;国防科技大学 系统工程学院, 湖南 长沙 410073;高性能计算国家重点实验室(国防科技大学), 湖南 长沙 410073
文献出处：
引用格式：
[1]陈涛清;范广生;尹帮虎;陈立前;王戟-.基于抽象解释的函数内联过程间分析优化方法)[J].软件学报,2022(08):2964-2979
A类：
函数内联,过程间分析,数块,DRIP,inlined,WCET,Benchmarks
B类：
抽象解释,分析优化,序时,分析程序,一般使用,程序分析,有过程,函数调用,后代,中间变量,开销,大大增加,解释框架,导程,不变式,约束关系,程序代码,详细描述,dimension,reduction,analyzing,function,program,测试集,变量消除
AB值：
0.228829
机标中图分类号，由域田数据科技根据网络公开资料自动分析生成，仅供学习研究参考。
