このインスペクションは、null になる可能性のあるポインターの逆参照が発生しうる複雑なデータフローパスを発見するように設計されています。