staticな変数は明示的に初期化しなければ0に初期化されますよね。
ということは、staticなポインタ配列はすべての要素が"必ず"NULLに初期化されると考えていいですか？
ここでの"必ず"は処理系に依存せずという意味です。