Sé que si se declara un puntero en C (y no se inicializa), estará apuntando a una dirección de memoria "aleatoria" que podría contener cualquier cosa.

Sin embargo, ¿cómo es donde realmente se señala? Es de suponer que no es realmente aleatorio, ya que esto sería ineficiente e ilógico.