I'm trying to figure out what form of alias analysis is used in Visual C++. Its also known as pointer analysis, mod-ref analysis, points-to analysis or side-effect analysis, and is pretty close to escape analysis or shape analysis (should you have seen those terms bandied about).
If anyone knows where MSDN discusses this sort of thing, I can probably find my way from there. (I tried searching, but MSDN seems to be impenetrable if you don't spend much time there.)