论文部分内容阅读
对堆内存对象进行存储管理优化需要的支撑信息之一是堆对象的结构信息,本文定义指向图来抽象堆内存对象及其结构,把获取结构信息的过程变成推导指向图的过程.针对过程内的指向图推导,提出一种利用强连通分量和后支配关系的流敏感、域敏感的分析算法.针对过程间的指向图推导,提出一种递归式的上下文敏感的算法.本文的算法在开源编译器LLVM的中间语言上进行了实现.实验表明,本文的算法能达到预期的分析效果.
One of the supporting information required for storage management optimization of heap memory objects is the structure information of heap objects. In this paper, we define the direction graph to abstract the heap memory objects and their structures and make the process of obtaining structure information into the process of deriving the pointers. , A flow-sensitive and domain-sensitive analysis algorithm using strongly connected components and post-dominance relations is proposed. A recursive context-sensitive algorithm is proposed for the derivation of point-in-process diagrams. The realization of the open language compiler LLVM is realized in the middle language.Experiments show that the proposed algorithm can achieve the expected results.