RANGE_ARRAY_LENGHT and RANGE_ARRAY_OFFSET false negative

[yerayrodriguez]

If you invoke read/write operations using lenght = buffer.lenght + 1, RANGE_ARRAY_LENGHT is not detected.

    private static final int BUFFER_LENGTH = 10;
    public void test() {
        File file = new File("temp.txt");
        try (FileReader fr = new FileReader(file)) {
            char[] buffer = new char[BUFFER_LENGTH];
            // False negative: Expected RANGE_ARRAY_LENGHT
            fr.read(buffer, 0, BUFFER_LENGTH + 1);
        } catch (Exception e) {
        }
    }

However, it works correctly with buffer.length + 2.

Same issue with RANGE_ARRAY_OFFSET. Also with some String constructors.

[KengoTODA]

Closed by #596