一种用于指针程序的形状分析方法

刘刚;胡凯平;宋发兴

An Approach for Analysis of Pointer Programs

LIU Gang;HU Kai-ping;SONG Fa-xing

计算机与现代化 . 2012, (200): 82 -04 . DOI: 10. 3969/j. issn. 1006-2475.2012.04.022