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

Static detection of array bounds errors and null pointer dereference in Java

介绍了静态分析的相关背景知识,对Java程序中数组越界和空指针错误的常见表现形式进行了归类,并通过实验评估了现有的Java静态分析工具功能,指出了其在跨过程分析中的不足,并对如何改进进行了讨论。

Background knowledge of static analysis in Java was introduced, and the general scenarios of array index out of bounds and null pointer dereferenee in Java program were classified. Experimental evaluation of the presented static analysis tools show that these tools are not efficient for analyzing the inter-procedural errors and the authors give brief discussions on how to solve this problem.