一种针对于堆内存对象的结构分析
对堆内存对象进行存储管理优化需要的支撑信息之一是堆对象的结构信息,本文定义指向图来抽象堆内存对象及其结构,把获取结构信息的过程变成推导指向图的过程.针对过程内的指向图推导,提出一种利用强连通分量和后支配关系的流敏感、域敏感的分析算法.针对过程间的指向图推导,提出一种递归式的上下文敏感的算法.本文的算法在开源编译器LLVM的中间语言上进行了实现.实验表明,本文的算法能达到预期的分析效果.
存储管理、指向图、流敏感、上下文敏感
36
TP311(计算技术、计算机技术)
国家自然科学基金项目61170018;国家“八六三”高技术研究发展计划项目2012AA010901
2016-09-18(万方平台首次上网日期,不代表论文的发表时间)
共6页
1633-1638