An Approach for Analysis of Pointer Programs
LIU Gang;HU Kai-ping;SONG Fa-xing
Computer and Modernization . 2012, (200): 82 -04 .  DOI: 10. 3969/j. issn. 1006-2475.2012.04.022