Computes which memory locations / objects a pointer (variable or field) can point to.