Java程序中数组越界和空指针错误的静态分析
陈柏强 郭涛 阮辉 严俊
Static detection of array bounds errors and null pointer dereference in Java
计算机应用 . 2009, (05): 1376 -1379 .