What is the algorithm behind BasicAliasAnalysis?

Hi Fellows,

What is the algorithm behind BasicAliasAnalysis.cpp? Any document or paper I can follow to quickly get a grip of what was implemented in BAA? Thanks.

Best,
Paul