Review

Call List.get() without checking if the index is valid.

Check that index is between 0 and List.size() - 1.

• missing/condition/value_or_state

mubench/examples/survey/ListGet.java

misuse(List, int)

class ListGet {
	public Object misuse(List<Object> l, int i) {
		return l.get(i);
	}

}

public class CheckBounds {
	Object size(List<Object> l, int i) {
		if (0 <= i && i < l.size()) {
		  return l.get(i);
		} else {
		  return null;
		}
	}
}