CS.RNRE
この警告は、null オブジェクト参照が逆参照されて null と比較される状況で報告されます。逆参照とチェックの間の追跡では、オブジェクト参照の変更はありません。つまり、逆参照で、オブジェクト参照は null になるか、または null チェックが不適切になる可能性が高くなります。
脆弱性とリスク
次の 3 つのうち 1 つを識別します。
- 設計により null となる可能性のあるポインターが、適切なチェックなしに逆参照されました。これはランタイムエラーにつながります。
- 条件が正しく記述されていないため、コードは意図したとおりに動作しません。
- 冗長なチェックがあります。不要なコードが生成されます。
例
コピー
public class A {
public void foo() {
A a = null;
a.foo();
if (a == null)
a = new A();
}
}変数 'a' では、Klocwork は 4 行目で指摘レポート (CS.RNRE) を生成します。メソッド 'foo' を呼び出して 4 行目で逆参照され、5 行目で 'a' は if ステートメントで null についてチェックされます。
外部参考資料
セキュリティトレーニング
Secure Code Warrior が提供しているアプリケーションセキュリティトレーニング教材。
