Maybe Array Length is Negative (MALN)

Description:

MALN detects if the range, of length expression of the created array, may contain negative values. So it is possible that the length of created array will be negative. It will not report this message if minimal value of length is less than -127 (to avoid messages for all expressions of sign types).

Example:

   public char[] create(int len) {
      if (len >= 0) {
         // length of created array may be negative
         return new char[len-1];
      }
      return NULL;
   }