[Soot-list] mayNotAlias , notMayAlias and mustNotAlias used in the instancekey class ?

[Eric Bodden]

Hi Zell.

> On the first line, the term  may-not-alias is used
>
> On the thrid line, the term not-may-alias is used.
>
> On the "object representative" paper, the term " must-not-alias" is used.

My apologies. In this case they all mean the same thing.

> Although they have suble different meanings in English, I guess that, in
> SOOT, they are three terms for the same thing, right? Given (l1,s1) and
> (l2,s2) two LocalStmt pairs, is that correct to conclude :
>
>  may-not-alias (l1,s1,l2,s2) holds
> <==>
>  not-may-alias (l1,s1,l2,s2) holds
> <==>
> must-not-alias (l1,s1,l2,s2) holds

Correct. I guess the most correct name in terms of the English
language, which we should have used consistently, would be
not-may-alias.

Eric