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;
}変数 'a' では、Klocwork は 17 行目で指摘レポート (CS.NRE.FUNC.CALL.MUST) を生成します。変数 'a' は、null になる可能性がある値、および 16 行目で関数 'boo' の呼び出しによって返される値に割り当てられます。この変数は、17 行目で引数 1 として (逆参照する可能性がある) 関数 'foo' に渡されます。
外部参考資料
セキュリティトレーニング
Secure Code Warrior が提供しているアプリケーションセキュリティトレーニング教材。