假阳性和假阴性

Question

在静态分析中，是否有任何示例可以解释false negative和false positive ？

对于空解引用分析？

Answer 1

误报通常是指在不存在（即“假”）的情况下检测到（即“阳性”）。

假阴性通常是当某物确实存在时未检测到（即“阴性”）。

对于空解引用分析，这意味着：

• 误报是它告诉您存在潜在的空指针取消引用，而实际上这在运行时永远不会发生。
• 错误否定是当它无法告诉您实际上可能在运行时发生的潜在空指针取消引用时。

例如，考虑这个方法：

public void frobnicate(Object foo) {
  int hash = foo.hashCode(); // line #1
  int hash2 = foo.hashCode(); // line #2
}

如果分析告诉您在标记为“#2”的行处存在潜在的空指针取消引用，那么这是错误的，因为当执行到达该点时， foo不能为空。 因此，此类通知将被视为误报。

如果分析未能告诉您在标记为“#1”的行处存在潜在的空指针取消引用，那么它也将是错误的，因为foo在该点显然可以为null 。 那将是一个假阴性。