[Soot-list] hash function for the instancekey

[Eric Bodden]

Hi Zell.

> My naive question is about the hash value of instance keys: when two
> instancekeys have different *hash* values, can we conclude that the
> corresponding locals must-not alias?

As Patrick wrote, this does not hold.

> But when I read the " Objective representatives"
> paper, I think  the author was insisting that instancekey can almost be used
> as run-time objects in some extent.

What I wrote is nevertheless correct in the sense that also at runtime
two different objects may have the same hash code, so also there the
conclusion "different hash codes => different objects" does not hold.

Eric