计算机工程与科学2009，Vol.31Issue(3)：92-96,5.
空指针解引用错误检测的静态方法研究
A Study of the Static Method of Detecting Null Pointer Dereference
摘要
关键词
空指针解引用/指向图/后向分析/指针分析分类
信息技术与安全科学引用本文复制引用
徐厚峰,马晓东..空指针解引用错误检测的静态方法研究[J].计算机工程与科学,2009,31(3):92-96,5.基金项目
国家自然科学基金资助项目(80725206,60673118,90612009) （80725206,60673118,90612009）
国家863计划资助项目(2006AA01Z429) （2006AA01Z429）
国家973计划资助项目(2005CB321802) （2005CB321802）
新世纪优秀人才计划资助项目(NCET-04-0996) （NCET-04-0996）
