Eu sei que se um ponteiro é declarado em C (e não inicializado), ele estará apontando para um endereço de memória "aleatório" que pode conter qualquer coisa.

Como é que, na verdade, aponta para determinado? Presumivelmente, não é verdadeiramente aleatório, já que isso seria ineficiente e ilógico.