Метод сравнения нарушает свой общий контракт! Возможен ли статический анализ?

Он обнаружит их на этапе слияния, когда объединяет два прогона вместе. Обычно это просто означает, что ваша функция сравнения не следует правилам, такие вещи, как a < b и b < a, являются истинными одновременно или получают истинные значения из всех a > b, b > c и c > a.

Я не знаю ни одного инструмента статического анализа, который помог бы здесь, но я не уверен, что он вообще понадобится.

Лучше всего просто посмотреть на функцию сравнения и убедиться, что она возвращает правильное значение для различных наборов данных. На самом деле поиск функций сравнения должен быть относительно простым: нужно просто выполнить поиск Comparator во всех файлах.