Какую форму анализа псевдонима Visual C++ использует?

Я пытаюсь выяснить, какая форма анализа псевдонима используется в Visual C++. Это также известно как анализ указателя, модификация - касательно анализа, точек - к анализу или анализу побочного эффекта, и достаточно близко к escape-анализу, или анализ формы (должны Вы видеть, что те условия обсудили).

Если кто-либо знает, где MSDN обсуждает этот вид вещи, я могу, вероятно, найти свой путь оттуда. (Я пытался искать, но MSDN, кажется, непроницаем, если Вы не проводите много времени там.)