摘要
对指针别名及其表示方式进行了阐述。描述了跨过程指针别名分析的框架,通过在分析时创建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.
出处
《计算机应用》
CSCD
北大核心
2004年第3期112-114,共3页
journal of Computer Applications
基金
武器装备预研基金项目 (51 40 6 0 70 1 0 1DZ0 1 51 )
关键词
指针剐名
流敏感
跨过程
程序分析
pointer alias
flow-sensitive
interprocedural
program analysis