Вы можете использовать checkstyle , pmd и findbugs в вашем источнике (findbugs в двоичном файле), и они сообщат вам подобные вещи.
К сожалению, не похоже, что они улавливают эту конкретную проблему (что имеет смысл, что для массива гарантированно установлен каждый элемент 0, ноль или ложь).
Использование этих инструментов может перехватить экземпляры и члены класса (которые не являются массивами), которые используются до того, как им будет присвоено значение (аналогичная проблема).