Самая большая проблема заключается в том, что он ничего не знает о нулевом поведении Java API.
Отсутствие аннотированных библиотек по-прежнему является проблемой для встроенной проверки Eclipse на нулевое значение.
Другим инструментом проверки на нулевое значение является Checker Framework , который поставляется с тысячами аннотированных API из JDK. Checker Framework также делает более точную проверку. Eclipse и FindBugs - это детекторы ошибок, которые обнаруживают некоторые ошибки нулевого указателя, но Checker Framework - это верификатор, который дает гарантию без ошибок нулевого указателя .
У Checker Framework есть плагин Eclipse. Встроенная проверка на нулевое значение в Eclipse имеет более плавную интеграцию с IDE, но вы можете использовать плагин Checker Framework Eclipse, если вам нужна более мощная проверка.