in infer/models/java/src/java/lang/String.java [44:48]
private static void checkBounds(byte[] bytes, int offset, int length) {
if (length < 0) throw new StringIndexOutOfBoundsException(length);
if (offset < 0) throw new StringIndexOutOfBoundsException(offset);
if (offset > bytes.length - length) throw new StringIndexOutOfBoundsException(offset + length);
}