Как предлагает Питер Лоури, IntelliJ делает это.
Анализ -> Проверка кода -> настраиваемый профиль
Там, в разделе «Проблемы со стилем кода», у вас есть:
Поле может быть окончательным
This inspection reports any fields which may safely be made final. A static field may
be final if it is initialized in its declaration or in one static class initializer, but
not both. A non-static field may be final if it is initialized in its declaration or in
one non-static class initializer or in all constructors.
Powered by InspectionGadgets
Локальная переменная или параметр могут быть окончательными
This inspection reports parameters or local variables, found in the specified inspection
scope, that may have a final modifier added.
Use check boxes in the inspection options below, to define whether parameters or local
variables (or both) are to be reported.
Это будет, вероятно, только окончательнымпеременная, которая может быть безопасна, но те, которые вы пытаетесь определить, останутся не финальными.Тем не менее, это способ определить их.