Статический анализ того, является ли параметр никогда не равным нулю в Java

Question

Время от времени мы видим ошибку, в которой функциональное поле Java Option не было инициализировано, таким образом получает значение null.

Мы хотели бы использовать инструмент анализа статического кода, чтобы предупредить нас, если разработчик когда-либо забывает инициализировать поле Option.

Что такое хороший способ сделать это? Скорее всего, нам нужно будет скопировать плагин в один из инструментов, чтобы заставить это работать? Или вы думаете, что кто-то, возможно, уже реализовал это?

Answer 1

FindBugs является отличным инструментом, который проверяет возможно NullPointerException s Мы обычно добавить «задание» наш п файлы Maven проект, так что FindBugs побежал каждый раз, когда наш код компилируется.

Answer 2

Есть много инструментов, которые уже доступны (бесплатно/оплачиваются). Например, PMD - бесплатный плагин (по крайней мере, для затмения). Вы можете настроить правила, применимые для вашего проекта. Вы можете писать новые правила и добавлять их.