Java程序中数组越界和空指针错误的静态分析-Read.PDFVIP

第 29卷第 5期 计算机应用 Vo l. 29 No. 5 2009年 5 月 　 Jou rnal of Compu ter App lication s 　 M ay 2009 文章编号 : 100 1 - 9081 (2009) 05 - 1376 - 04 Java程序中数组越界和空指针错误的静态分析 1, 2 3 1, 2 1 陈柏强 , 郭 　涛 ,阮　辉 , 严 　俊 ( 1. 中国科学院软件研究所 计算机科学国家重点实验室 ,北京 100 190; 　2. 中国科学院 研究生院 ,北京 100049;