问隐蔽性扫描(静态代码分析)中的REVERSE_INULL和FORWARD_NULL错误有什么区别？

EN

REVERSE_INULL意味着您有一个解引用，然后是一个null类型的检查。

在伪代码中

x := null
...
x.deref
...
if x is null
    # handle null-type x

修复方法是将null类型的检查放在取消引用之前。

FORWARD_NULL只是提供了一个空值变量被取消引用的路径。另一个伪代码示例

x := null
...
if x is null
    print warning
    # but x is still null

x.deref

在这里，您必须确保始终处理null。

所以最终我想说的是，REVERSE_INULL和FORWARD_NULL做了同样的null反引用检查，但是在取消引用之后，它还会检测一次检查。