Algorithm used for doing alias analysis.

Hi,

I am using alias analysis to determine whether two values are alias or not.
But I am not able to figure out the algorithm that is being used to determine
May , Must and No Alias.

Thanks and Regards
Tarun Agrawal

Hi,

I am using alias analysis to determine whether two values are alias or not.
But I am not able to figure out the algorithm that is being used to
determine
May , Must and No Alias.

Here is the algorithm in high-level:
  http://llvm.org/docs/AliasAnalysis.html#exist

Thanks for the reply.

Thanks and Regards,
Tarun Agrawal