Maybe Array Index is Out of Range (MAIOR)

Description:

MAIOR detects if a value of the index expression is out of the arrays boundary. This message is produced when either the index expression is negative or it's maximal value is greater than maximal value of the accessed array length. It doesn't produce this message when the minimal value of index is less than -127 or when the difference between the maximal value of index and array length is greater or equal than 127.

Example:

   public void putchar(char ch) {
      boolean[] digits = new boolean[9];
      if (ch >= '0' && ch <= '9') { 
         digits[ch-'0'] = true; // index may be out of range
         digits[ch-'1'] = true; // index may be negative
      }
   }