流敏感的跨过程指针别名分析

Flow-sensitive Interprocedural Pointer Alias Analysis

对指针别名及其表示方式进行了阐述。描述了跨过程指针别名分析的框架,通过在分析时创建PCG(程序调用图)来处理函数指针。研究了基于此框架的一个流敏感的跨过程指针别名分析算法,算法是跨过程阶段和过程内阶段交叉进行的。最后对算法进行了实例分析和验证。

Pointer alias and its representation are illustrated. A framework for interprocedural pointer alias analysis is described. It handles function pointers by constructing the program call graph while alias analysis is being performed. And an analysis algorithm of flow-sensitive interprocedural pointer alias is investigated. The major characteristic is the alternation of the intraprocedural and interprocedural phases. Finally, the empirical analysis and verification of the algorithm is provided.