null pointer checker and array boundary checker