CS.NRE.CHECK.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 = new A();
if (a != null) {
DoSomething();
}
foo(a);
}
private void DoSomething() {}
private bool flag;
private bool flag2;
private bool flag3;
}変数 'a' では、Klocwork は 20 行目で指摘レポート (CS.NRE.CHECK.CALL.MUST) を生成します。変数 'a' は 17 行目で null 値と比較されるため、20 行目で引数 1 として (この変数が逆参照する可能性がある) 関数 'foo' に渡されたときでも、null であることが想定される可能性があります。
外部参考資料
セキュリティトレーニング
Secure Code Warrior が提供しているアプリケーションセキュリティトレーニング教材。