Detect System.arraycopy with shift

[Luro02]

Summary

See examples below.

Lint Name

USE_SYSTEM_ARRAYCOPY

Reproducer

    public static String rotateString(String word, int positions) {
        String[] letters = word.split("");
        int pos = positions % word.length();
        String[] newword = new String[word.length()];
        for (int i = word.length() - pos; i < word.length(); i++) {
            newword[i - word.length() + pos] = letters[i];
        }
        for (int i = pos; i < word.length(); i++) {
            newword[i] = letters[i - pos];
        }
        return String.join("", newword);
    }

Here it could detect both, not sure how difficult that is to implement.

This is a simpler example:

    public static void main(String[] args) {
        String[] vectors = new String[args.length - 1];
        for (int i = 1; i < args.length; i++) {
            vectors[i - 1] = args[i];
        }
    }