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

Abstract

Background knowledge of static analysis in Java was introduced,and the general scenarios of array index out of bounds and null pointer dereference 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.