Какой инструмент анализа stati c может обнаружить небезопасную одновременную запись в java

Question

ArrayList<Integer> objects = new ArrayList<>();
IntStream.range(1, 20)
         .parallel()
         .forEach(objects::add);
Collections.sort(objects);
System.out.println(objects);

Выходные данные

[0, 1, 2, 3, 4, 5, 6, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19]

7 и 8 отсутствуют, поскольку ArrayList не является потокобезопасным.