是否有 Sonar、Findbugs 或 PMD 规则来检测 CodePro 检测到的这种可能的 NPE？

Question

假设我有这样一段代码：

Map<String, Object> mappy = 
    (Map<String, Object>)pExtraParameters.get(ServiceClientConstants.EXTRA_PARAMETERS);

if (pSSResponseBean!=null) {
    mappy.put(AddressResearchContext.CSI_RESPONSE_BEAN, (AddressNotFoundResponseBean)pSSResponseBean); // this line may  throw null pointer
}

是否存在将“mappy”标记为可能为空的 Sonar、Findbugs 或 PMD 规则？显然 CodePro 标记了这一点，如果可能的话，我需要提供类似的东西。

Answer 1

问题在于 FindBugs 将未注释的项目视为使用 @Nullable 注释的项目，这导致它忽略对它们的空性检查。您可以创建一个空的 java.util 包，并使用自定义 @ReturnValuesAreCheckForNullByDefault 注释（修改 @ReturnValuesAreNonnullByDefault）进行注释，但它将应用于该类中 every 中的 every 方法包。

@ReturnValuesAreCheckForNullByDefault
package java.util;

import edu.umd.cs.findbugs.annotations.ReturnValuesAreCheckForNullByDefault;

另一种选择是创建使用@CheckForNull 注释的Map 外观。

public class AnnotatedMap<K, E> implements Map<K, E>
{
    private final Map<K, E> wrapped;

    @CheckForNull
    public E get(K key) {
        return wrapped.get(key);
    }
    ...
}

更新：请参阅我的previous answer 以了解有关实施此建议的完整详细信息。