Find memory block aliases. The conceptual difference from variable aliases is that if a variable x has an alias y, it means that x and y use the same memory block, but if a memory block xmem has an alias ymem, it means that xmem and ymem refer to the same *memory*. This is not commutative.