Review

Misses to check the array's size before accessing the array.

• missing/condition/value_or_state

mubench/examples/survey/ArrayAccess.java

misuse(int[], int)

class ArrayAccess {
  int misuse(int[] array, int index) {
    return array[index];
  }

}

public class ArrayAccessPattern {
  int pattern(int[] array, int index) {
    if (array.length < index) {
      return array[index];
    } else {
      return -1;
    }
	}
}