Aliasing nei linguaggi di programmazione

[g0t3nk5]

Mi trovo in difficoltà a rispondere a questo quesito di un testo di esame..

Si dica cosa e l'aliasing e perche puo rendere difficoltosa la verifica della correttezza dei programmi.

E' possibile inserire nel compilatore di un ipotetico linguaggio un controllo che permetta di identificare tutte le situazioni di aliasing? Perchè?

L'aliasing, se non sbaglio, è la situazione che si verifica quando due variabili rappresentano lo stesso oggetto in memoria.
Può rendere difficoltosa la verifica di correttezza perchè l'oggetto può essere modificato da una parte del codice e quindi poi provocare un errore dall'altra parte (se non ci aspettavamo nessuna modifica). Fin qui è tutto corretto?

Ora la domanda è se sia possibile identificare nel compilatore tutte le situazioni di aliasing. A me verrebbe da dire di si, almeno a runtime.