CS.NRE.FUNC.CALL.MUST

通过调用可能返回 null 的函数生成的对象引用值,将传递给可能取消引用该值而无需检查 null 的函数。

漏洞与风险

取消引用 null 对象引用是一个严重的运行时问题,该问题将导致一些操作系统的应用程序崩溃,并引发另一些操作系统出现运行时异常。

示例 1

复制
  public class A {
     public void abc() {}
     public void foo(A a) {
       if (flag2)
         return;
       a.abc();
     }
  
     public A boo() {
      if (flag3)
        return new A();
      return null;
    }
 
    public void var() {
      A a = boo();
      foo(a);
    }
 
    private bool flag2;
    private bool flag3;
  }

Klocwork 在第 17 行为变量 a 生成了一个问题报告 (CS.NRE.FUNC.CALL.MUST)。变量 a 已赋值给可能为 null 并由第 16 行的函数 boo 调用生成的一个值。此变量将作为参数 1 传递给第 17 行的函数 foo,该函数可取消引用该变量。

安全培训

应用程序安全培训材料由 Secure Code Warrior 提供。