NULLポインタの間接参照エラー

Question

「NULLポインタの間接参照です」のエラー内容が分からない

C言語のプログラムを作成しています。
できあがったコードを静的解析ツールにかけたのですが、「NULLポインタの間接参照です」が表示され何で怒られているのか分かりません。
NULLで初期化しているので、アドレスを代入するのは問題ないと思うのですが、どこかまずい箇所がありますか？

発生している問題・エラーメッセージ

ポインタはNULLチェックされたにもかかわらず、その後間接参照されます。

該当のソースコード

//代入元の配列を定義
const LIST_st OutList[] =
{
...
};

main()
{
...
    //ポインタを定義（前後のコードの関係上ダブルポインタで設計しています。。）
    const LIST_st **InList = NULL;
    //LISTの数だけメモリを確保
    InList = (const LIST_st**)malloc(sizeof(LIST_st*) * (LIST_NUM));
    if(InList == NULL)
    {
        abort();
    }

    //OutListのアドレスを順にInListに代入していく
    for(i = 0; i < LIST_NUM; i++)
    {
         //ここでエラーメッセージが表示される
         InList[i] = &OutList[i];
    }
...

}

調べたこと

間接参照はポインタ変数の読み出し(1回目)、次に読み出した値のアドレスのメモリーを参照(2回目)すること。という知識を得ています。
今回だとInList[i]の読み出し(1回目)、InList[i]のアドレスのメモリーを参照になると思います。が、解決の糸口には結びつけることができませんでした。。

Comments

[ozwk]

LIST_st と LINK_stが出てきますけど合ってますか?

[ua_y]

指摘ありがとうございます！タイプミスしてました、修正しました。

Answer 1

できあがったコードを静的解析ツールにかけたのですが、「NULLポインタの間接参照です」が表示され何で怒られているのか分かりません。

件の静的解析ツールは「abort()すると(mainから抜けて)後続する文は実行されない」ことを知らないのでしょう。
※ syntax留まりで、semanticsまでは解析してないってゆーか...

Comments

[ua_y]

解析ツールの中ではabort()の後も処理をつっぱしってしまうってことですかね。で、NULLのまま代入forに入るからNULLの間接参照エラー判定になる？

[episteme]

うん、abort()が中断/停止である(暗黙裡にreturnする)ってゆー"意味"までは解析していないんでしょうよ。
だから 明示的にreturnすればエラーが解消する。
まぁ、無理からぬことではありますが。

Answer 2

abort();のあとに、return; を置いてみては

Comments

[ua_y]

return();置いて再解析したところ、ほんとにエラー消えました！解析ツールさんはabort()で止まらないんですね。

[y_waiwai]

エラーチェッカやら解析ツールでは、明示的にreturnを置かないと終了判定してくれないってのは、まあよくあるはなしです。

ユーザが勝手にabort関数作って、そこで抜けないという事態を考えると、そうなっていて当然とも言えますが