&gt;  If the pattern of aliasing can be described by a regular language, then there exist decidable formalisms that can reason about it<p>That sounds really interesting, is there a good place to read more on the subject?