基于系统依赖图的过程间指针分析方法

王甜甜，马培军，苏小红，郭全萍

Interprocedural pointer analysis based on system dependence graph

WANG Tian-tian， MA Pei-jun， SU Xiao-hong， GUO Quan-ping

Journal of Systems Engineering and Electronics . 2010, (3): 614 -619 .