int a = random();
みたいなことができることから「int型は、どんな数値をもつか判らない状態をもつ」とはいわんだろ。
ポインタは、どこかを必ず指すんだよ。